11112 search results - page 215 / 2223 » Computing Stuttering Simulations |
127
click to vote
DSN
2009
IEEE
15 years 9 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
112
Voted
ACSC
2008
IEEE
15 years 9 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
143
Voted
WCAE
2006
ACM
15 years 8 months ago
2006
ACM
Two of the most important design issues for modern processors are power and performance. It is important for students in computer organization classes to understand the tradeoff b...
136
Voted
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
The simulation of large grids requires the generation of grid instances and an approximation of grid components’ behaviour. To generate grid instances, this paper outlines a set...
123
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...