2227 search results - page 126 / 446 » Reversibility and Models for Concurrency |
151
Voted
TSMC
1998
15 years 5 months ago
1998
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
138
click to vote
PPOPP
2005
ACM
15 years 11 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
145
click to vote
WDAG
2005
Springer
15 years 11 months ago
2005
Springer
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
273
click to vote
ICCI
1993
15 years 10 months ago
1993
Locking and timestamping are two popular approaches to concurrency control in databases systems. Although more than a dozen analytic performance studies of locking techniques have...
170
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...