Sciweavers

3507 search results - page 42 / 702
» Specialized execution environments
Sort
View
LOPSTR
2009
Springer
14 years 4 months ago
Towards Just-In-Time Partial Evaluation of Prolog
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
Carl Friedrich Bolz, Michael Leuschel, Armin Rigo
EUROSYS
2009
ACM
14 years 7 months ago
Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
Babak Salamat, Todd Jackson, Andreas Gal, Michael ...
AIPS
2008
14 years 11 days ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...
AROBOTS
1998
100views more  AROBOTS 1998»
13 years 9 months ago
Interleaving Planning and Robot Execution for Asynchronous User Requests
Rogue is an architecture built on a real robot which provides algorithms for the integration of highlevel planning, low-level robotic execution, and learning. Rogue addresses succ...
Karen Zita Haigh, Manuela M. Veloso
ATAL
2004
Springer
14 years 3 months ago
SimEd: Simulating Education as a Multi Agent System
This paper describes our efforts in creating SimEd, a simulation of the education system. The longterm aim of this work is to be able to model the types of interactions and interp...
Elizabeth Sklar, Mathew Davies, Min San Tan Co