Sciweavers

987 search results - page 103 / 198
» Implementing an untrusted operating system on trusted hardwa...
Sort
View
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
14 years 2 months ago
RTOS Modeling for System Level Design
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
Andreas Gerstlauer, Haobo Yu, Daniel Gajski
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
13 years 10 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
DATE
2009
IEEE
128views Hardware» more  DATE 2009»
14 years 3 months ago
Temperature-aware scheduler based on thermal behavior grouping in multicore systems
—Dynamic Thermal Management techniques have been widely accepted as a thermal solution for their low cost and simplicity. The techniques have been used to manage the heat dissipa...
Inchoon Yeo, Eun Jung Kim
DATE
2003
IEEE
109views Hardware» more  DATE 2003»
14 years 2 months ago
Run-Time Management of Logic Resources on Reconfigurable Systems
Dynamically reconfigurable systems based on partial and dynamically reconfigurable FPGAs may have their functionality partially modified at run-time without stopping the operation...
Manuel G. Gericota, Gustavo R. Alves, Miguel L. Si...
ICCAD
2007
IEEE
139views Hardware» more  ICCAD 2007»
14 years 3 months ago
Using functional independence conditions to optimize the performance of latency-insensitive systems
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
Cheng-Hong Li, Luca P. Carloni