Search results for "overheads"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Ed F. Deprettere, Ana Lucia Varbanescu	Introduction to Mastering Cell BE and GPU Execution Platforms.	SAMOS	2009	DBLP DOI BibTeX RDF
6	Ken C. K. Lee, Wang-Chien Lee, Hong Va Leong, Baihua Zheng	Navigational path privacy protection: navigational path privacy protection.	CIKM	2009	DBLP DOI BibTeX RDF	privacy protection, road network, path search
6	Anil Madhavapeddy	Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language.	ICFEM	2009	DBLP DOI BibTeX RDF
6	Philippe Moret, Walter Binder, Alex Villazón	CCCP: complete calling context profiling in virtual execution environments.	PEPM	2009	DBLP DOI BibTeX RDF	calling context profiling, native code, java virtual machine, bytecode instrumentation
6	Navendu Jain, Praveen Yalagandula, Michael Dahlin, Yin Zhang	Self-Tuning, Bandwidth-Aware Monitoring for Dynamic Data Streams.	ICDE	2009	DBLP DOI BibTeX RDF
6	Kimmo U. Järvinen	On Repeated Squarings in Binary Fields.	Selected Areas in Cryptography	2009	DBLP DOI BibTeX RDF
6	Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, Kathryn S. McKinley	A concurrent dynamic analysis framework for multicore hardware.	OOPSLA	2009	DBLP DOI BibTeX RDF	profiling, dynamic analysis, multicore, instrumentation
6	Cristinel Ababei	Parallel placement for FPGAs revisited.	FPGA	2009	DBLP DOI BibTeX RDF	fpga placement, multithreading, parallel simulated annealing
6	Stephen Olivier, Jan F. Prins	Evaluating OpenMP 3.0 Run Time Systems on Unbalanced Task Graphs.	IWOMP	2009	DBLP DOI BibTeX RDF
6	Ramachandra C. Nanjegowda, Oscar R. Hernandez, Barbara M. Chapman, Haoqiang Jin	Scalability Evaluation of Barrier Algorithms for OpenMP.	IWOMP	2009	DBLP DOI BibTeX RDF
6	Amin Ansari, Shantanu Gupta, Shuguang Feng, Scott A. Mahlke	ZerehCache: armoring cache architectures in high defect density technologies.	MICRO	2009	DBLP DOI BibTeX RDF	fault-tolerant cache, process variation, manufacturing yield
6	Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adrià Armejach, Adrián Cristal, Osman S. Unsal, Tim Harris 0001, Mateo Valero	EazyHTM: eager-lazy hardware transactional memory.	MICRO	2009	DBLP DOI BibTeX RDF	EazyHTM, transactional memory
6	Moinuddin K. Qureshi, John P. Karidis, Michele Franceschini, Vijayalakshmi Srinivasan, Luis A. Lastras, Bülent Abali	Enhancing lifetime and security of PCM-based main memory with start-gap wear leveling.	MICRO	2009	DBLP DOI BibTeX RDF	phase change memory, wear leveling, endurance
6	Jason Zebchuk, Vijayalakshmi Srinivasan, Moinuddin K. Qureshi, Andreas Moshovos	A tagless coherence directory.	MICRO	2009	DBLP DOI BibTeX RDF	directory coherence, cache coherence, Bloom filters
6	Mitchell Hayenga, Natalie D. Enright Jerger, Mikko H. Lipasti	SCARAB: a single cycle adaptive routing and bufferless network.	MICRO	2009	DBLP DOI BibTeX RDF	routing, interconnection networks, multi-core
6	Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano, Tsutomu Yoshinaga	Prediction router: Yet another low latency on-chip router architecture.	HPCA	2009	DBLP DOI BibTeX RDF
6	Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke	The theory of deadlock avoidance via discrete control.	POPL	2009	DBLP DOI BibTeX RDF	discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming
6	Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad	Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.	DAMP	2009	DBLP DOI BibTeX RDF	eden, multicore parallelism, haskell, algorithmic skeletons
6	Sanjay V. Kumar, Chris H. Kim, Sachin S. Sapatnekar	Adaptive techniques for overcoming performance degradation due to aging in digital circuits.	ASP-DAC	2009	DBLP DOI BibTeX RDF
6	Concepción Sanz, Manuel Prieto 0001, José Ignacio Gómez, Antonis Papanikolaou, Francky Catthoor	System-level process variability compensation on memory organizations: on the scalability of multi-mode memories.	ASP-DAC	2009	DBLP DOI BibTeX RDF
6	Yibo Chen, Yuan Xie 0001	Tolerating process variations in high-level synthesis using transparent latches.	ASP-DAC	2009	DBLP DOI BibTeX RDF
6	Yves Younan, Frank Piessens, Wouter Joosen	Protecting Global and Static Variables from Buffer Overflow Attacks.	ARES	2009	DBLP DOI BibTeX RDF
6	Sudha Gunturu, Xiaolin Li 0001, Laurence Tianruo Yang	Load Scheduling Strategies for Parallel DNA Sequencing Applications.	HPCC	2009	DBLP DOI BibTeX RDF
6	Borja Sotomayor, Rubén S. Montero, Ignacio Martín Llorente, Ian T. Foster	Resource Leasing and the Art of Suspending Virtual Machines.	HPCC	2009	DBLP DOI BibTeX RDF
6	Alok Tongaonkar, R. Sekar 0001, Sreenaath Vasudevan	Fast Packet Classification Using Condition Factorization.	ACNS	2009	DBLP DOI BibTeX RDF
6	Ermyas Abebe, Caspar Ryan	A Distributed Approach to Local Adaptation Decision Making for Sequential Applications in Pervasive Environments.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
6	Adam Wojciechowski	Models of Charity Donations and Project Funding in Social Networks.	OTM Workshops	2009	DBLP DOI BibTeX RDF	project funding, money collection, social networks, charity
6	Ramana Rao Kompella, Kirill Levchenko, Alex C. Snoeren, George Varghese	Every microsecond counts: tracking fine-grain latencies with a lossy difference aggregator.	SIGCOMM	2009	DBLP DOI BibTeX RDF	packet sampling, passive measurement
6	Pei-Pei Li 0001, Xuegang Hu, Qianhui Liang, Yunjun Gao	Concept Drifting Detection on Noisy Streaming Data in Random Ensemble Decision Trees.	MLDM	2009	DBLP DOI BibTeX RDF	Ensemble Decision Trees, Data Streams, Noise, Concept Drift
6	Jean-Francois Pineau, Yves Robert, Frédéric Vivien	Energy-Aware Scheduling of Flow Applications on Master-Worker Platforms.	Euro-Par	2009	DBLP DOI BibTeX RDF
6	Aline de Paula Nascimento, Alexandre da Costa Sena, Cristina Boeres, Vinod E. F. Rebello	On the Feasibility of Dynamically Scheduling DAG Applications on Shared Heterogeneous Systems.	Euro-Par	2009	DBLP DOI BibTeX RDF
6	Benjamín Sahelices, Pablo Ibáñez, Víctor Viñals, José María Llabería	A Methodology to Characterize Critical Section Bottlenecks in DSM Multiprocessors.	Euro-Par	2009	DBLP DOI BibTeX RDF
6	Daniel Schmidt 0001, Norbert Wehn	DRAM power management and energy consumption: a critical assessment.	SBCCI	2009	DBLP DOI BibTeX RDF	modelling, measurement, power management, SDRAM
6	Anang Hudaya Muhamad Amin, Asad I. Khan, Raja Azlina Raja Mahmood	A distributed event detection scheme for wireless sensor networks.	MoMM	2009	DBLP DOI BibTeX RDF	distributed hierarchical graph neuron (DHGN), wireless sensor networks, event detection
6	Mengqi Zeng, Dawu Gu, Fangyong Hou, Yuanyuan Zhang 0002, Tao Cheng	Design and Implementation of Self-securing Disk.	NAS	2009	DBLP DOI BibTeX RDF
6	Nanyan Jiang, Manish Parashar	Enabling autonomic power-aware management of instrumented data centers.	IPDPS	2009	DBLP DOI BibTeX RDF
6	Abhirup Chakraborty, Ajit Singh	A partition-based approach to support streaming updates over persistent data in an active datawarehouse.	IPDPS	2009	DBLP DOI BibTeX RDF
6	Yaozu Dong, Jinquan Dai, Zhiteng Huang, Haibing Guan, Kevin Tian, Yunhong Jiang	Towards high-quality I/O virtualization.	SYSTOR	2009	DBLP DOI BibTeX RDF	I/O virtualization, direct I/O, virtualization
6	Jun-Won Ho, Donggang Liu, Matthew K. Wright, Sajal K. Das 0001	Distributed Detection of Replicas with Deployment Knowledge in Wireless Sensor Networks.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
6	Nirmalya Roy	Quality-of-Inference Aware Context Determination.	PerCom	2009	DBLP DOI BibTeX RDF
6	Youwen Zhu, Liusheng Huang, Wei Yang 0011, Dong Li, Yonglong Luo, Fan Dong	Three New Approaches to Privacy-preserving Add to Multiply Protocol and its Application.	WKDD	2009	DBLP DOI BibTeX RDF
6	Yanwei Liu 0001, Siwei Ma, Qingming Huang, Debin Zhao, Wen Gao 0001, Nan Zhang 0015	Compression-Induced Rendering Distortion Analysis for Texture/Depth Rate Allocation in 3D Video Compression.	DCC	2009	DBLP DOI BibTeX RDF
6	Stephen Smaldone, Vinod Ganapathy, Liviu Iftode	Working set-based access control for network file systems.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, network file system
6	Gang Wang, Du Chen, Jian Chen, Jianliang Ma, Tianzhou Chen	A Performance Model for Run-Time Reconfigurable Hardware Accelerator.	APPT	2009	DBLP DOI BibTeX RDF
6	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
6	Indrajit Roy 0001, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel	Laminar: practical fine-grained decentralized information flow control.	PLDI	2009	DBLP DOI BibTeX RDF	security region, operating systems, java virtual machine, information flow control
6	Gene Novark, Emery D. Berger, Benjamin G. Zorn	Efficiently and precisely locating memory leaks and bloat.	PLDI	2009	DBLP DOI BibTeX RDF	heap profiling, hound, memory leak detection, virtual compaction, dynamic memory allocation
6	Gautam Altekar, Ion Stoica	ODR: output-deterministic replay for multicore debugging.	SOSP	2009	DBLP DOI BibTeX RDF	debugging, multicore, inference, deterministic replay
6	Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-Song Tsay	An effective synchronization approach for fast and accurate multi-core instruction-set simulation.	EMSOFT	2009	DBLP DOI BibTeX RDF	synchronization, multi-core, binary translation, instruction-set simulator
6	Jiayuan Meng, Kevin Skadron	Performance modeling and automatic ghost zone optimization for iterative stencil loops on GPUs.	ICS	2009	DBLP DOI BibTeX RDF	ghost zone, parallel computing, gpu, stencil computation
6	Jun Shirako, Jisheng M. Zhao, V. Krishna Nandivada, Vivek Sarkar	Chunking parallel loops in the presence of synchronization.	ICS	2009	DBLP DOI BibTeX RDF	loop chunking, phasers, exceptions
6	Wenjing Ma, Gagan Agrawal	A translation system for enabling data mining applications on GPUs.	ICS	2009	DBLP DOI BibTeX RDF	data mining, gpgpu, cuda
6	Meng Ge, Kwok-Yan Lam	Self-initialized Distributed Certificate Authority for Mobile Ad Hoc Network.	ISA	2009	DBLP DOI BibTeX RDF
6	Shafagh Jafer, Gabriel A. Wainer	Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS.	CSE (1)	2009	DBLP DOI BibTeX RDF
6	Yu-Hsun Lin, Xuan-Yi Lin, Yeh-Ching Chung	Reducing Leakage Power of JPEG Image on Asymmetric SRAM.	CSE (2)	2009	DBLP DOI BibTeX RDF
6	Joel Koshy, Raju Pandey, Ingwar Wirjawan	Optimizing Embedded Virtual Machines.	CSE (2)	2009	DBLP DOI BibTeX RDF
6	Marco D. Santambrogio	From Reconfigurable Architectures to Self-Adaptive Autonomic Systems.	CSE (2)	2009	DBLP DOI BibTeX RDF
6	Franco Frattolillo, Federica Landolfi, Fiammetta Marulli	A Novel Approach to DRM Systems.	CSE (3)	2009	DBLP DOI BibTeX RDF
6	Giorgos Vasiliadis, Michalis Polychronakis, Spyros Antonatos, Evangelos P. Markatos, Sotiris Ioannidis	Regular Expression Matching on Graphics Hardware for Intrusion Detection.	RAID	2009	DBLP DOI BibTeX RDF
6	M. Zubair Shafiq, S. Momina Tabish, Fauzan Mirza, Muddassar Farooq	PE-Miner: Mining Structural Information to Detect Malicious Executables in Realtime.	RAID	2009	DBLP DOI BibTeX RDF	Malicious Executable Detection, Portable Executables, Data Mining, Malware Detection, Structural Information
6	Chae Duk Jung, Chul Sur, Youngho Park 0004, Kyung Hyune Rhee	A Robust Conditional Privacy-Preserving Authentication Protocol in VANET.	MobiSec	2009	DBLP DOI BibTeX RDF	Conditional Privacy, Movement Tracking, Universal Re-encryption, Authentication, Group Signature, Vehicular Ad-hoc Network
6	Navneet Goyal, Yashvardhan Sharma	New binning strategy for bitmap indices on high cardinality attributes.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	candidate checks, equi-width binning, bitmap index, binning
6	Dae Hyun Kim 0004, Saibal Mukhopadhyay, Sung Kyu Lim	Through-silicon-via aware interconnect prediction and optimization for 3D stacked ICs.	SLIP	2009	DBLP DOI BibTeX RDF	wirelength distribution, rent's rule, 3d ic, tsv, interconnect prediction, through silicon via
6	Rooju Chokshi, Krzysztof S. Berezowski, Aviral Shrivastava, Stanislaw J. Piestrak	Exploiting residue number system for power-efficient digital signal processing in embedded processors.	CASES	2009	DBLP DOI BibTeX RDF	compiler, power, processor, residue number system, per-
6	Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter	MulticoreSDK: a practical and efficient data race detector for real-world applications.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrent program analysis, multicore platform, data race detection
6	Kianoosh Mokhtarian, Mohamed Hefeeda	End-to-end secure delivery of scalable video streams.	NOSSDAV	2009	DBLP DOI BibTeX RDF	multimedia authentication, secure streaming, video authentication, multimedia security, scalable video
6	Thidapat Chantem, Xiaobo Sharon Hu, Robert P. Dick	Online work maximization under a peak temperature constraint.	ISLPED	2009	DBLP DOI BibTeX RDF	temperature-constraint optimization, performance, reliability, DVFS
6	Younho Lee, Yongsu Park	Framework Design and Performance Analysis on Pairwise Key Establishment.	APNOMS	2009	DBLP DOI BibTeX RDF	Wireless sensor networks, network security, secure communications
6	Changjiang Zhang, Jianmin Wang 0001, Clark D. Thomborson, Chaokun Wang, Christian S. Collberg	A semi-dynamic multiple watermarking schemefor java applications.	Digital Rights Management Workshop	2009	DBLP DOI BibTeX RDF	semi-dynamic, software security, software protection, software piracy, software watermarking, multiple watermarking
6	Jingyu Hua, Mingchu Li, Kouichi Sakurai, Yizhi Ren	Efficient Intrusion Detection Based on Static Analysis and Stack Walks.	IWSEC	2009	DBLP DOI BibTeX RDF
6	Songlin Hu, Vinod Muthusamy, Guoli Li, Hans-Arno Jacobsen	Transactional Mobility in Distributed Content-Based Publish/Subscribe Systems.	ICDCS	2009	DBLP DOI BibTeX RDF
6	Alexander W. Min, Kang G. Shin, Xin Hu 0001	Attack-Tolerant Distributed Sensing for Dynamic Spectrum Access Networks.	ICNP	2009	DBLP DOI BibTeX RDF
6	Brendan Mullane, Ciaran MacNamee, Vincent O'Brien, Thomas Fleischmann	An on-chip solution for static ADC test and measurement.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	ADC-BiST, code histogram, linearity measurements, test, system-on-chip, analog to digital converter
6	Hiroki Sunagawa, Haruhiko Terada, Akira Tsuchiya, Kazutoshi Kobayashi, Hidetoshi Onodera	Erect of regularity-enhanced layout on printability and circuit performance of standard cells.	ISQED	2009	DBLP DOI BibTeX RDF
6	Zohreh Karimi, Majid Sarrafzadeh	Power aware placement for FPGAs with dual supply voltages.	ISQED	2009	DBLP DOI BibTeX RDF
6	Charbel J. Akl, Rafic A. Ayoubi, Magdy A. Bayoumi	Post-Silicon Clock-nvert (PSCI) for reducing process-variation induced skew in buffered clock networks.	ISQED	2009	DBLP DOI BibTeX RDF
6	Dingding Li, Hai Jin 0001, Yingzhe Shao, Xiaofei Liao	A high-efficient inter-domain data transferring system for virtual machines.	ICUIMC	2009	DBLP DOI BibTeX RDF	inter-domain transport, network-bypass, virtual machine, virtual machine monitors
6	Mike Ter Louw, V. N. Venkatakrishnan	Blueprint: Robust Prevention of Cross-site Scripting Attacks for Existing Browsers.	SP	2009	DBLP DOI BibTeX RDF
6	Haikun Liu, Hai Jin 0001, Xiaofei Liao, Liting Hu, Chen Yu 0003	Live migration of virtual machine based on full system trace and replay.	HPDC	2009	DBLP DOI BibTeX RDF	virtual machine, checkpoint, trace, replay, live migration
6	Hasan Abbasi, Matthew Wolf, Greg Eisenhauer, Scott Klasky, Karsten Schwan, Fang Zheng	DataStager: scalable data staging services for petascale applications.	HPDC	2009	DBLP DOI BibTeX RDF	datatap, gtc, xt3, xt4, i/o, warp, staging
6	Esteban Feuerstein, Mauricio Marín, Michel J. Mizrahi, Veronica Gil-Costa, Ricardo Baeza-Yates	Two-Dimensional Distributed Inverted Files.	SPIRE	2009	DBLP DOI BibTeX RDF
6	Pongsakorn Ruengronghirunya, Vit Niennattrakul, Chotirat Ann Ratanamahatana	Speeding Up Similarity Search on a Large Time Series Dataset under Time Warping Distance.	PAKDD	2009	DBLP DOI BibTeX RDF	Lower Bounding Function, Indexing, Similarity Search, Dynamic Time Warping, Time Series Data
6	Emilio Pasquale Mancini, Massimiliano Rak, Umberto Villano	PerfCloud: GRID Services for Performance-Oriented Development of Cloud Computing Applications.	WETICE	2009	DBLP DOI BibTeX RDF
6	Krishna K. Nagar, Yan Zhang, Jason D. Bakos	An integrated reduction technique for a double precision accumulator.	HPRCTA@SC	2009	DBLP DOI BibTeX RDF	high-performance computing, reconfigurable computing, scientific computing, reduction, accumulator, IEEE 754, double precision
6	Farrukh Nadeem, Thomas Fahringer	Predicting the execution time of grid workflow applications through local learning.	SC	2009	DBLP DOI BibTeX RDF
6	Amir-Mohammad Rahmani, Masoud Daneshtalab, Ali Afzali-Kusha, Saeed Safari, Massoud Pedram	Forecasting-Based Dynamic Virtual Channels Allocation for Power Optimization of Network-on-Chips.	VLSI Design	2009	DBLP DOI BibTeX RDF
6	Mohammed Fellahi, Albert Cohen 0001	Software Pipelining in Nested Loops with Prolog-Epilog Merging.	HiPEAC	2009	DBLP DOI BibTeX RDF
6	Jianbo Ye, Qingbo Zhang, Guogang Huang	A multiuser diversity based time-frequency two dimensional adaptive resource allocation algorithm for WiMAX.	ICIS	2009	DBLP DOI BibTeX RDF	AMC, signaling overhead, time-frequency 2-D, resource allocation, WiMAX
6	Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, Jay Lepreau	Transparent checkpoints of closed distributed systems in Emulab.	EuroSys	2009	DBLP DOI BibTeX RDF	transparent checkpointing, distributed checkpointing, network testbed, emulab
6	Ryan D. Riley, Xuxian Jiang, Dongyan Xu	Multi-aspect profiling of kernel rootkit behavior.	EuroSys	2009	DBLP DOI BibTeX RDF	kernel rootkit, profiling, malware
6	Seung Woo Son 0001, Mahmut T. Kandemir, Mustafa Karaköy, Dhruva R. Chakrabarti	A compiler-directed data prefetching scheme for chip multiprocessors.	PPoPP	2009	DBLP DOI BibTeX RDF	compiler, chip multiprocessors, prefetching, helper thread
6	Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott	A comprehensive strategy for contention management in software transactional memory.	PPoPP	2009	DBLP DOI BibTeX RDF	condition synchronization, inevitability, priority, contention management, software transactional memory
6	Imam Machdi, Toshiyuki Amagasa, Hiroyuki Kitagawa	Executing parallel TwigStack algorithm on a multi-core system.	iiWAS	2009	DBLP DOI BibTeX RDF	XML data partition, parallel TwigStack, multi-core system
6	Ali G. Saidi, Nathan L. Binkert, Steven K. Reinhardt, Trevor N. Mudge	End-to-end performance forecasting: finding bottlenecks before they happen.	ISCA	2009	DBLP DOI BibTeX RDF	performance analysis, critical path analysis
6	Doe Hyun Yoon, Mattan Erez	Memory mapped ECC: low-cost error protection for last level caches.	ISCA	2009	DBLP DOI BibTeX RDF	reliability, error correction, soft error, last-level caches
6	Cosmin E. Oancea, Alan Mycroft, Tim Harris 0001	A lightweight in-place implementation for software thread-level speculation.	SPAA	2009	DBLP DOI BibTeX RDF	roll-back, thread-level speculation (tls)
6	Joseph A. Tucek, Weiwei Xiong, Yuanyuan Zhou 0001	Efficient online validation with delta execution.	ASPLOS	2009	DBLP DOI BibTeX RDF	delta execution, patch validation, testing
6	Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani	ISOLATOR: dynamically ensuring isolation in comcurrent programs.	ASPLOS	2009	DBLP DOI BibTeX RDF	concurreny, isolation, memory protection
6	Aayush Gupta, Youngjae Kim 0001, Bhuvan Urgaonkar	DFTL: a flash translation layer employing demand-based selective caching of page-level address mappings.	ASPLOS	2009	DBLP DOI BibTeX RDF	flash management, storage system, flash translation layer
6	Pablo Montesinos, Matthew Hicks, Samuel T. King, Josep Torrellas	Capo: a software-hardware interface for practical deterministic multiprocessor replay.	ASPLOS	2009	DBLP DOI BibTeX RDF	capo, capoone, replay sphere, deterministic replay