3387 search results - page 242 / 678 » Model-Checking for Real-Time Systems |
196
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Increasing integrated circuit (IC) power densities and temperatures may hamper multiprocessor system-on-chip (MPSoC) use in hard real-time systems. This article formalizes the t...
206
click to vote
ECRTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...
195
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...
176
Voted
IWDW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we propose a practical real-time video watermarking scheme for downscaling attack. We embed watermark into an arbitrary size of a host video and extract it...
186
click to vote
APCCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— In noisy and reverberant environments, the problem of acoustic source localisation and tracking (ASLT) using an array of microphones presents a number of challenging difficult...