570 search results - page 44 / 114 » concurrency 2006 |
161
click to vote
DATE
2006
IEEE
16 years 2 days ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
131
click to vote
CDES
2006
15 years 7 months ago
2006
- This paper proposes a new type of processor architecture using a new program driving method which makes it possible for more programs to run in a single kernel processor concurre...
145
click to vote
NCA
2006
IEEE
16 years 22 hour ago
2006
IEEE
The paper presents a primary-backup protocol to manage replicated in-memory database systems (IMDBs). The protocol exploits two features of IMDBs: coarse-grain concurrency control...
181
click to vote
ACL2
2006
ACM
15 years 12 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
149
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...