Sciweavers

748 search results - page 30 / 150
» Meeting real-time constraints using
Sort
View
RTSS
1998
IEEE
14 years 2 months ago
Symbolic Schedulability Analysis of Real-Time Systems
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Youn...
RAS
2007
186views more  RAS 2007»
13 years 9 months ago
Tracking-error model-based predictive control for mobile robots in real time
In this paper, a model-predictive trajectory-tracking control applied to a mobile robot is presented. Linearized tracking-error dynamics is used to predict future system behavior ...
Gregor Klancar, Igor Skrjanc
MICCAI
2003
Springer
14 years 11 months ago
Real-Time Synthesis of Bleeding for Virtual Hysteroscopy
In this paper we present a method for simulating bleeding in a virtual reality hysteroscopic simulator for surgical training. The simulated bleeding is required to be visually app...
János Zátonyi, Rupert Paget, G&aacut...
ISCA
2003
IEEE
169views Hardware» more  ISCA 2003»
14 years 3 months ago
Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
Aravindh Anantaraman, Kiran Seth, Kaustubh Patil, ...
ISORC
2003
IEEE
14 years 3 months ago
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
Anders Wall, Johan Andersson, Christer Norströ...