Sciweavers

7557 search results - page 210 / 1512
» Constraints as a design pattern
Sort
View
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
16 years 7 days ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
CIDR
2009
132views Algorithms» more  CIDR 2009»
15 years 7 months ago
uFLIP: Understanding Flash IO Patterns
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before we can answer t...
Luc Bouganim, Björn Þór Jó...
COORDINATION
2004
Springer
16 years 16 hour ago
A Component-Based Parallel Constraint Solver
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
Peter Zoeteweij, Farhad Arbab
PLILP
1994
Springer
15 years 10 months ago
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
Philippe Codognet, Daniel Diaz
IJCAI
1989
15 years 7 months ago
Constraint Satisfaction with Delayed Evaluation
This paper describes the design and implementation of a constraint satisfaction system that uses delayed evaluation techniques to provide greater representational power and to avo...
Monte Zweben, Megan Eskey