4604 search results - page 29 / 921 » Concurrency in Synchronous Systems |
131
click to vote
SOSP
2007
ACM
16 years 12 days 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...
123
Voted
ENTCS
2007
15 years 3 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
138
Voted
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
140
Voted
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
106
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...