311 search results - page 14 / 63 » DisCComp - A Formal Model for Distributed Concurrent Compone... |
124
Voted
FORTE
2007
15 years 3 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
125
Voted
MSO
2003
15 years 3 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
156
Voted
FORTE
1994
15 years 3 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
144
click to vote
IEEEPACT
2009
IEEE
15 years 4 days 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...
138
Voted
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...