1179 search results - page 136 / 236 » Programming in Hybrid Constraint Languages |
161
Voted
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
136
Voted
ECOWS
2009
Springer
15 years 10 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
103
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
105
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
112
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...