首页>外文会议>其他>Sixteenth international conference on architectural support for programming languages and operating systems.

Sixteenth international conference on architectural support for programming languages and operating systems.

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Efficient Processor Support for DRFx, a Memory Model with Exceptions

机译：对DRFx（具有异常的内存模型）的高效处理器支持
- 作者：Abhayendra Singh;Daniel Marino;Satish Narayanasamy;Todd Millstein;Madanlal Musuvathi
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- memory models;
- data-races;
- memory model exception;
- soft fences;
2.Specifying and Checking Semantic Atomicity for Multithreaded Programs

机译：指定和检查多线程程序的语义原子性
- 作者：Jacob Burnim;George Necula;Koushik Sen
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- algorithms;
- reliability;
- verification;
3.RCDC: A Relaxed Consistency Deterministic Computer

机译：RCDC：轻松一致的确定性计算机
- 作者：Joseph Devietti;Jacob Nelson;Tom Bergan;Luis Ceze;Dan Grossman
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- reliability;
- design;
- performance;
4.Improving Software Diagnosability via Log Enhancement

机译：通过日志增强功能改善软件可诊断性
- 作者：Ding Yuan;Jing Zheng;Soyeon Park;Yuanyuan Zhou;Stefan Savage
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- log;
- software diagnosability;
- static analysis;
5.Hybrid NOrec: A Case Study in the Effectiveness of Best Effort Hardware Transactional Memory

机译：混合NOrec：尽力而为硬件事务存储的有效性的案例研究
- 作者：Luke Dalessandro;Francois Carouge;Sean White;Yossi Lev;Mark Moir;Michael L. Scott;Michael F. Spear
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- transactional memory;
6.Hardware Acceleration of Transactional Memory on Commodity Systems

机译：商品系统上交易内存的硬件加速
- 作者：Jared Casper;Tayo Oguntebi;Sungpack Hong;Nathan G. Bronson;Christos Kozyrakis;Kunle Olukotun
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- transactional memory;
- FPGA;
- hardware acceleration;
7.Looking Back on the Language and Hardware Revolutions: Measured Power, Performance, and Scaling

机译：回顾语言和硬件革命：测得的功率，性能和扩展
- 作者：Hadi Esmaeilzadeh;Ting Cao;Xi Yang;Stephen M. Blackburn;Kathryn S. McKinley
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- experimentation;
- languages;
- performance;
- power;
- measurement;
8.Orchestration by Approximation

机译：近似编排
- 作者：S. M. Farhad;Yousun Ko;Bernd Burgstaller;Bernhard Scholz
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- streamlt;
- multicore;
- stream programming;
9.Sponge: Portable Stream Programming on Graphics Engines

机译：Sponge：图形引擎上的可移植流编程
- 作者：Amir Hormati;Mehrzad Samadi;Mark Woh;Trevor Mudge;Scott Mahlke
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- streaming;
- compiler;
- GPU;
- optimization;
- portability;
10.A Declarative Language Approach to Device Configuration

机译：设备配置的声明性语言方法
- 作者：Adrian Schuepbach;Andrew Baumann;Timothy Roscoe;Simon Peter
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- constraint logic programming;
- eclipse CLP;
- hardware;
- programming;
- PCI configuration;
11.Pocket Cloudlets

机译：口袋云
- 作者：Emmanouil Koukoumidis;Dimitrios Lymberopoulos;Karin Strauss;Jie Liu;Doug Burger
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- mobile search;
- mobile cloud;
- flash storage;
12.Dynamic Knobs for Responsive Power-Aware Computing

机译：动态旋钮，可响应功率感知计算
- 作者：Henry Hoffmann;Stelios Sidiroglou;Michael Carbin;Sasa Misailovic;Anant Agarwal;Martin Rinard
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- accuracy-aware computing;
- power-aware comput;
- ing;
- self-aware systems;
13.2ndStrike: Toward Manifesting Hidden Concurrency Itypestate Bugs

机译：2ndStrike：向隐藏的并发Itypestate Bug展示
- 作者：Qi Gao;Wenbin Zhang;Zhezhe Chen;Mai Zheng;Feng Qin
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- software testing;
- typestate bugs;
- concurrency bugs;
14.Mementos: System Support for Long-Running Computation on RFID-Scale Devices

机译：Mementos：对RFID规模设备进行长期计算的系统支持
- 作者：Benjamin Ransford;Jacob Sorber;Kevin Fu
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- mementos;
- RFID-scale devices;
- computational RFID;
- energy-aware checkpointing;
15.Mnemosyne: Lightweight Persistent Memory

机译：记忆力减退：轻量级持久性记忆
- 作者：Haris Volos;Andres Jaan Tack;Michael M. Swift
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- persistent memory;
- storage-class memory;
- persistence;
- memory transactions;
- performance;
16.Improved Device Driver Reliability Through Hardware Verification Reuse

机译：通过重复使用硬件验证提高了设备驱动程序的可靠性
- 作者：Leonid Ryzhyk;John Keys;Balachandra Mirla;Arun Raghunath;Mona Vij;Gernot Heiser
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- device drivers;
- reliability;
- RTL testbenches;
- auto;
- mated testing;
- co-verification;
17.The Cloud Will Change Everything

