9067 search results - page 1500 / 1814 » Adaptive Model Checking |
171
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: We present a new approach to fault tolerance for High Performance Computing system. Our approach is based on a careful adaptation of the Algorithmic Based Fault Tolerance techniq...
213
click to vote
COGSCI
2006
15 years 7 months ago
2006
Wepresentaset-theoreticmodelofthementalrepresentationofclassicallyquantifiedsentences(AllP are Q, Some P are Q, Some P are not Q,and No P are Q). We take inclusion, exclusion, and...
187
click to vote
IJHR
2008
15 years 7 months ago
2008
Engineers have long used control systems utilizing models and feedback loops to control realworld systems. Limitations of model-based control led to a generation of intelligent co...
198
click to vote
IJIIDS
2008
15 years 7 months ago
2008
: Global Navigation Satellite Systems (GNSS) are often used to localise a receiver with respect to a given map. This association problem, also known as map-matching, is usually add...
242
click to vote
IJNM
2008
15 years 7 months ago
2008
Advance reservation of lightpaths in Grid environments is necessary to guarantee QoS and reliability. In this paper, we have evaluated and compared several algorithms for dynamic ...