Sciweavers

3370 search results - page 391 / 674
» Correlation Embedding Analysis
Sort
View
ICFEM
2007
Springer
16 years 1 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
RTCSA
2006
IEEE
16 years 1 months ago
Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez...
HICSS
2005
IEEE
135views Biometrics» more  HICSS 2005»
16 years 26 days ago
On Space Exploration And Human Error - A Paper on Reliability and Safety
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
David A. Maluf, Yuri Gawdiak, David G. Bell
ICDAR
2005
IEEE
16 years 26 days ago
Camera-based Degraded Character Segmentation into Individual Components
In this article we present a novel fully automatic character segmentation for camera-based images. This is a top-down approach inspired by the human visual system: the high level ...
Céline Mancas-Thillou, Matei Mancas, Bernar...
ICCS
2005
Springer
16 years 23 days ago
Multiscale Modelling of Bubbly Systems Using Wavelet-Based Mesh Adaptation
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
Tom Liu, Phil Schwarz