4426 search results - page 155 / 886 » Concurrent Constraint Programming |
120
Voted
HYBRID
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
129
click to vote
ACL
2006
15 years 6 months ago
2006
The ability to compress sentences while preserving their grammaticality and most of their meaning has recently received much attention. Our work views sentence compression as an o...
138
click to vote
IEEEPACT
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
146
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...
130
Voted
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...