Sciweavers

DATE
2004
IEEE
133views Hardware» more  DATE 2004»
14 years 12 days ago
Model-Based Specification and Execution of Embedded Real-Time Systems
Tim Schattkowsky, Wolfgang Müller 0003
DATE
2004
IEEE
177views Hardware» more  DATE 2004»
14 years 12 days ago
Adaptive Prefetching for Multimedia Applications in Embedded Systems
This paper presents a new and simple prefetching mechanism to improve the memory performance of multimedia applications. This method adapts the memory access mechanism to the acce...
Hassan Sbeyti, Smaïl Niar, Lieven Eeckhout
DATE
2004
IEEE
82views Hardware» more  DATE 2004»
14 years 12 days ago
Managing Don't Cares in Boolean Satisfiability
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler...
DATE
2004
IEEE
120views Hardware» more  DATE 2004»
14 years 12 days ago
Evaluation of SystemC Modelling of Reconfigurable Embedded Systems
This paper evaluates the use of pin and cycle accurate SystemC models for embedded system design exploration and early software development. The target system is MicroBlaze Vanill...
Tero Rissa, Adam Donlin, Wayne Luk
DATE
2004
IEEE
102views Hardware» more  DATE 2004»
14 years 12 days ago
High Security Smartcards
New consumer appliances such as PDA, Set Top Box, GSM/UMTS terminals enable an easy access to the internet and strongly contribute to the development of ecommerce and m-commerce s...
Marc Renaudin, G. Fraidy Bouesse, Ph. Proust, J. P...
DATE
2004
IEEE
145views Hardware» more  DATE 2004»
14 years 12 days ago
Hierarchical Adaptive Dynamic Power Management
Dynamic power management aims at extending battery life by switching devices to lower-power modes when there is a reduced demand for service. Static power management strategies can...
Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
DATE
2004
IEEE
173views Hardware» more  DATE 2004»
14 years 12 days ago
An Application of Parallel Discrete Event Simulation Algorithms to Mixed Domain System Simulation
We present our system-level co-simulation environment for mixed domain microsystems. The environment provides synchronization and cosimulation between the Chatoyant MOEMS (MicroEl...
D. K. Reed, Steven P. Levitan, J. Boles, Jose A. M...
DATE
2004
IEEE
79views Hardware» more  DATE 2004»
14 years 12 days ago
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, A...
DATE
2004
IEEE
142views Hardware» more  DATE 2004»
14 years 12 days ago
Eliminating False Positives in Crosstalk Noise Analysis
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...
Yajun Ran, Alex Kondratyev, Yosinori Watanabe, Mal...
DATE
2004
IEEE
175views Hardware» more  DATE 2004»
14 years 12 days ago
Breaking Instance-Independent Symmetries in Exact Graph Coloring
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Kare...