1831 search results - page 36 / 367 » Time Constraints in Workflow Systems |
140
Voted
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
111
Voted
TPLP
2010
15 years 1 months ago
2010
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
122
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
110
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
126
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...