Sciweavers

3507 search results - page 458 / 702
» Specialized execution environments
Sort
View
ISSTA
2010
ACM
15 years 6 months ago
Robust non-intrusive record-replay with processor extraction
With the advent of increasingly larger parallel machines, debugging is becoming more and more challenging. In particular, applications at this scale tend to behave non-determinist...
Filippo Gioachin, Gengbin Zheng, Laxmikant V. Kal&...
157
Voted
AAI
2008
101views more  AAI 2008»
15 years 6 months ago
A Replanning Algorithm for Decision Theoretic Hierarchical Planning: Principles and Empirical Evaluation
In this paper, we present a replanning algorithm for a decision-theoretic hierarchical planner, illustrate the experimental methodology we designed to investigate its performance,...
Guido Boella, Rossana Damiano
AAMAS
2008
Springer
15 years 6 months ago
2APL: a practical agent programming language
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
Mehdi Dastani
AROBOTS
2010
111views more  AROBOTS 2010»
15 years 6 months ago
Elastic roadmaps - motion generation for autonomous mobile manipulation
The autonomous execution of mobile manipulation tasks in unstructured, dynamic environments requires the consideration of various motion constraints. The task itself imposes constr...
Yuandong Yang, Oliver Brock
CACM
2010
113views more  CACM 2010»
15 years 6 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken