1472 search results - page 116 / 295 » Designing digital video systems: modeling and scheduling |
159
click to vote
MSWIM
2005
ACM
15 years 12 months ago
2005
ACM
One of the central problems in video transmission over lossy channels is the choice of source and channel coding rates to allocate the available transmission rate optimally. In th...
213
click to vote
ECMDAFA
2005
Springer
15 years 12 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
155
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
166
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
177
click to vote
FDL
2006
IEEE
16 years 14 days ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...