Sciweavers

1054 search results - page 170 / 211
» Translation Validation of System Abstractions
Sort
View
TOOLS
2008
IEEE
16 years 12 days ago
The Meta in Meta-object Architectures
Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective f...
Marcus Denker, Mathieu Suen, Stéphane Ducas...
VTC
2007
IEEE
150views Communications» more  VTC 2007»
16 years 9 days ago
Analysis of Resource Reservation Aggregation in On-Board Networks
Abstract— The concept of providing mobile Internet connectivity for passengers in public transport vehicles, where users connect to a local network that attaches to the Internet v...
Muhammad Ali Malik, Lavy Libman, Salil S. Kanhere,...
ISQED
2006
IEEE
126views Hardware» more  ISQED 2006»
16 years 1 days ago
Accurate Thermal Analysis Considering Nonlinear Thermal Conductivity
The increase in packing density has led to a higher power density in the chip which in turn has led to an increase in temperature on the chip. Temperature affects reliability, per...
Anand Ramalingam, David Z. Pan, Frank Liu, Sani R....
DATE
2010
IEEE
145views Hardware» more  DATE 2010»
15 years 10 months ago
Energy-efficient real-time task scheduling with temperature-dependent leakage
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...
Chuan-Yue Yang, Jian-Jia Chen, Lothar Thiele, Tei-...
FROCOS
2007
Springer
15 years 10 months ago
Certification of Automated Termination Proofs
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
Evelyne Contejean, Pierre Courtieu, Julien Forest,...