掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
2011 ACM international conference on object oriented programming, systems, languages and applications
2011 ACM international conference on object oriented programming, systems, languages and applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
自动化技术与应用
计算机工程与科学
信息方略
传动技术
航空计算技术
中文信息学报
电脑乐园·学生电脑
软件世界
电子政务
信息技术与信息化
更多>>
相关外文期刊
Journal of Parallel and Distributed Computing
Journal of web engineering
International journal of intelligent information and database systems
Foundations and trends in theoretical computer science
International Journal of Parallel and Distributed Systems & Networks
Computer Aided Geometric Design
Journal of computer sciences
International journal of knowledge discovery in bioinformatics
Windows Professional
International Journal of Robotics & Automation
更多>>
相关中文会议
第五届华北、东北五省两市一区工程图学学术研讨会
2014年全国工业控制计算机技术年会
中国石油学会石油软件数据管理学术研讨会
中国自动化学会第20届青年学术会议
1999国际建材自动化技术交流会
1999信息安全国际会议
2010多元智能国际研讨会
第七届中国人工智能联合学术会议
‘07全国仿真技术学术会议
1995年全国计算机新技术与高层次计算机继续教育研讨会
更多>>
相关外文会议
European Conference on Software Process Improvement(EuroSPI 2005); 20051109-11; Budapest(HU)
Lidar remote sensing for environmental monitoring XIII
Conference on Vibrational Spectroscopy-Based Sensor Systems Nov 1-2, 2001, Newton, USA
Annual Reliability Engineering and Management Institute; 20041115-18; Tucson,AZ(US)
37th annual international symposium on computer architecture 2010
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Industry Track
Software Engineering in Health Care, 2009. SEHC '09
Programmable Logic, 2009
Programming languages and systems
2016 3rd International Conference on Advances in Computational Tools for Engineering Applications
更多>>
热门会议
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.
Sheriff: Precise Detection and Automatic Mitigation of False Sharing
机译:
警长:精确检测和自动缓解虚假共享
作者:
Tongping Liu
;
Emery D. Berger
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
False Sharing;
Multi-threaded;
2.
SOS: Saving Time in Dynamic Race Detection with Stationary Analysis
机译:
SOS:通过静态分析节省动态种族检测的时间
作者:
Du Li
;
Witawas Srisa-an
;
Matthew B. Dwyer
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Race;
concurrency;
threading;
monitoring;
3.
Data-Driven Synthesis for Object-Oriented Frameworks
机译:
面向对象框架的数据驱动综合
作者:
Kuat Yessenov
;
Zhilei Xu
;
Armando Solar-Lezama
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Program Synthesis;
Dynamic Instrumentation;
Thin Slicing;
Software Engineering;
4.
Kind Analysis for MATLAB
机译:
MATLAB的种类分析
作者:
Jesse Doherty
;
Laurie Hendren
;
Soroush Radpour
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
MATLAB;
Name Resolution;
Kind Analysis;
5.
Integrated Language Definition Testing: Enabling Test-Driven Language Development
机译:
集成语言定义测试:启用测试驱动的语言开发
作者:
Lennart C. L. Kats
;
Rob Vermaas
;
Eelco Visser
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Testing;
Test-Driven Development;
Language Engineering;
Grammarware;
Language Workbench;
Domain-Specific Language;
Language Embedding;
Compilers;
Parsers;
6.
Catch Me If You Can: Performance Bug Detection in the Wild
机译:
如果可以,请抓住我:野外性能错误检测
作者:
Milan Jovic
;
Andrea Adamoli
;
Matthias Hauswirth
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Profiling;
Latency bug;
Perceptible performance;
7.
Synthesizing Method Sequences for High-Coverage Testing
机译:
用于高覆盖率测试的综合方法序列
作者:
Suresh Thummalapenta
;
Tao Xie
;
Nikolai Tillmann
;
Jonathan de Halleux
;
Zhendong Su
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Object-oriented testing;
Symbolic execution;
8.
Automatic Fine-Grain Locking using Shape Properties
机译:
使用形状属性自动进行细粒度锁定
作者:
Guy Golan-Gueta
;
Nathan Bronson
;
Alex Aiken
;
G. Ramalingam
;
Mooly Sagiv
;
Eran Yahav
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Concurrency;
Locking Protocol;
Synthesis;
Se-rializability;
Atomicity;
Reduction;
9.
Sprint: Speculative Prefetching of Remote Data
机译:
Sprint:远程数据的推测性预取
作者:
Arun Raman
;
Greta Yorsh
;
Martin Vechev
;
Eran Yahav
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
remote data;
automatic;
prefetching;
paralleliza-tion;
speculation;
batching;
caching;
compiler;
run-time;
tool;
10.
Ribbons: A Partially Shared Memory Programming Model
机译:
功能区:部分共享的内存编程模型
作者:
Kevin Hoffman
;
Harrison Metzger
;
Patrick Eugster
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
shared memory;
virtual memory;
access control;
heap partitioning;
multithreading;
ribbons;
11.
JET: Exception Checking in the Java Native Interface
机译:
JET:Java本机接口中的异常检查
作者:
Siliang Li
;
Gang Tan
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Exception Checking;
Java Native Interface;
Static Analysis;
12.
Hybrid Partial Evaluation
机译:
混合局部评估
作者:
Amin Shali
;
William R. Cook
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Partial Evaluation;
Object-Oriented Languages;
Hybrid;
13.
Reactive Imperative Programming with Dataflow Constraints
机译:
具有数据流约束的反应式命令式编程
作者:
Camil Demetrescu
;
Irene Finocchi
;
Andrea Ribichini
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Reactive programming;
dataflow programming;
imperative programming;
constraint solving;
incremental computation;
observer design pattern;
data structure repair;
14.
A Step Towards Transparent Integration of Input-Consciousness into Dynamic Program Optimizations
机译:
将输入意识透明集成到动态程序优化中的步骤
作者:
Kai Tian
;
Eddy Z. Zhang
;
Xipeng Shen
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Program inputs;
Dynamic optimizations;
Java Virtual Machine;
Proactivity;
Seminal behaviors;
Dynamic version selection;
Just-In-Time Compilation;
15.
Flow-Sensitive Type Recovery in Linear-Log Time
机译:
线性对数时间的流量敏感型恢复
作者:
Michael D. Adams
;
Andrew W. Keep
;
Jan Midtgaard
;
Matthew Might
;
Arun Chauhan
;
R. Kent Dybvig
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Control-Flow Analysis;
Flow Sensitivity;
Path Sensitivity;
Type Recovery;
16.
Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages
机译:
Oracle调度:使用隐式并行语言控制粒度
作者:
Umut A. Acar
;
Arthur Chargueraud
;
Mike Rainey
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Scheduling;
Granularity Control;
Work Stealing;
17.
Efficiently Speeding up Sequential Computation through the N-Way Programming Model
机译:
通过N-Way编程模型有效地加快顺序计算
作者:
Romain Cledat
;
Tushar Kumar
;
Santosh Pande
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Parallel programming model;
N-Way;
algorithmic diversity;
speedup;
sequential computations;
18.
Scalable Join Patterns
机译:
可扩展的联接模式
作者:
Aaron Turon
;
Claudio V. Russo
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
message passing;
concurrency;
parallelism;
19.
Gradual Typing for Generics
机译:
泛型的渐进式打字
作者:
Lintaro Ina
;
Atsushi Igarashi
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Gradual typing;
generics;
dynamic types;
20.
Benefits and Barriers of User Evaluation in Software Engineering Research
机译:
软件工程研究中用户评估的好处和障碍
作者:
Raymond P.L. Buse
;
Caitlin Sadowski
;
Westley Weimer
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Human study;
User evaluation;
21.
Declaratively Programming the Mobile Web with Mobl
机译:
使用Mobile对移动Web进行声明式编程
作者:
Zef Hemel
;
Eelco Visser
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
22.
Cedalion: A Language for Language Oriented Programming
机译:
Cedalion:一种面向语言的编程语言
作者:
David H. Lorenz
;
Boaz Rosenan
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Language-oriented programming (LOP);
Language workbenches;
Logic programming;
Domain-specific languages (DSL);
23.
JIT Compilation Policy for Modern Machines
机译:
现代机器的JIT编译策略
作者:
Prasad A. Kulkarni
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
virtual machines;
dynamic compilation;
multi-core;
Java;
24.
Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation
机译:
词法宏和条件编译存在下的变量感知解析
作者:
Christian Kaestner
;
Paolo G. Giarrusso
;
Tillmann Rendel
;
Sebastian Erdweg
;
Klaus Ostermann
;
Thorsten Berger
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
parsing;
C;
preprocessor;
#ifdef;
variability;
conditional compilation;
Linux;
software product lines;
25.
A Simple ion for Complex Concurrent Indexes
机译:
复数并行索引的简单离子
作者:
Pedro da Rocha Pinto
;
Thomas Dinsdale-Young
;
Mike Dodds
;
Philippa Gardner
;
Mark Wheelhouse
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Concurrency;
Indexes;
B-Trees;
Separation Logic;
26.
Delegated Isolation
机译:
委托隔离
作者:
Roberto Lublinerman
;
Jisheng Zhao
;
Zoran Budimlic
;
Swarat Chaudhuri
;
Vivek Sarkar
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Isolation;
Programming abstractions;
Irregular parallelism;
Contention;
27.
Virtual Values for Language Extension
机译:
语言扩展的虚拟价值
作者:
Thomas H. Austin
;
Tim Disney
;
Cormac Flanagan
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Proxies;
Metaobject Protocols;
Behavioral Intercession;
28.
Flexible Object Layouts: Enabling Lightweight Language Extensions by Intercepting Slot Access
机译:
灵活的对象布局:通过拦截插槽访问来启用轻量级语言扩展
作者:
Toon Verwaest
;
Mircea Lungu
;
Oscar Nierstrasz
;
Camillo Bruni
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Smalltalk;
Structural Reflection;
Metaobject Protocol;
Traits;
29.
A Syntactic Type System for Recursive Modules
机译:
递归模块的句法类型系统
作者:
Hyeonseung Im
;
Keiko Nakata
;
Jacques Garrigue
;
Sungwoo Park
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Type systems;
modules;
recursion;
abstract types;
weak bisimulations;
30.
Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis
机译:
通过过度逼近最弱前提条件分析进行空解除引用验证
作者:
Ravichandhran Madhavan
;
Raghavan Komondoor
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
31.
F4F: Taint Analysis of Framework-based Web Applications
机译:
F4F:基于框架的Web应用程序的污点分析
作者:
Manu Sridharan
;
Shay Artzi
;
Marco Pistoia
;
Salvatore Guarnieri
;
Omer Tripp
;
Ryan Berg
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
32.
Introducing the ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)
机译:
在ACM系统,编程,语言和应用程序国际会议上进行介绍:人性化软件(SPLASH)
作者:
Crista Videira Lopes
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
33.
The Sequential Prison
机译:
顺序监狱
作者:
Ivan Sutherland
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Sequential;
parallel;
hardware;
languages;
notation;
34.
Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions
机译:
强调正面:使用正确的执行方式的原子性推理和执行
作者:
Dasarath Weeratunge
;
Xiangyu Zhang
;
Suresh Jaganathan
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Concurrency bugs;
profile;
atomicity;
locking;
debugging;
35.
Testing Atomicity of Composed Concurrent Operations
机译:
测试并发操作的原子性
作者:
Ohad Shacham
;
Nathan Bronson
;
Alex Aiken
;
Mooly Sagiv
;
Martin Vechev
;
Eran Yahav
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
concurrency;
linearizability;
testing;
composed operations;
collections;
36.
Synthesis of First-Order Dynamic Programming Algorithms
机译:
一阶动态规划算法的综合
作者:
Yewen Pu
;
Rastislav Bodik
;
Saurabh Srivastava
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Synthesis;
Constraint Solving;
37.
Tool-supported Refactoring for JavaScript
机译:
工具支持的JavaScript重构
作者:
Asger Feldthaus
;
Todd Millstein
;
Anders Moller
;
Max Schaefer
;
Frank Tip
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
38.
PreFail: A Programmable Tool for Multiple-Failure Injection
机译:
PreFail:用于多次失败注入的可编程工具
作者:
Pallavi Joshi
;
Haryadi S. Gunawi
;
Koushik Sen
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
fault injection;
distributed systems;
testing;
39.
Hawkeye: Effective Discovery of Dataflow Impediments to Parallelization
机译:
Hawkeye:有效发现并行化的数据流障碍
作者:
Omer Tripp
;
Greta Yorsh
;
John Field
;
Mooly Sagiv
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
loop parallelization;
commutativity;
dependence analysis;
dynamic analysis;
abstract data types;
40.
Safe Parallel Programming using Dynamic Dependence Hints
机译:
使用动态依赖提示的安全并行编程
作者:
Chuanle Ke
;
Lei Liu
;
Chao Zhang
;
Tongxin Bai
;
Bryan Jacobs
;
Chen Ding
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
do-across parallelism;
post-wait;
speculative parallelization;
safe parallel programming;
41.
Asynchronous Assertions
机译:
异步断言
作者:
Edward E. Aftandilian
;
Samuel Z. Guyer
;
Martin Vechev
;
Eran Yahav
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Assertions;
concurrent checking;
heap snapshot;
dynamic analysis;
data structure invariants;
42.
Why Nothing Matters: The Impact of Zeroing
机译:
为什么什么都不重要:归零的影响
作者:
Xi Yang
;
Stephen M. Blackburn
;
Daniel Frampton
;
Jennifer B. Sartor
;
Kathryn S. McKinley
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Memory safety;
Zero initialization;
43.
Trustworthy Numerical Computation in Scala
机译:
Scala中的可信数值计算
作者:
Eva Darulova
;
Viktor Kuncak
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
44.
Immutable Specifications for More Concise and Precise Verification
机译:
不变的规格,可进行更精确,更精确的验证
作者:
Cristina David
;
Wei-Ngan Chin
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
45.
SugarJ: Library-based Syntactic Language Extensibility
机译:
SugarJ:基于库的句法语言可扩展性
作者:
Sebastian Erdweg
;
Tillmann Rendel
;
Christian Kaestner
;
Klaus Ostermann
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
SugarJ;
language extensibility;
syntactic sugar;
DSL embedding;
language composition;
libraries;
46.
Two for the Price of One: A Model for Parallel and Incremental Computation
机译:
一对一的价格之二:并行和增量计算模型
作者:
Sebastian Burckhardt
;
Daan Leijen
;
Caitlin Sadowski
;
Jaeheon Yi
;
Thomas Ball
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Self-adjusting computation;
Incremental mem-oization;
Parallel programming;
47.
Enhancing Locality for Recursive Traversals of Recursive Structures
机译:
递归遍历递归结构的局部性
作者:
Youngjoon Jo
;
Milind Kulkarni
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
locality transformations;
irregular programs;
tree traversals;
48.
Kismet: Parallel Speedup Estimates for Serial Programs
机译:
Kismet:串行程序的并行加速估计
作者:
Donghwan Jeon
;
Saturnino Garcia
;
Chris Louie
;
Michael Bedford Taylor
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Hierarchical Critical Path Analysis;
Expressible Self-Parallelism;
Performance Estimation;
Parallel Software Engineering;
49.
Exploiting Coarse-Grain Speculative Parallelism
机译:
利用粗粒度投机并行
作者:
Hari K. Pyla
;
Calvin Ribbens
;
Srinidhi Varadarajan
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Speculative Parallelism;
Coarse-grain Speculation;
Concurrent Programming and Runtime Systems;
50.
Product Lines of Theorems
机译:
定理的产品线
作者:
Benjamin Delaware
;
William R. Cook
;
Don Batory
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Feature-Orientation;
Mechanized Metatheory;
Product Line Verification;
51.
A Theory of Substructural Types and Control
机译:
子结构类型与控制理论
作者:
Jesse A. Tov
;
Riccardo Pucella
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
52.
Da Capo con Scala: Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine
机译:
Da Capo con Scala:用于Java虚拟机的Scala基准套件的设计和分析
作者:
Andreas Sewe
;
Mira Mezini
;
Aibek Sarimbekov
;
Walter Binder
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Benchmarks;
dynamic metrics;
Scala;
Java;
53.
Automated Construction of JavaScript Benchmarks
机译:
自动构建JavaScript基准
作者:
Gregor Richards
;
Andreas Gal
;
Brendan Eich
;
Jan Vitek
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Reproduction;
Repetition;
Benchmarks;
54.
First-Class State Change in Plaid
机译:
格子的一流状态变化
作者:
Joshua Sunshine
;
Karl Naden
;
Sven Stork
;
Jonathan Aldrich
;
Eric Tanter
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
typestate;
state-chart;
plaid;
55.
Self-Adjusting Stack Machines
机译:
自动调整堆垛机
作者:
Matthew A. Hammer
;
Georg Neis
;
Yan Chen
;
Umut A. Acar
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
56.
Reducing Trace Selection Footprint for Large-scale Java Applications without Performance Loss
机译:
减少大型Java应用程序的跟踪选择足迹,而不会降低性能
作者:
Peng Wu
;
Hiroshige Hayashizaki
;
Hiroshi Inoue
;
Toshio Nakatani
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Trace selection and compilation;
profiling;
Java;
57.
Safe and Atomic Run-time Code Evolution for Java and its Application to Dynamic AOP
机译:
Java的安全原子运行时代码演化及其在动态AOP中的应用
作者:
Thomas Wuerthinger
;
Danilo Ansaloni
;
Walter Binder
;
Christian Wimmer
;
Hanspeter Moessenboeck
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Java;
virtual machine;
run-time evolution;
code evolution;
dynamic software updating;
update regions;
dynamic aspect-oriented programming;
AOP;
AspectJ;
58.
Composable, Nestable, Pessimistic Atomic Statements
机译:
可组合,可嵌套,悲观的原子语句
作者:
Zachary Anderson
;
David Gay
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Atomic statements;
Locks;
Concurrency;
59.
AC: Composable Asynchronous IO for Native Languages
机译:
AC:用于本地语言的可组合异步IO
作者:
Tim Harris
;
Martin Abadi
;
Rebecca Isaacs
;
Ross McIlroy
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
60.
Backstage Java: Making a Difference in Metaprogramming
机译:
后台Java:在元编程中有所作为
作者:
Zachary Palmer
;
Scott F. Smith
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Java;
metaprogramming;
macros;
design patterns;
software merging;
difference-based metaprogramming;
61.
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
机译:
具有参数多态性和多重继承的类型检查模块化多重调度
作者:
Eric Allen
;
Justin Hilburn
;
Scott Kilpatrick
;
Victor Luchangco
;
Sukyoung Ryu
;
David Chase
;
Guy L. Steele Jr.
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
object-oriented programming;
multiple dispatch;
symmetric dispatch;
multiple inheritance;
overloading;
modularity;
methods;
multimethods;
static types;
run-time types;
ilks;
components;
separate compilation;
Fortress;
meet rule;
62.
Freedom Before Commitment: A Lightweight Type System for Object Initialisation
机译:
承诺前的自由:用于对象初始化的轻量型系统
作者:
Alexander J. Summers
;
Peter Mueller
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
63.
RoleCast: Finding Missing Security Checks When You Do Not Know What Checks Are
机译:
RoleCast:在您不知道什么是安全检查时查找丢失的安全检查
作者:
Sooel Son
;
Kathryn S. McKinley
;
Vitaly Shmatikov
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
关键词:
Security;
static analysis;
interprocedural analysis;
security checks;
access control;
user roles;
PHP;
JSP;
64.
OOPSLA Program Chair's Welcome
机译:
OOPSLA计划主席的欢迎
作者:
Kathleen Fisher
会议名称:
《2011 ACM international conference on object oriented programming, systems, languages and applications》
|
2011年
意见反馈
回到顶部
回到首页