Sciweavers

3307 search results - page 12 / 662
» The meaning of concurrent programs
Sort
View
90
Voted
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 5 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
93
Voted
PLDI
1990
ACM
15 years 4 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...
ISORC
2003
IEEE
15 years 6 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
73
Voted
ICFP
2006
ACM
16 years 19 days ago
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
98
Voted
PPDP
2007
Springer
15 years 6 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...