16725 search results - page 3086 / 3345 » Engineering Software Correctness |
138
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we initiate the study of designing approximation algorithms for FaultTolerant Group-Steiner (FTGS) problems. The motivation is to protect the well-studied group-Ste...
162
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The concept of artificial evolution has been applied to numerous real world applications in different domains. In this paper, we use this concept in the domain of virology to ev...
146
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
122
click to vote
SAMOS
2009
Springer
15 years 10 months ago
2009
Springer
Current generation embedded applications demand the computation engine to offer high performance similar to custom hardware circuits while preserving the flexibility of software s...
121
click to vote
COMPGEOM
2009
ACM
15 years 10 months ago
2009
ACM
We describe a new implementation of the well-known incremental algorithm for constructing Delaunay triangulations in any dimension. Our implementation follows the exact computing ...