980 search results - page 117 / 196 » A Framework for Distributing Real-Time Functions |
129
click to vote
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
142
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper presents a probabilistic algorithm for segmenting and recognizing text embedded in video sequences. The algorithm approximates the posterior distribution of segmentatio...
144
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
119
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
In video-on-demand (VOD) applications, it is desirable to provide the user with the video-cassette-recorder-like (VCR) capabilities such as fast-forwarding a video or jumping to a...
123
click to vote
ISVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
The clock distribution and generation circuitry is known to consume more than a quarter of the power budget of existing microprocessors. A previously derived clock energy model is...