掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
25th annual ACM conference on object oriented programming, systems, languages and applications 2010
25th annual ACM conference on object oriented programming, systems, languages and applications 2010
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
大众硬件
现代计算机(普及版)
中国计算机学会通讯
计算机应用研究
计算机时代
制造业自动化
计算机应用文摘
光盘技术
家庭电子
条码与信息系统
更多>>
相关外文期刊
Information & communications technology law
Electronic Commerce Research
Computing reviews
Computer standards & interfaces
RSTI
International journal of electronic government research
International journal of knowledge and systems science
International Journal of Digital Literacy and Digital Competence
Journal of the Urban and Regional Information Systems Association
I·O/アイ·オ—
更多>>
相关中文会议
第十四届全国Petri 网理论与应用学术年会
2016中国计算机辅助设计与图形学会大会
第七届全国青年智能机器人学术会议
全国第十一届可拓学年会
第15届中国过程控制会议
2006军事电子信息学术会议
中国系统工程学会军事系统工程委员会第九届学术年会
第四届全国先进制造装备与机器人技术高峰论坛
第31届中南六省(区)自动化学会学术年会
中国仪器仪表学会东北过程自动化设计专业委员会第19届年会
更多>>
相关外文会议
Formal Methods for Computational Systems Biology
Smart sensors, actuators, and MEMS IV
World Class Manufacture for SMEs: Some ot the Issues
International Colloquium on Automata, Languages and Programming(ICALP 2006); 20060710-14; Venice(IT)
2014 5th European workshop on CMOS variability
Advances in intelligent systems
Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, 3rd, Aug 28-29, 2000, Melbourne, Australia
Databases, Information Systems, and Peer-to-Peer Computing; Lecture Notes in Computer Science; 4125
International Conference on Applications of Natural Language to Information Systems(NLDB 2006); 20060531-0602; Klagenfurt(AT)
Proceedings of the 34th SICE annual conference : International session papers
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Keynote To Achieve Our Highest Goals, We Must Be Willing to Abandon Them
机译:
要实现最高目标的主题演讲,我们必须愿意放弃他们
作者:
Kenneth O. Stanley
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
2.
Language Virtualization for Heterogeneous Parallel Computing
机译:
异构并行计算的语言虚拟化
作者:
Hassan Chafi
;
Zach DeVito
;
Adriaan Moors
;
Tiark Rompf
;
Arvind K. Sujeeth
;
Pat Hanrahan
;
Martin Oderskyt
;
Kunle Olukotun
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
parallel programming;
domain specific languages;
dynamic optimizations;
3.
Performance Analysis of Idle Programs
机译:
空闲程序的性能分析
作者:
Erik Altman
;
Matthew Arnold
;
Stephen Fink
;
Nick Mitchell
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
bottlenecks;
performance analysis;
multi-tier server applications;
idle time;
4.
Faith, Hope, and Love An essay on software science's neglect of human factors
机译:
信念,希望和爱关于软件科学对人为因素的忽视的论文
作者:
Stefan Hanenberg
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
research methods;
programming language research;
software engineering;
empirical research;
5.
Better Science Through Art
机译:
通过艺术更好的科学
作者:
Richard P. Gabriel
;
Kevin J. Sullivan
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
6.
Rubber Ducks, Nightmares, and Unsaturated Predicates: Proto-Scientific Schemata Are Good For Agile
机译:
橡皮鸭,噩梦和不饱和谓词:原始科学图式非常适合敏捷
作者:
Jenny Quillien
;
Dave West
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
agile;
alexander;
theory-building;
stories.;
7.
Refactoring References for Library Migration
机译:
图书馆迁移的重构参考
作者:
Puneet Kapur
;
Brad Cossette
;
Robert J. Walker
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
dangling references;
library migration;
refactoring;
flexible search;
flexible transformation;
trident.;
8.
The Tower of Babel Did Not Fail
机译:
巴别塔没有失败
作者:
Paul Adamczyk
;
Munawar Hafiz
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
communication;
documentation;
engineering;
programming;
science;
9.
Ownership and Immutability in Generic Java
机译:
通用Java中的所有权和不变性
作者:
Yoav Zibin
;
Alex Potanin
;
Paley Li
;
Mahmood Ali
;
Michael D. Ernst
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
10.
A Time-Aware Type System For Data-Race Protection and Guaranteed Initialization
机译:
一种用于数据竞赛保护和保证初始化的时间感知型系统
作者:
Nicholas D. Matsakis
;
Thomas R. Gross
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
11.
G-Finder: Routing Programming Questions Closer to the Experts
机译:
G-Finder:更接近专家的路由编程问题
作者:
Wei Li$
;
harles Zhang
;
Songlin Hu
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
expert search;
social networks;
programming forums;
12.
Agility in Context
机译:
上下文中的敏捷
作者:
Rashina Hoda
;
Philippe Kruchten
;
James Noble
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
adaptation;
agile software development;
agility;
context;
13.
A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing
机译:
在普适计算中构造错误处理的领域特定方法
作者:
Julien Mercadal
;
Quentin Enard
;
Charles Cornel
;
Nicolas Loriant
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
domain-specific languages;
architecture description languages;
exception;
pervasive computing;
14.
Efficient Modular Glass Box Software Model Checking
机译:
高效的模块化玻璃箱软件模型检查
作者:
Michael Roberson
;
Chandrasekhar Boyapati
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
pipal;
software model checking;
15.
Component Adaptation and Assembly Using Interface Relations
机译:
使用接口关系进行零部件适配和组装
作者:
Stephen Kell
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
16.
Tribal Ownership
机译:
部落所有权
作者:
Nicholas Cameron
;
James Noble
;
Tobias Wrigstad
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
ownership types;
virtual classes;
nested classes;
family polymorphism;
17.
Modular Logic Metaprogramming
机译:
模块化逻辑元编程
作者:
Karl Klose
;
Klaus Ostermann
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
modularity;
separate checking;
logic metaprogramming;
18.
Reasoning about Multiple Related Abstractions with MultiStar
机译:
用MultiStar推理多个相关抽象
作者:
Stephan van Staden
;
Cristiano Calcagno
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
separation logic;
multiple abstractions;
export clauses;
axiom clauses;
multiple inheritance;
19.
The Spoofax Language Workbench Rules for Declarative Specification of Languages and IDEs
机译:
声明性语言和IDE的Spoofax语言工作台规则
作者:
Lennart C. L. Kats
;
Eelco Visser
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
20.
Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
机译:
带有需求不变的内存不变式公理化的符号堆抽象
作者:
Isil Dillig
;
Thomas Dillig
;
Alex Aiken
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
heap analysis;
relational static analysis;
array analysis;
memory invariants;
21.
Supporting Dynamic, Third-Party Code Customizations in JavaScript Using Aspects
机译:
使用方面在JavaScript中支持动态第三方代码自定义
作者:
Benjamin S. Lerner
;
Herman Venter
;
Dan Grossman
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
aspects;
extensions;
javascript;
22.
Flexible Modeling Tools for Pre-Requirements Analysis: Conceptual Architecture and Research Challenges
机译:
用于需求分析的灵活建模工具:概念架构和研究挑战
作者:
Harold Ossher
;
Rachel Bellamy
;
Ian Simmonds
;
David Amid
;
Ateret Anaby-Tavor
;
Matthew Callery
;
Michael Desmond
;
Jacqueline de Vries
;
Amit Fisher
;
Sophia Krasikov
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
flexible modeling;
modeling tools;
prerequirements analysis;
business analysis.;
23.
Type Classes as Objects and Implicits
机译:
类型类作为对象和隐式
作者:
Bruno C. d. S. Oliveira
;
Adriaan Moors
;
Martin Odersky
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
type classes;
c++ concepts;
abstract datatypes;
scala;
24.
Monitor Optimization via Stutter- Equivalent Loop Transformation
机译:
通过等效于口吃的循环变换进行监控器优化
作者:
Rahul Purandare
;
Matthew B. Dwyer
;
Sebastian Elbaum
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
optimization;
runtime monitoring;
stutter invari-ance;
loop transformation;
25.
Cross-Language, type-Safe, and Transparent Object Sharing For Co-Located Managed Runtimes
机译:
跨语言,类型安全和透明的对象共享,用于同一位置的托管运行时
作者:
Michal Wegiel
;
Chandra Krintz
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
26.
A Graph-based Approach to API Usage Adaptation
机译:
一种基于图的API使用适应方法
作者:
Hoan Anh Nguyen
;
Tung Thanh Nguyen
;
Gary Wilson Jr.
;
Anh Tuan Nguyen
;
Miryung Kim
;
Tien N. Nguyen
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
software evolution;
api usage model;
api evolution;
api usage adaptation;
program differencing;
27.
Mostly Modular Compilation of Crosscutting Concerns by Contextual Predicate Dispatch
机译:
上下文谓词调度的横切关注点的大多数模块化编译
作者:
Shigeru Chiba
;
Atsushi Igarashi
;
Salikh Zakirov
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
aspect oriented programming;
java;
aspect!.;
28.
Scalable and Systematic Detection of Buggy Inconsistencies in Source Code
机译:
源代码中的Buggy不一致问题的可扩展和系统检测
作者:
Mark Gabel
;
Junfeng Yang
;
Yuan Yu
;
Moises Goldszmidt
;
Zhendong Su
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
29.
An Input-Centric Paradigm for Program Dynamic Optimizations
机译:
程序动态优化的以输入为中心的范例
作者:
Kai Tian
;
Yunlian Jiang
;
Eddy Z. Zhang
;
Xipeng Shen
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
program inputs;
dynamic optimizations;
java virtual machine;
proactivity;
seminal behaviors;
dynamic version selection;
just-in-time compilation;
30.
Composable Specifications for Structured Shared-Memory Communication
机译:
结构化共享内存通信的可组合规范
作者:
Benjamin P. Wood
;
Adrian Sampson
;
Luis Ceze
;
Dan Grossman
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
concurrency;
software reliability;
bug detection;
annotation;
specification;
shared memory;
31.
Concurrency by Modularity: Design Patterns, a Case in Point
机译:
模块化并发:设计模式,一个很好的例子
作者:
Hridesh Rajan
;
Steven M. Kautz
;
Wayne Rowcliffe
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
modularity;
concurrency;
ease of program design;
design patterns;
synergistic decoupling;
32.
Patterns and Statistical Analysis for Understanding Reduced Resource Computing
机译:
了解减少资源计算的模式和统计分析
作者:
Martin Rinard
;
Henry Hoffmann
;
Sasa Misailovic
;
Stelios Sidiroglou
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
reduced resource computing;
discarding tasks;
loop perforation;
cyclic memory allocation;
statistical analysis;
33.
Programming With Time Cyber-physical programming with Impromptu
机译:
用时间编程用即兴的电子物理编程
作者:
Andrew Sorensen
;
Henry Gardner
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
time;
concurrency;
cyber-physical systems;
livecoding;
impromptu;
34.
Registration-Based Language Abstractions
机译:
基于注册的语言抽象
作者:
Samuel Davis
;
Gregor Kiczales
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
registration;
fluid AOP;
programming tools;
35.
Pure and Declarative Syntax Definition: Paradise Lost and Regained
机译:
纯和声明性语法定义:失落和重新获得天堂
作者:
Lennart C. L. Kats
;
Eelco Visser
;
Guido Wachsmuth
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
36.
Art, Science, and Fear
机译:
艺术,科学与恐惧
作者:
Benjamin C. Pierce
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
creativity;
photography;
37.
Managing Ambiguity in Programming by Finding Unambiguous Examples
机译:
通过查找明确的示例来管理编程中的歧义
作者:
Kenneth C. Arnold
;
Henry Lieberman
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
ambiguity;
blending;
common sense;
informal representation;
natural language;
reuse;
38.
To Upgrade or Not to Upgrade Impact of Online Upgrades across Multiple Administrative Domains
机译:
升级或不升级跨多个管理域的在线升级的影响
作者:
Tudor Dumitrag
;
Priya Narasimhan
;
Eli Tilevich
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
mixed-version race;
online upgrade;
multiple administrative domains;
risk assessment;
39.
Concurrent Programming with Revisions and Isolation types
机译:
修订和隔离类型的并发编程
作者:
Sebastian Burckhardt
;
Alexandra Baldassin
;
Daan Leijen
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
concurrency;
parallelism;
transactions;
isolation;
revisions;
40.
SPUR: A Trace-Based JIT Compiler for CIL
机译:
SPUR:用于CIL的基于跟踪的JIT编译器
作者:
Michael Bebenita
;
Florian Brandner
;
Manuel Fahndrich
;
Francesco Logozzo
;
Wolfram Schulte
;
Nikolai Tillmann
;
Herman Venter
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
dynamic compilation;
tracing;
just-in-time;
CIL;
javascript;
41.
Automatic Atomic Region Identification in Shared Memory SPMD Programs
机译:
共享内存SPMD程序中的自动原子区域识别
作者:
Gautam Upadhyaya
;
Samuel P. Midkiff
;
Vijay S. Pai
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
automatic transactional region identification;
conflict-serializability;
parallel programming;
42.
Task Types for Pervasive Atomicity
机译:
普遍原子性的任务类型
作者:
Aditya Kulkarni
;
Yu David Liu
;
Scott F. Smith
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
pervasive atomicity;
type systems;
sharing-aware programming;
43.
The Two-State Solution Native and Serializable Continuations Accord
机译:
两国解决方案本机和可序列化延续协议
作者:
Jay A. McCarthy
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
delimited continuations;
stack inspection;
web applications;
44.
Back to the Futures: Incremental Parallelization of Existing Sequential Runtime Systems
机译:
回到未来:现有顺序运行时系统的增量并行化
作者:
James Swaine
;
Kevin Tew
;
Peter Dinda
;
Robert Bruce Findler
;
Matthew Flatt
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
racket;
functional programming;
parallel programming;
runtime systems;
45.
Lime: a Java-Compatible and Synthesizable Language for Heterogeneous Architectures
机译:
Lime:异构体系结构的Java兼容和可综合语言
作者:
Joshua Auerbach
;
David F. Bacon
;
Perry Cheng
;
Rodric Rabbah
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
object oriented;
value type;
streaming;
functional programming;
reconfigurable architecture;
FPGA;
high level synthesis;
46.
From OO to FPGA: Fitting Round Objects into Square Hardware?
机译:
从OO到FPGA:将圆形对象装配到方形硬件中?
作者:
Stephen Kou
;
Jens Palsberg
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
objects;
FGPAs;
47.
A Simple Inductive Synthesis Methodology and its Applications
机译:
一种简单的归纳合成方法及其应用
作者:
Shachar Itzhaky
;
Sumit Gulwani
;
Neil Immerman
;
Mooly Sagiv
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
finite differencing;
high level program;
inductive synthesis;
transformational programming;
48.
An Experiment About Static and Dynamic Type Systems Doubts About the Positive Impact of Static Type Systems on Development Time
机译:
关于静态和动态类型系统的实验怀疑静态类型系统对开发时间的积极影响
作者:
Stefan Hanenberg
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
type systems;
programming languages;
empirical study;
dynamically typed languages;
49.
Random Testing for Higher-Order, Stateful Programs
机译:
高阶有状态程序的随机测试
作者:
Casey Klein
;
Matthew Flatt
;
Robert Bruce Findler
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
software testing;
random testing;
automated test generation;
racket;
50.
MetaFJig A Meta-Circular Composition Language for Java-like Classes
机译:
MetaFJig一种用于类似Java的类的元循环组合语言
作者:
Marco Servetto
;
Elena Zucca
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
java;
meta-programming;
module composition;
51.
Parallel Inclusion-based Points-to Analysis
机译:
基于并行包含的指向分析
作者:
Mario Mendez-Lojo
;
Augustine Mathew
;
Keshav Pingali
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
inclusion-based points-to analysis;
irregular programs;
amorphous data-parallelism;
galois system;
synchronization overheads;
extensive transformers;
iteration coalescing;
binary decision diagrams.;
52.
SPLASH Keynote The Case for Evolvable Software
机译:
SPLASH主题演讲演化软件案例
作者:
Stephanie Forrest
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
53.
A Dynamic Evaluation of the Precision of Static Heap Abstractions
机译:
静态堆抽象精度的动态评估
作者:
Percy Liang
;
Omer Tripp
;
Mayur Naik
;
Mooly Sagiv
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
heap abstractions;
static analysis;
dynamic analysis;
concurrency;
54.
Dynamic Parallelization of Recursive Code Part I: Managing Control Flow Interactions with the Continuator
机译:
递归代码的动态并行化第一部分:管理与继承器的控制流交互
作者:
Charlotte Herzeel
;
Pascal Costanza
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
recursion;
automatic parallelization;
software speculation;
virtual machines;
continuator;
55.
What Can the GC Compute Efficiently? A Language for Heap Assertions at GC Time
机译:
GC可以有效地进行哪些计算? GC时用于堆断言的语言
作者:
Christoph Reichenbach
;
Neil Immerman
;
Yannis Smaragdakis
;
Edward E. Aftandilian
;
Samuel Z. Guyer
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
heap assertions;
garbage collector;
reachability;
dominance;
56.
Specifying and Implementing Refactorings
机译:
指定和实施重构
作者:
Max Schafer
;
Oege de Moor
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
refactoring;
specification;
language extensions;
57.
Instrumentation and Sampling Strategies for Cooperative Concurrency Bug Isolation
机译:
协同并发错误隔离的仪器和采样策略
作者:
Guoliang Jin
;
Aditya Thakur
;
Ben Liblit
;
Shan Lu
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
concurrency;
statistical debugging;
random sampling;
bug isolation;
58.
A Study of Java's Non-Java Memory
机译:
Java的非Java内存研究
作者:
Kazunori Ogata
;
Dai Mikurube
;
Kiyokuni Kawachiya
;
Scott Trent
;
Tamiya Onodera
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
java;
memory footprint analysis;
non-java memory;
java native memory.;
59.
Hera-JVM: A Runtime System for Heterogeneous Multi-Core Architectures
机译:
Hera-JVM:用于异构多核体系结构的运行时系统
作者:
Ross Mcllroy
;
Joe Sventek
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
60.
Homogeneous Family Sharing
机译:
同类家庭共享
作者:
Xin Qi
;
Andrew C. Myers
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
family inheritance;
views;
shadow classes;
61.
Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs
机译:
我使用错误的定义吗? DefUse:定义使用不变式,用于检测并发和顺序错误
作者:
Yao Shi
;
Soyeon Park
;
Zuoning Yin
;
Shan Lu
;
Yuanyuan Zhou
;
Weimin Zheng
;
Wenguang Chen
会议名称:
《25th annual ACM conference on object oriented programming, systems, languages and applications 2010》
|
2010年
关键词:
concurrency bug;
sequential bug;
atomicity violation;
order violation;
意见反馈
回到顶部
回到首页