机译：云将改变一切
- 作者：James R. Lams
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- cloud computing;
18.DoublePlay: Parallelizing Sequential Logging and Replay

机译：DoublePlay：并行化顺序记录和重播
- 作者：Kaushik Veeraraghavan;Dongyoon Lee;Benjamin Wester;Jessica Ouyang;Peter M. Chen;Jason Flinn;Satish Narayanasamy
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- deterministic replay;
- uniparallelism;
19.Faults in Linux: Ten Years Later

机译：Linux中的错误：十年后
- 作者：Nicolas Palix;Gaeel Thomas;Suman Saha;Christophe Calves;Julia Lawall;Gilles Muller
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- linux;
- fault-finding tools;
20.Synthesizing Concurrent Schedulers for Irregular Algorithms

机译：为不规则算法合成并发调度程序
- 作者：Donald Nguyen;Keshav Pingali
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- amorphous data-parallelism;
- irregular programs;
- mul ticore processors;
- optimistic parallelization;
- program synthesis;
- scheduling;
21.Exploring Circuit Timing-aware Language and Compilation

机译：探索电路时序感知语言和编译
- 作者：Giang Hoang;Robert Bruce Findler;Russ Joseph
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- timing speculation;
- compiler;
- ISA design;
22.On-the-Fly Elimination of Dynamic Irregularities for GPU Computing

机译：动态消除GPU计算中的动态不规则
- 作者：Eddy Z. Zhang;Yunlian Jiang;Ziyu Guo;Kai Tian;Xipeng Shen
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- GPGPU;
- thread divergence;
- memory coalescing;
- thread- data remapping;
- CPU-GPU pipelining;
- data transformation;
23.Inter-core Prefetching for Multicore Processors Using Migrating Helper Threads

机译：使用迁移助手线程进行多核处理器的内核间预取
- 作者：Md Kamruzzaman;Steven Swanson;Dean M. Tullsen
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- chip multiprocessors;
- helper threads;
- compilers;
- single-thread performance;
24.Improving the Performance of Trace-based Systems by False Loop Filtering

机译：通过伪循环过滤提高基于跟踪的系统的性能
- 作者：Hiroshige Hayashizaki;Peng Wu;Hiroshi Inoue;Mauricio J. Serrano;Toshio Nakatani
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- trace-based compilation;
- trace selection;
- repetition detection;
25.NV-Heaps: Making Persistent Objects Fast and Safe with Next-Generation, Non-Volatile Memories

机译：NV堆：使用下一代非易失性内存，使持久对象快速安全
- 作者：Joel Coburn;Adrian M. Caulfield;Ameen Akel;Laura M. Grupp;Rajesh K. Gupta;Ranjit Jhala;Steven Swanson
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- non-volatile heap;
- persistent objects;
- phase-change;
- memory;
- spin-torque transfer memory;
- ACID transactions;
- pointer safety;
- memory management;
- transactional memory;
26.A Case for Neuromorphic ISAs

机译：神经形态ISA的一个案例
- 作者：Atif Hashmi;Andrew Nere;James Jamal Thomas;Mikko Lipasti
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- cortical learning algorithms;
- neuromorphic archi;
- tectures;
- GPGPU;
27.Blink: Managing Server Clusters on Intermittent Power

机译：闪烁：间歇性地管理服务器群集
- 作者：Navin Sharma;Sean Barker;David Irwin;Prashant Shenoy
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- power;
- intermittent;
- renewable energy;
- blink;
28.Flikker: Saving DRAM Refresh-power through Critical Data Partitioning

机译：Flikker：通过关键数据分区节省DRAM刷新能力
- 作者：Song Liu;Karthik Pattabiraman;Thomas Moscibroda;Benjamin G. Zorn
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- power-savings;
- DRAM refresh;
- soft errors;
- critical;
- data;
- allocation;
29.MemScale: Active Low-Power Modes for Main Memory *

机译：MemScale：主内存的活动低功耗模式*
- 作者：Qingyuan Deng;David Meisner;Luiz Ramos;Thomas F. Wenisch;Ricardo Bianchini
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- memory subsystem;
- energy conservation;
- dynamic;
- voltage and frequency scaling;
30.ConSeq: Detecting Concurrency Bugs through Sequential Errors

机译：ConSeq：通过顺序错误检测并发错误
- 作者：Wei Zhang;Junghee Lim;Ramya Olichandran;Joel Scherpelz;Guoliang Jin;Shan Lu;Thomas Reps
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- software testing;
- concurrency bugs;
31.S~2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

机译：S〜2E：软件系统内多路径分析平台
- 作者：Vitaly Chipounov;Volodymyr Kuznetsov;George Candea
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- reliability;
- verification;
- performance;
- security;
32.Ensuring Operating System Kernel Integrity with OSck

机译：使用OSck确保操作系统内核完整性
- 作者：Owen S. Hofmann;Alan M. Dunn;Sangman Kim;Indrajit Roy;Emmett Witchel
- 会议名称：《Sixteenth international conference on architectural support for programming languages and operating systems.》 | 2011年
- Rootkit detection;