7092 search results - page 991 / 1419 » Parallelizing constraint programs |
194
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
181
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
182
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Sensor networks can be viewed as large distributed databases, and SQL-like high-level declarative languages can be used for data and information retrieval. Energy constraints make ...
234
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
We consider a mobile sensor network monitoring a spatio-temporal field. Given limited caches at the sensor nodes, the goal is to develop a distributed cache management algorithm to...
199
click to vote
IJCAI
2003
15 years 8 months ago
2003
In [Jegou, 1993], a decomposition method has been introduced for improving search efficiency in the area of Constraint Satisfaction Problems. This method is based on properties of...