1920 search results - page 334 / 384 » The Range Constraint: Algorithms and Implementation |
105
click to vote
PTS
2008
14 years 11 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
FORTE
2004
14 years 11 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
DELOS
2000
14 years 11 months ago
2000
Similarity search in image database is commonly implemented as nearest-neighbor search in a feature space of the images. For that purpose, a large number of different features as ...
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
An evolutionary approach for the optimization of microarray coatings produced via sol-gel chemistry is presented. The aim of the methodology is to face the challenging aspects of t...
CCGRID
2008
IEEE
14 years 10 months ago
2008
IEEE
In this paper, we describe the design and implementation of two mechanisms for fault-tolerance and recovery for complex scientific workflows on computational grids. We present our ...