9110 search results - page 371 / 1822 » Formally-Based Design Evaluation |
185
click to vote
LADC
2007
Springer
16 years 25 days ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
154
click to vote
EWC
2007
15 years 6 months ago
2007
This paper describes and exercises a new design paradigm for cast components. The methodology integrates foundry process simulation, non-destructive evaluation (nde), stress analys...
218
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
163
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Rapid growth in the scientific literature makes it increasingly difficult for scientists to keep abreast of findings outside their own narrowing fields of expertise. To help biome...
169
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Multiplex PCR, defined as the simultaneous amplification of multiple regions of a DNA template or multiple DNA templates using more than one primer set (comprising a f...