4722 search results - page 439 / 945 » Encoding Program Executions |
183
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Transactional memory (TM) is a promising synchronization mechanism for the next generation of multicore processors. Best-effort Hardware Transactional Memory (HTM) designs, such a...
176
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
147
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. The extension consists of three abstractions: MultiEvent...
170
click to vote
HPCA
2008
IEEE
16 years 6 months ago
2008
IEEE
Dynamic binary translation (DBT) is a runtime instrumentation technique commonly used to support profiling, optimization, secure execution, and bug detection tools for application...
162
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...