Sciweavers

2811 search results - page 274 / 563
» Real-Time Component-Based Systems
Sort
View
125
Voted
FORMATS
2007
Springer
15 years 5 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
3DPVT
2004
IEEE
116views Visualization» more  3DPVT 2004»
15 years 4 months ago
Real-Time, Accurate Depth of Field using Anisotropic Diffusion and Programmable Graphics Cards
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...
Marcelo Bertalmío, Pere Fort, Daniel S&aacu...
143
Voted
DATE
2004
IEEE
143views Hardware» more  DATE 2004»
15 years 4 months ago
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications
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...
Claudio Pinello, Luca P. Carloni, Alberto L. Sangi...
112
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
Predicting Real-Time Properties of Component Assemblies: A Scenario-Simulation Approach
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...
Egor Bondarev, Johan Muskens, Peter H. N. de With,...
98
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
Towards Predicting Real-Time Properties of a Component Assembly
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...
Egor Bondarev, Peter H. N. de With, Michel R. V. C...