1540 search results - page 14 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
14 years 8 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
The recent advances in Image Based Rendering (IBR) has pioneered a new technology, free-view television, in which TVviewers select freely the viewing position and angle by the app...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...