Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
177,180
Calculating probabilities of real-time executions
- In the 5 th International Workshop on Formal Approaches to Testing of Software
, 2005
"... ..."
Towards real-time execution of motion tasks
, 1993
"... The goal of the research described in this paper is to build robotic systems that can execute motion tasks in real time. We present twoideas towards this goal: a real-time path planner for static three-dimensional con guration spaces and a new framework for the integration of planning and control. T ..."
Abstract
-
Cited by 17 (2 self)
- Add to MetaCart
The goal of the research described in this paper is to build robotic systems that can execute motion tasks in real time. We present twoideas towards this goal: a real-time path planner for static three-dimensional con guration spaces and a new framework for the integration of planning and control
Real-Time Execution Control for Autonomous Systems
- In Proceedings of the 2nd European Congress ERTS, Embedded Real Time Software
, 2004
"... There is an increasing need for advanced autonomy in complex embedded real-time systems such as robots, satellites, or UAVs. Still, the growing complexity of the decision capabilities of these systems raises a major problem: how to prove that the system is not going to end in a dangerous state (for ..."
Abstract
-
Cited by 8 (1 self)
- Add to MetaCart
There is an increasing need for advanced autonomy in complex embedded real-time systems such as robots, satellites, or UAVs. Still, the growing complexity of the decision capabilities of these systems raises a major problem: how to prove that the system is not going to end in a dangerous state (for
Building a Plan with Real-Time Execution Guarantees
- in ‘AAAI-96 Workshop on Structural Issues in Planning and Temporal Reasoning
, 1996
"... The degree to which a planning system succeeds depends on its ability to meet critical deadlines as well as the correctness and completeness of its models which describe events and actions that change the world state. It is often unrealistic to expect either unlimited execution time or perfect model ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
planner with a separate real-time system so that plans are built, scheduled, and then executed with real-time guarantees. Specifically, we discuss our recent addition of a probabilistic model to help the planner prioritize states for expansion, and present important classes of "
Real Time Execution Of Optimal Edge Detectors On Risc And Dsp Processors
, 1998
"... This paper presents the real time implementations of the CannyDeriche optimal edge detectors on RISC and DSP processors. For each type of architecture, the most leading optimization techniques are described. A comparison is then made between RISC and DSP processing speeds. 1. INTRODUCTION Cann ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
) to achieve the real time execution of these detectors. On the other hand, the still increasing performance of RISC and DSP calls into question the need for a dedicated architecture. This paper shows that crafty software implementation of CannyDeriche edge detectors may achieve real time execution on state
REAL-TIME EXECUTING SOURCE LOCATION SYSTEM APPLICABLE TO ANISOTROPIC THIN STRUCTURES
"... In this study, we developed a real-time executing source location system for anisotropic thin structures such as CFRP (Carbon Fiber Reinforced Plastics) tanks. The system consists of AE sensors, an A/D converter on a PC and a computer with proprietary software. We suggest two algorithms to realize t ..."
Abstract
- Add to MetaCart
In this study, we developed a real-time executing source location system for anisotropic thin structures such as CFRP (Carbon Fiber Reinforced Plastics) tanks. The system consists of AE sensors, an A/D converter on a PC and a computer with proprietary software. We suggest two algorithms to realize
Multi-Epoch Scheduling Within the Real-Time Execution Performance Agent Framework
- IEEE Real-Time Systems Symposium
, 2000
"... In earlier work, we have described the Real-Time Execution Performance Agent (RT EPA) which accommodates mixed hard and soft real-time processing with measurable reliability by providing a confidence-based scheduling and execution fault handling framework. Based on experience with the RT EPA with a ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
In earlier work, we have described the Real-Time Execution Performance Agent (RT EPA) which accommodates mixed hard and soft real-time processing with measurable reliability by providing a confidence-based scheduling and execution fault handling framework. Based on experience with the RT EPA with a
A Real-Time Execution Semantics for Uml Activity Diagrams
- PROC. 4 TH INTL. CONF. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE’01), NUMBER 2029 IN LNCS
, 2001
"... We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some tran ..."
Abstract
-
Cited by 25 (7 self)
- Add to MetaCart
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some
XTRec: Secure Real-time Execution Trace Recording on Commodity Platforms
"... We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity of the recorded execution trace. We implement XTRec on the AMD platform running the Windows OS. The only software compone ..."
Abstract
-
Cited by 13 (5 self)
- Add to MetaCart
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity of the recorded execution trace. We implement XTRec on the AMD platform running the Windows OS. The only software
Results 1 - 10
of
177,180
