5570 search results - page 369 / 1114 » Applications of Fair Testing |
198
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The analysis of Inter-Alu PCR patterns obtained from human genomic DNA samples is a promising technique for a simultaneous analysis of many genomic loci flanked by Alu...
182
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
157
click to vote
RTS
2002
15 years 6 months ago
2002
In real-time computing systems, timing constraints imposed on application tasks are typically guaranteed off line using schedulability tests based on
166
click to vote
JPDC
2010
15 years 5 months ago
2010
Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradig...
202
click to vote
FGCS
2007
15 years 6 months ago
2007
One of the topics of paramount importance in the development of Grid middleware is the impact of faults, since their probability of occurrence in a Grid infrastructure and in larg...