420 search results - page 54 / 84 » A Small Test Generator for Large Designs |
APCCM
2008
13 years 9 months ago
2008
We identify established tableaux techniques as an invaluable tool for semantic knowledge acquisition in the design process of relational databases. Sample databases allow users an...
ICPADS
2002
IEEE
14 years 17 days ago
2002
IEEE
Network emulation systems are widely used to explore the behavior of network protocols and to test and evaluate protocol implementations and applications. The major problem of net...
IOT
2010
13 years 5 months ago
2010
Persuasive energy monitoring technology has the potential to inspire sustainable energy lifestyles within the home. However, to effect positive ecological behaviour change, a more ...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Today’s computational science demands have resulted in ever larger parallel computers, and storage systems have grown to match these demands. Parallel file systems us...
BMCBI
2010
13 years 7 months ago
2010
Background: Bisulfite sequencing using next generation sequencers yields genome-wide measurements of DNA methylation at single nucleotide resolution. Traditional aligners are not ...