Sciweavers

8022 search results - page 4 / 1605
» Predictability in Critical Systems
Sort
View
ADAEUROPE
2005
Springer
14 years 28 days ago
GNAT Pro for On-board Mission-Critical Space Applications
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
José F. Ruiz
TITB
2010
163views Education» more  TITB 2010»
13 years 2 months ago
Absolute electrical impedance tomography (aEIT) guided ventilation therapy in critical care patients: simulations and future tre
Thoracic electrical impedance tomography (EIT) is a noninvasive, radiation-free monitoring technique whose aim is to reconstruct a cross-sectional image of the internal spatial dis...
Mouloud Azzedine Denaï, Mahdi Mahfouf, Suzani...
RTAS
1997
IEEE
13 years 11 months ago
OS-Controlled Cache Predictability for Real-Time Systems
3rd IEEE Real-time Technology and Applications Symposium (RTAS), June 1997 in Montreal, Canada Cache-partitioning techniques have been invented to make modern processors with an e...
Jochen Liedtke, Hermann Härtig, Michael Hohmu...
AAAI
1994
13 years 8 months ago
Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
Jeff Rickel, Bruce W. Porter
ISMB
1993
13 years 8 months ago
Prediction of Primate Splice Junction Gene Sequences with a Cooperative Knowledge Acquisition System
Wepropose a cooperative conceptual modelling environment in which two agents interact : the machineand the humanexpert. Theformer is able to extract knowledge from data using a sy...
Engelbert Mephu Nguifo, Jean Sallantin