1920 search results - page 334 / 384 » The Range Constraint: Algorithms and Implementation |
157
click to vote
PTS
2008
15 years 5 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...
126
click to vote
FORTE
2004
15 years 5 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 ...
126
Voted
DELOS
2000
15 years 4 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 ...
145
Voted
CEC
2010
IEEE
15 years 4 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...
140
click to vote
CCGRID
2008
IEEE
15 years 3 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 ...