4491 search results - page 315 / 899 » Algorithm Engineering |
146
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
120
Voted
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Maintaining an asset with life-limited parts, e.g., a jet engine or an electric generator, may be costly. Certain costs, e.g., setup cost, can be shared if some parts of the asset ...
153
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
122
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
110
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents a method for finding a specification page on the web for a given object (e.g., "Titanic") and its class label (e.g., "film"). A specificati...