Sciweavers

5055 search results - page 161 / 1011
» Relative Timing
Sort
View
EUROMICRO
2004
IEEE
15 years 10 months ago
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
Hans Hansson, Mikael Åkerholm, Ivica Crnkovi...
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 10 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
FPL
2006
Springer
112views Hardware» more  FPL 2006»
15 years 10 months ago
Real-Time Video Pixel Matching
We present an efficient implementation of a state of the art algorithm PixelMatch for matching all pixels within consecutive video frames. The method is of practical interest for ...
Jean-Baptiste Note, Mark Shand, Jean Vuillemin
TRECVID
2008
15 years 7 months ago
The Orange Labs Real Time Video Copy Detection System - TrecVid 2008 Results
In this paper, we describe the content-based video copy detection system developed at Orange Labs. We also present the evaluation results of the TrecVid 2008 copy detection evalua...
Nicolas Gengembre, Sid-Ahmed Berrani
WSCG
2004
160views more  WSCG 2004»
15 years 7 months ago
Real-Time Rendering of 3D Magic Lenses having arbitrary convex Shapes
We present a real-time algorithm for rendering volumetric 3D Magic LensesTM having arbitrary convex shapes. During fragment processing the algorithm performs a second depth test u...
Timo Ropinski, Klaus Hinrichs