2468 search results - page 465 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
149
click to vote
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
127
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
128
click to vote
ICS
2010
Tsinghua U.
15 years 8 months ago
2010
Tsinghua U.
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...
111
click to vote
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
136
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...