1724 search results - page 90 / 345 » Models for Concurrency |
CERA
2008
13 years 9 months ago
2008
er.sagepub.com/cgi/content/abstract/16/2/121 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
CERA
2006
13 years 9 months ago
2006
er.sagepub.com/cgi/content/abstract/14/4/283 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
PLDI
2004
ACM
14 years 2 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
ICCI
1993
14 years 1 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...
IANDC
2008
13 years 9 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...