Sciweavers

3307 search results - page 12 / 662
» The meaning of concurrent programs
Sort
View
137
Voted
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 9 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
PLDI
1990
ACM
15 years 9 months ago
Task Granularity Analysis in Logic Programs
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegi...
130
Voted
ISORC
2003
IEEE
15 years 10 months ago
Basic Program Structures for Avoiding Priority Inversions
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
K. H. Kim
117
Voted
ICFP
2006
ACM
16 years 5 months ago
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
PPDP
2007
Springer
15 years 11 months ago
Unfolding in CHR
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara...