462 search results - page 80 / 93 » Symbolic Bounded Synthesis |
123
click to vote
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
– Reducing power consumption through high-level synthesis has attracted a growing interest from researchers due to its large potential for power reduction. In this work we study ...
135
click to vote
ICDT
2010
ACM
15 years 6 months ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
135
Voted
DAC
2010
ACM
15 years 5 months ago
2010
ACM
As device size shrinks to the nanometer range, FPGAs are increasingly prone to manufacturing defects. We anticipate that the ability to tolerate multiple defects will be very impo...
120
click to vote
BMCBI
2006
2006
Analysis of optimal phenotypic space using elementary modes as applied to Corynebacterium glutamicum
15 years 1 months ago
Background: Quantification of the metabolic network of an organism offers insights into possible ways of developing mutant strain for better productivity of an extracellular metab...
124
click to vote
IFM
2009
Springer
15 years 8 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...