2493 search results - page 274 / 499 » Tool Support for Design by Contract |
84
Voted
IPPS
2005
IEEE
15 years 4 months ago
2005
IEEE
Basic Local Alignment Search Tool (BLAST) is a standard computer application that molecular biologists use to search for sequence similarity in genomic databases. This report desc...
78
Voted
EICS
2010
ACM
15 years 3 months ago
2010
ACM
Multi-user multimodal interactive systems involve multiple users that can use multiple interaction modalities. Although multi-user multimodal systems are becoming more prevalent (...
123
Voted
PLDI
2005
ACM
15 years 4 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
121
Voted
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
86
Voted
SPAA
1997
ACM
15 years 3 months ago
1997
ACM
Pipelining has been used in the design of many PRAM algorithms to reduce their asymptotic running time. Paul, Vishkin, and Wagener (PVW) used the approach in a parallel implementat...