Sciweavers

5239 search results - page 480 / 1048
» Model-Integrated Embedded Systems
Sort
View
207
Voted
PASTE
2004
ACM
16 years 1 months ago
Validation of assembler programs for DSPs: a static analyzer
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...
Matthieu Martel
RTAS
2002
IEEE
16 years 17 days ago
Minimizing CAN Response-Time Jitter by Message Manipulation
Delay variations (jitter) in computations and communications cause degradation of performance in control applications. There are many sources of jitter, including variations in ex...
Thomas Nolte, Hans Hansson, Christer Norström
186
Voted
ECRTS
2000
IEEE
16 years 2 days ago
Worst-case execution times analysis of MPEG-2 decoding
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...
Peter Altenbernd, Lars-Olof Burchard, Friedhelm St...
218
Voted
RTAS
2000
IEEE
16 years 1 days ago
Dynamic Class-Based Queue Management for Scalable Media Servers
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...
Aaron Striegel, G. Manimaran
193
Voted
ECRTS
1999
IEEE
15 years 12 months ago
Timed automaton models for simple programmable logic controllers
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...
Angelika Mader, Hanno Wupper