掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
ACM SIGPLAN conference on Programming language design and implementation
ACM SIGPLAN conference on Programming language design and implementation
召开年:
2006
召开地:
Ottawa(CA)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Fast and flexible instruction selection with on-demand tree-parsing automata
机译:
通过按需树解析自动机快速灵活地选择指令
作者:
M. Anton Ertl
;
Kevin Casey
;
David Gregg
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
tree parsing;
2.
Profile-guided proactive garbage collection for locality optimization
机译:
概要文件引导的主动垃圾收集以优化位置
作者:
Wen-ke Chen
;
Sanjay Bhansali
;
Trishul Chilimbi
;
Xiaofeng Gao
;
Weihaw Chuang
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
page optimization;
3.
Accurate, efficient, and adaptive calling context profiling
机译:
准确,高效和自适应的呼叫上下文分析
作者:
Xiaotong Zhuang
;
Mauricio J. Serrano
;
Harold W. Cain
;
Jong-Deok Choi
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
profiling;
4.
The Compressor
机译:
压缩机
作者:
Haim Kermany
;
Erez Petrank
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
runtime systems;
5.
Shared memory programming for large scale machines
机译:
大型机器的共享内存编程
作者:
Christopher Barton
;
CClin Cascaval
;
George Almasi
;
Yili Zheng
;
Montse Farreras
;
Siddhartha Chatterje
;
Jose Nelson Amaral
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
UPC;
6.
A framework for unrestricted whole-program optimization
机译:
无限制的整个程序优化的框架
作者:
Spyridon Triantafyllis
;
Matthew J. Bridges
;
Easwaran Raman
;
Guilherme Ottoni
;
David I. August
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
whole-program optimization;
7.
Algorithm specialization in generic programming
机译:
通用编程中的算法专业化
作者:
Jaakko Jarvi
;
Douglas Gregor
;
Jeremiah Willcock
;
Andrew Lumsdaine
;
Jeremy Siek
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
specialization;
8.
Combining abstract interpreters
机译:
结合抽象口译员
作者:
Sumit Gulwani
;
Ashish Tiwari
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
reduced product;
9.
Reducing NoC energy consumption through compiler-directed channel voltage scaling
机译:
通过编译器控制的通道电压缩放降低NoC能耗
作者:
Guangyu Chen
;
Feihui Li
;
Mahmut Kandemir
;
Mary Jane Irwin
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
network-on-chip;
10.
DieHard
机译:
死硬死硬的顽固的
作者:
Emery D. Berger
;
Benjamin G. Zorn
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
replication;
11.
Cache-conscious coallocation of hot data streams
机译:
缓存感知的热数据流合并
作者:
Trishul M. Chilimbi
;
Ran Shaham
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
memory layout;
12.
Automatic instruction scheduler retargeting by reverse-engineering
机译:
通过逆向工程自动调整指令调度器的目标
作者:
Matthew J. Bridges
;
Neil Vachharajani
;
Guilherme Ottoni
;
David I. August
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
structural hazard;
13.
Practical dynamic software updating for C
机译:
实用的C动态软件更新
作者:
Iulian Neamtiu
;
Michael Hicks
;
Gareth Stoyle
;
Manuel Oriol
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
type wrapping;
14.
Termination proofs for systems code
机译:
系统代码的终止证明
作者:
Byron Cook
;
Andreas Podelski
;
Andrey Rybalchenko
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
program verification;
15.
LOCKSMITH
机译:
洛克史密斯
作者:
Polyvios Pratikakis
;
Jeffrey S. Foster
;
Michael Hicks
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
type inference;
16.
Context-sensitive domain-independent algorithm composition and selection
机译:
上下文无关的领域无关算法组成和选择
作者:
Troy A. Johnson
;
Rudolf Eigenmann
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
domain-specific languages;
17.
Effective static race detection for Java
机译:
有效的Java静态竞争检测
作者:
Mayur Naik
;
Alex Aiken
;
John Whaley
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
synchronization;
18.
A global progressive register allocator
机译:
全局渐进式寄存器分配器
作者:
David Ryan Koes
;
Seth Copen Goldstein
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
register alocation;
19.
Profile-based global live-range splitting
机译:
基于配置文件的全局实时范围分割
作者:
Takuya Nakaike
;
Tatsushi Inagaki
;
Hideaki Komatsu
;
Toshio Nakatani
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
register allocation;
20.
Optimizing memory transactions
机译:
优化内存交易
作者:
Tim Harris
;
Mark Plesko
;
Avraham Shinnar
;
David Tarditi
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
transactional memory;
21.
Compiler and runtime support for efficient software transactional memory
机译:
编译器和运行时支持有效的软件事务存储
作者:
Ali-Reza Adl-Tabatabai
;
Brian T. Lewis
;
Vijay Menon
;
Brian R. Murphy
;
Bratin Saha
;
Tatiana Shpeisman
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
virtual machines;
22.
Free-Me
机译:
自由我
作者:
Samuel Z. Guyer
;
Kathryn S. McKinley
;
Daniel Frampton
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
pointer analysis;
23.
Pruning dynamic slices with confidence
机译:
自信地修剪动态切片
作者:
Xiangyu Zhang
;
Neelam Gupta
;
Rajiv Gupta
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
dynamic slicing;
24.
Auto-vectorization of interleaved data for SIMD
机译:
SIMD的交错数据自动矢量化
作者:
Dorit Nuzman
;
Ira Rosen
;
Ayal Zaks
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
vectorization;
25.
An experimental analysis of self-adjusting computation
机译:
自我调整计算的实验分析
作者:
Umut A. Acar
;
Guy E. Blelloch
;
Matthias Blume
;
Kanat Tangwongsan
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
self-adjusting computation;
26.
Artemis
机译:
阿耳emi弥斯
作者:
Long Fei
;
Samuel P. Midkiff
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
value invariant;
27.
Eventrons
机译:
Eventrons
作者:
Daniel Spoonhower
;
Joshua Auerbach
;
David F. Bacon
;
Perry Cheng
;
David Grove
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
scheduling;
28.
The Atomos transactional programming language
机译:
Atomos事务性编程语言
作者:
Brian D. Carlstrom
;
Austen McDonald
;
Hassan Chafi
;
JaeWoong Chung
;
Chi Cao Minh
;
Christos Kozyrakis
;
Kunle Olukotun
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
transactional memory;
29.
Correctness-preserving derivation of concurrent garbage collection algorithms
机译:
并发垃圾回收算法的保全性推导
作者:
Martin T. Vechev
;
Eran Yahav
;
David F. Bacon
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
verification;
30.
Continuations and transducer composition
机译:
延续和换能器组成
作者:
Olin Shivers
;
Matthew Might
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
stream processing;
31.
Online performance auditing
机译:
在线绩效审计
作者:
Jeremy Lau
;
Matthew Arnold
;
Michael Hind
;
Brad Calder
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
virtual machines;
32.
Modular verification of assembly code with stack-based control abstractions
机译:
使用基于堆栈的控制抽象对汇编代码进行模块化验证
作者:
Xinyu Feng
;
Zhong Shao
;
Alexander Vaynberg
;
Sen Xiang
;
Zhaozhong Ni
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
stack-based;
33.
Refinement-based context-sensitive points-to analysis for Java
机译:
Java的基于优化的上下文相关指向分析
作者:
Manu Sridharan
;
Rastislav Bodik
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
refinement;
34.
Better extensibility through modular syntax
机译:
通过模块化语法实现更好的可扩展性
作者:
Robert Grimm
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
parsing expression grammar;
35.
SAFECode
机译:
安全代码
作者:
Dinakar Dhurjati
;
Sumant Kowshik
;
Vikram Adve
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
region management;
36.
Optimizing data permutations for SIMD devices
机译:
优化SIMD设备的数据排列
作者:
Gang Ren
;
Peng Wu
;
David Padua
会议名称:
《ACM SIGPLAN conference on Programming language design and implementation》
|
2006年
关键词:
optimization;
意见反馈
回到顶部
回到首页