373 search results - page 33 / 75 » Automatic Generation of Symmetry-Breaking Constraints |
105
click to vote
JSA
1998
15 years 1 months ago
1998
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...
177
click to vote
VL
2010
IEEE
14 years 12 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
101
click to vote
GI
2001
Springer
15 years 6 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
102
Voted
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
We consider two scenarios of naming people in databases of news photos with captions: (i) finding faces of a single person, and (ii) assigning names to all faces. We combine an in...
104
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...