Sciweavers

2036 search results - page 99 / 408
» Analysis of the XC6000 Architecture for Embedded System Desi...
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 6 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
DAC
2001
ACM
16 years 7 months ago
Battery-Aware Static Scheduling for Distributed Real-Time Embedded Systems
This paper addresses battery-aware static scheduling in batterypowered distributed real-time embedded systems. As suggested by previous work, reducing the discharge current level ...
Jiong Luo, Niraj K. Jha
CORR
2006
Springer
116views Education» more  CORR 2006»
15 years 6 months ago
Memory Aware High-Level Synthesis for Embedded Systems
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
Gwenolé Corre, Eric Senn, Nathalie Julien, ...
EUC
2005
Springer
15 years 11 months ago
On Tools for Modeling High-Performance Embedded Systems
Abstract. Most of the new embedded systems require high performance processors at low power. To cater to these needs, most semiconductor companies are designing multi-core processo...
Anilkumar Nambiar, Vipin Chaudhary
TEI
2010
ACM
132views Hardware» more  TEI 2010»
16 years 1 months ago
Interactions around a contextually embedded system
This paper discusses observations of visitor interactions around a museum installation, focusing on how physical setup and shape of two variants of the installation, a telescope-l...
Eva Hornecker