1180 search results - page 94 / 236 » Alternating Simulation and IOCO |
140
click to vote
ISCA
1993
IEEE
15 years 10 months ago
1993
IEEE
Parity encoded redundant disk arrays provide highly reliable, cost effective secondary storage with high performance for read accesses and large write accesses. Their performance ...
141
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Calibrating the parameters of an evolutionary algorithm (EA) is a laborious task. The highly stochastic nature of an EA typically leads to a high variance of the measurements. The ...
193
click to vote
ALGOSENSORS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
175
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
172
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...