690 search results - page 77 / 138 » Testing Temporal Logic Properties in Distributed Systems |
97
Voted
MOBISYS
2006
ACM
16 years 4 days ago
2006
ACM
Deployments of wireless LANs consisting of hundreds of 802.11 access points with a large number of users have been reported in enterprises as well as college campuses. However, du...
131
click to vote
JAR
2000
15 years 10 days ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
104
Voted
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
112
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
118
click to vote
IEEEPACT
2006
IEEE
15 years 6 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....