7557 search results - page 456 / 1512 » Constraints as a design pattern |
212
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
144
click to vote
DEXA
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
218
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
205
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
A simple extension of the critical path method is presented which allows more accurate optimization of circuits with level-sensitive latches. The extended formulation provides a s...
202
click to vote
APPML
2006
15 years 7 months ago
2006
In this work we extend results from the literature on H design with pole placement constraints to the case of generalized state space models, for both continuous-time and discrete...