164 search results - page 11 / 33 » Primitives for Contract-based Synchronization |
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
92
Voted
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
The fact that graphics processors (GPUs) are today’s most powerful computational hardware for the dollar has motivated researchers to utilize the ubiquitous and powerful GPUs fo...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
80
Voted
SOSP
2007
ACM
15 years 7 months ago
2007
ACM
TxLinux is a variant of Linux that is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the sc...
125
click to vote
HOTOS
2007
IEEE
15 years 2 months ago
2007
IEEE
Optimistic synchronization allows concurrent execution of critical sections while performing dynamic conflict detection and recovery. Optimistic synchronization will increase perf...