Sciweavers

1472 search results - page 126 / 295
» Designing digital video systems: modeling and scheduling
Sort
View
GLVLSI
2007
IEEE
141views VLSI» more  GLVLSI 2007»
15 years 10 months ago
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
ICC
2009
IEEE
108views Communications» more  ICC 2009»
16 years 1 months ago
Spatial and Temporal Packet Recovery Schemes for DVB-H Systems through IP-Relay Wireless Networks
—The DVB-H standard has been defined to provide digital video broadcast to mobile handheld devices. However, without a request channel, a handheld device may encounter data loss...
Wen-Hsin Yang, You-Chiun Wang, Yu-Chee Tseng, Bao-...
TASE
2009
IEEE
16 years 1 months ago
Environmental Simulation of Real-Time Systems with Nested Interrupts
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
Guoqiang Li, Shoji Yuen, Masakazu Adachi
PADL
2004
Springer
15 years 11 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
MJ
2006
89views more  MJ 2006»
15 years 6 months ago
RTDT: A static QoS manager, RT scheduling, HW/SW partitioning CAD tool
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
Hedi Tmar, Jean-Philippe Diguet, Abdenour Azzedine...