2468 search results - page 126 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
109
Voted
DSD
2008
IEEE
15 years 10 months ago
2008
IEEE
Systems on chip (SoC) have much in common with traditional (networked) distributed systems in that they consist of largely independent components with dedicated communication inte...
121
Voted
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
115
Voted
FPL
2008
Springer
15 years 5 months ago
2008
Springer
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
127
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Once quantum computers reach maturity most of today's traditional cryptographic schemes based on RSA or discrete logarithms become vulnerable to quantum-based attacks. Hence, ...
172
click to vote
ATC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...