Sciweavers

3370 search results - page 391 / 674
» Correlation Embedding Analysis
Sort
View
110
Voted
ICFEM
2007
Springer
15 years 9 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
139
Voted
RTCSA
2006
IEEE
15 years 9 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»
15 years 9 months 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
112
Voted
ICDAR
2005
IEEE
15 years 9 months 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...
113
Voted
ICCS
2005
Springer
15 years 9 months 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