1054 search results - page 170 / 211 » Translation Validation of System Abstractions |
120
click to vote
TOOLS
2008
IEEE
16 years 12 days ago
2008
IEEE
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...
156
click to vote
VTC
2007
IEEE
16 years 9 days ago
2007
IEEE
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...
143
click to vote
ISQED
2006
IEEE
16 years 1 days ago
2006
IEEE
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...
146
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...
155
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
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...