65 search results - page 7 / 13 » When does a correct mutual exclusion algorithm guarantee mut... |
FAST
2009
13 years 5 months ago
2009
Clustered applications in storage area networks (SANs), widely adopted in enterprise datacenters, have traditionally relied on distributed locking protocols to coordinate concurre...
CCGRID
2007
IEEE
14 years 1 months ago
2007
IEEE
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
ENTCS
2002
13 years 7 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
ICDCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Timing failures refer to a situation where the environment in which a system operates does not behave as expected regarding the timing assumptions, that is, the timing constraints...