Sciweavers

4426 search results - page 260 / 886
» Concurrent Constraint Programming
Sort
View
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 11 months ago
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
Daniel Baudisch, Jens Brandt, Klaus Schneider
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 11 months ago
Towards Programming Tools for Robots that Integrate Probabilistic Computation and Learning
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
Sebastian Thrun
COMPSAC
1997
IEEE
15 years 10 months ago
Task.o object modeling approach for robot workcell programming
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae
POPL
1997
ACM
15 years 10 months ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus
IFIP
2010
Springer
15 years 1 months ago
Dependency-Driven Distribution of Synchronous Programs
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
Daniel Baudisch, Jens Brandt, Klaus Schneider