5239 search results - page 480 / 1048 » Model-Integrated Embedded Systems |
201
click to vote
PASTE
2004
ACM
16 years 18 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
196
click to vote
RTAS
2002
IEEE
16 years 3 days ago
2002
IEEE
Delay variations (jitter) in computations and communications cause degradation of performance in control applications. There are many sources of jitter, including variations in ex...
174
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
This work presents the first worst-case execution times (WCET) analysis of MPEG-decoding. Solutions for two scenarios (Video-on-Demand (VoD), live) are presented, serving as exam...
205
click to vote
RTAS
2000
IEEE
15 years 11 months ago
2000
IEEE
Real-time media servers are becoming increasingly important due to the rapid transition of the Internet from text and graphics based applications to multimedia-driven environments...
179
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...