8 search results - page 1 / 2 » A Compositional Proof of a Real-Time Mutual Exclusion Protoc... |
TAPSOFT
1997
Springer
13 years 11 months ago
1997
Springer
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
SRDS
2006
IEEE
14 years 1 months ago
2006
IEEE
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
CAV
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...