7092 search results - page 314 / 1419 » Parallelizing constraint programs |
119
click to vote
CPAIOR
2007
Springer
15 years 8 months ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
130
Voted
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...
146
Voted
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
131
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
104
Voted
ER
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We discuss the existence of matrix representations for generalised and minimum participation constraints which are frequently used in database design and conceptual model...