1179 search results - page 5 / 236 » Programming in Hybrid Constraint Languages |
PLDI
2000
ACM
13 years 12 months ago
2000
ACM
POPL
2000
ACM
13 years 12 months ago
2000
ACM
OOGRAPHICS
1995
13 years 11 months ago
1995
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
CP
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. The Quasigroup Completion Problem (QCP) is a very challenging benchmark among combinatorial problems, and the focus of much recent interest in the area of constraint prog...