8109 search results - page 1259 / 1622 » A Model of Component-Based Programming |
147
Voted
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
The Metaverse project aims to develop technology for low-cost, high-resolution networked immersive display environments that can be used for distributed collaboration, exploration...
149
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...
142
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
153
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
110
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...