4604 search results - page 685 / 921 » Concurrency in Synchronous Systems |
144
click to vote
FOSSACS
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
175
click to vote
HPDC
2008
IEEE
16 years 7 days ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...
154
Voted
IPPS
2008
IEEE
16 years 6 days ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
195
Voted
RTCSA
2008
IEEE
16 years 5 days ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
164
click to vote
ECRTS
2007
IEEE
16 years 4 days ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...