4166 search results - page 283 / 834 » Automating the constraining process |
130
click to vote
ASPLOS
2009
ACM
15 years 11 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
121
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
136
click to vote
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Minimal Switching Graph (MSG) is a graphical model for the constrained via minimization problem — a combinatorial optimization problem in integrated circuit design automation. F...
134
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
149
click to vote
CVBIA
2005
Springer
15 years 10 months ago
2005
Springer
We present a novel framework to exert topology control over a level set evolution. Level set methods offer several advantages over parametric active contours, in particular automat...