770 search results - page 108 / 154 » Toward an Optimal Redundancy Strategy for Distributed Comput... |
129
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
119
Voted
ISVC
2007
Springer
15 years 9 months ago
2007
Springer
We present a method to speed up the computation of a high-quality data-dependent triangulation approximating an image using simulated annealing by probability distributions guided ...
166
Voted
WCNC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Dynamic spectrum access (DSA) aims to improve spectrum efficiency via spectrum sensing and optimal spectrum access. An essential component in DSA is the joint design of sensing...
146
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
128
Voted
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...