252 search results - page 20 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
124
click to vote
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
125
click to vote
IEEEPACT
2009
IEEE
14 years 10 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
88
Voted
CSCW
2000
ACM
15 years 4 months ago
2000
ACM
In asynchronous collaborative applications, users usually collaborate accessing and modifying shared information independently. We have designed and implemented a replicated objec...
100
Voted
SERP
2004
15 years 1 months ago
2004
In distributed systems, just as in conventional software, it is often necessary to locate the software components that implement a particular user feature. Several dynamic analysi...
100
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variab...