Sciweavers

3387 search results - page 118 / 678
» Model-Checking for Real-Time Systems
Sort
View
CVPR
2000
IEEE
16 years 4 months ago
A Real Time System for Robust 3D Voxel Reconstruction of Human Motions
German K. M. Cheung, Takeo Kanade, Jean-Yves Bougu...
81
Voted
ICCAD
2001
IEEE
80views Hardware» more  ICCAD 2001»
15 years 11 months ago
Efficient Performance Estimation for General Real-Time Task Systems
Hongchao (Stephanie) Liu, Xiaobo Hu
72
Voted
CSE
2009
IEEE
15 years 9 months ago
Swift Mode Changes in Memory Constrained Real-Time Systems
Mike Holenderski, Reinder J. Bril, Johan J. Lukkie...
CBSE
2009
Springer
15 years 9 months ago
Component-Based Real-Time Operating System for Embedded Applications
Frédéric Loiret, Juan Navas, Jean-Ph...