9210 search results - page 280 / 1842 » Analyzing Real-Time Systems |
3DPVT
2004
IEEE
15 years 4 months ago
2004
IEEE
Computer graphics cameras lack the finite Depth of Field (DOF) present in real world ones. This results in all objects being rendered sharp regardless of their depth, reducing the...
139
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
110
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
120
click to vote
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...