6020 search results - page 553 / 1204 » A New Approach to Model Counting |
179
click to vote
ISPD
2003
ACM
16 years 11 days ago
2003
ACM
Delay evaluation is always a crucial concern in the VLSI design and it becomes increasingly more critical in the nowadays deep-submicron technology. To obtain an accurate delay va...
194
click to vote
CPAIOR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
186
click to vote
AMC
2006
15 years 7 months ago
2006
Earlier work by Saha et al. rigorously derived a general probabilistic model for the PCR process that includes as a special case the Velikanov-Kapral model where all nucleotide re...
222
click to vote
ECBS
2009
IEEE
15 years 4 months ago
2009
IEEE
Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...
230
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...