4426 search results - page 188 / 886 » Concurrent Constraint Programming |
168
click to vote
HICSS
1994
IEEE
15 years 10 months ago
1994
IEEE
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
168
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
137
click to vote
CDES
2006
15 years 7 months ago
2006
- This paper proposes a new type of processor architecture using a new program driving method which makes it possible for more programs to run in a single kernel processor concurre...
168
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
185
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...