2468 search results - page 9 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
CONCUR
1995
Springer
15 years 1 months ago
1995
Springer
121
Voted
STTT
2010
14 years 8 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
90
Voted
PAMI
2007
14 years 9 months ago
2007
As biometric authentication systems become more prevalent, it is becoming increasingly important to evaluate their performance. The current paper introduces a novel statistical me...
ISSTA
2009
ACM
15 years 2 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
CAV
2009
Springer
15 years 2 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...