373 search results - page 44 / 75 » Synthesis of Trigger Properties |
171
Voted
ICCAD
2007
IEEE
15 years 7 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...
132
click to vote
GCB
2006
Springer
15 years 7 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...
109
Voted
GPCE
2008
Springer
15 years 4 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...
111
click to vote
SIGSOFT
2010
ACM
15 years 1 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...
91
Voted
CHI
2007
ACM
16 years 3 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...