7456 search results - page 1090 / 1492 » Parallelism in Logic Programming |
167
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
178
click to vote
ECOOP
2003
Springer
15 years 12 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
187
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
198
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
163
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...