655 search results - page 97 / 131 » Coinduction in Concurrent Timed Systems |
HPDC
2008
IEEE
15 years 6 months 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...
116
click to vote
AC
2004
Springer
14 years 11 months ago
2004
Springer
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
- The intrinsic capability brought by each new technology node opens the way to a broad range of system integration options and continuously enables new applications to be integrat...
101
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
ICS
2009
Tsinghua U.
14 years 9 months ago
2009
Tsinghua U.
In the search for high performance, most transactional memory (TM) systems execute atomic blocks concurrently and must thus be prepared for data conflicts. The TM system must then...