Search Sciweavers | Sciweavers

3387 search results - page 118 / 678

» Model-Checking for Real-Time Systems

122

click to vote

CVPR
2000
IEEE

135views Computer Vision» more CVPR 2000»

A Real Time System for Robust 3D Voxel Reconstruction of Human Motions

16 years 8 months ago

Download www.ri.cmu.edu

German K. M. Cheung, Takeo Kanade, Jean-Yves Bougu...

claim paper

Read More »

117

click to vote

ICCAD
2001
IEEE

80views Hardware» more ICCAD 2001»

Efficient Performance Estimation for General Real-Time Task Systems

16 years 3 months ago

Download www.nd.edu

Hongchao (Stephanie) Liu, Xiaobo Hu

claim paper

Read More »

115

click to vote

CSE
2009
IEEE

113views Theoretical Computer Science» more CSE 2009»

Swift Mode Changes in Memory Constrained Real-Time Systems

16 years 1 months ago

Download www.win.tue.nl

Mike Holenderski, Reinder J. Bril, Johan J. Lukkie...

claim paper

Read More »

137

click to vote

CBSE
2009
Springer

123views Software Engineering» more CBSE 2009»

Component-Based Real-Time Operating System for Embedded Applications

16 years 29 days ago

Download d3s.mff.cuni.cz

Frédéric Loiret, Juan Navas, Jean-Ph...

claim paper

Read More »

153

click to vote

QOSA
2009
Springer

96views Software Engineering» more QOSA 2009»

Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers