373 search results - page 44 / 75 » Synthesis of Trigger Properties |
ICCAD
2007
IEEE
14 years 1 months ago
2007
IEEE
Due to the recent advances in microfluidics, digital microfluidic biochips are expected to revolutionize laboratory procedures. One critical problem for biochip synthesis is the dr...
GCB
2006
Springer
14 years 1 months ago
2006
Springer
Abstract: The production of commercial DNA microarrays is based on a light-directed chemical synthesis driven by a set of masks or micromirror arrays. Because of the natural proper...
GPCE
2008
Springer
13 years 11 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
A computational composite is a material in which computations contribute to the properties of the material through their capability to control transitions between states in the oth...