2493 search results - page 274 / 499 » Tool Support for Design by Contract |
183
click to vote
IPPS
2005
IEEE
16 years 7 days 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...
162
click to vote
EICS
2010
ACM
15 years 11 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 (...
227
click to vote
PLDI
2005
ACM
16 years 6 days 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...
213
click to vote
EMSOFT
2004
Springer
16 years 1 days 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...
174
click to vote
SPAA
1997
ACM
15 years 10 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...