3387 search results - page 259 / 678 » Model-Checking for Real-Time Systems |
200
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
213
click to vote
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Caches have become invaluable for higher-end architectures to hide, in part, the increasing gap between processor speed and memory access times. While the effect of caches on timi...
217
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
Strict control over the scheduling and execution of processor resources is essential for many fixed-priority real-time applications. To facilitate this common requirement, the Re...
212
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
Many parameter estimation problems admit divide and conquer or partitioning techniques in order to reduce a highdimensional task into several reduced-dimension problems. These tec...
215
Voted
ICCV
2001
IEEE
16 years 9 months ago
2001
IEEE
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...