272 search results - page 32 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
154
click to vote
IPPS
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
138
click to vote
JCP
2006
15 years 3 months ago
2006
Trust models provide a framework to create and manage trust relationships among the different entities of a Public Key Infrastructure (PKI). These trust relationships are verified ...
129
click to vote
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
Aggregation refers to a set of functions that provide global information about a distributed system. These functions operate on numeric values distributed over the system and can ...
136
click to vote
WSC
2008
15 years 5 months ago
2008
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
150
click to vote
TPDS
2008
15 years 3 months ago
2008
We study efficient interference-aware joint routing and TDMA link scheduling for a multihop wireless network to maximize its throughput. Efficient link scheduling can greatly reduc...