2663 search results - page 203 / 533 » How to Choose a Timing Model |
155
Voted
WLP
2004
Springer
15 years 10 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
139
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
188
click to vote
SPLC
2007
15 years 5 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
IJON
2007
15 years 4 months ago
2007
Optical imaging with voltage-sensitive dyes (VSD imaging) can record neural activity over an area of several square centimeters with high spatiotemporal resolution. The relative c...
163
Voted
NFM
2011
14 years 11 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...