16568 search results - page 3052 / 3314 » Structured Data on the Web |
115
Voted
DAC
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
139
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
144
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simplycomposed skeleton program often l...
138
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
172
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Searching in metric spaces is a very active field since it offers methods for indexing and searching by similarity in collections of unstructured data. These methods sele...