Sciweavers

907 search results - page 37 / 182
» Monitoring of Real-Time Properties
Sort
View
NIPS
1994
13 years 9 months ago
Real-Time Control of a Tokamak Plasma Using Neural Networks
In this paper we present results from the first use of neural networks for real-time control of the high temperature plasma in a tokamak fusion experiment. The tokamak is currentl...
Christopher M. Bishop
DEDS
2010
88views more  DEDS 2010»
13 years 8 months ago
Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
Abstract-- The problem of optimally controlling the processing rate of tasks in Discrete Event Systems (DES) with hard real-time constraints has been solved in [9] under the assump...
Jianfeng Mao, Christos G. Cassandras
JOT
2010
96views more  JOT 2010»
13 years 6 months ago
UML Profiles for Modeling Real-Time Communication Protocols
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
Barath Kumar, Jürgen Jasperneite
ICPR
2002
IEEE
14 years 9 months ago
Real Time 3D Face Pose Discrimination Based On Active IR Illumination
ct expressions, and different head orientations. In this paper, we introduce a new approach for realtime 3D face pose discrimination based on active IR illumination from a monocula...
Qiang Ji, Xiaojie Yang
TACAS
2010
Springer
241views Algorithms» more  TACAS 2010»
14 years 2 months ago
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
Matthieu Moy, Karine Altisen