Sciweavers

ICCD
2005
IEEE
101views Hardware» more  ICCD 2005»
13 years 10 months ago
The TM3270 Media-Processor Data Cache
Jan-Willem van de Waerdt, Stamatis Vassiliadis, Je...
ICCD
2005
IEEE
159views Hardware» more  ICCD 2005»
13 years 10 months ago
Architectural-Level Fault Tolerant Computation in Nanoelectronic Processors
Nanoelectronic devices are expected to have extremely high and variable fault rates; thus future processor architectures based on these unreliable devices need to be built with fa...
Wenjing Rao, Alex Orailoglu, Ramesh Karri
ICCD
2005
IEEE
131views Hardware» more  ICCD 2005»
13 years 10 months ago
Efficient Thermal Simulation for Run-Time Temperature Tracking and Management
As power density increases exponentially, run-time regulation of operating temperature by dynamic thermal management becomes imperative. This paper proposes a novel approach to re...
Hang Li, Pu Liu, Zhenyu Qi, Lingling Jin, Wei Wu, ...
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
13 years 10 months ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
ICCD
2005
IEEE
97views Hardware» more  ICCD 2005»
13 years 10 months ago
Dealing with I/O Devices in the Context of Pervasive System Verification
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang...
ICCD
2005
IEEE
90views Hardware» more  ICCD 2005»
13 years 10 months ago
Variability-Driven Buffer Insertion Considering Correlations
— In this work we investigate the buffer insertion problem under process variations. Sub 100-nm fabrication process causes significant variations on many design parameters. We p...
Azadeh Davoodi, Ankur Srivastava
ICCD
2005
IEEE
107views Hardware» more  ICCD 2005»
14 years 1 months ago
Hardware Support for Bulk Data Movement in Server Platforms
Bulk data movement occurs commonly in server workloads and their performance is rather poor on today’s microprocessors. We propose the use of small dedicated copy engines, and p...
Li Zhao, Ravi R. Iyer, Srihari Makineni, Laxmi N. ...
ICCD
2005
IEEE
169views Hardware» more  ICCD 2005»
14 years 1 months ago
ALLCN: An Automatic Logic-to-Layout Tool for Carbon Nanotube Based Nanotechnology
— Since rapid progress has been made in device improvement and integration of small carbon nanotube fieldeffect transistors (CNFETs) circuits, the time has come for developing c...
Wei Zhang, Niraj K. Jha
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
14 years 1 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
ICCD
2005
IEEE
165views Hardware» more  ICCD 2005»
14 years 1 months ago
Applying Resource Sharing Algorithms to ADL-driven Automatic ASIP Implementation
Presently, Architecture Description Languages (ADLs) are widely used to raise the abstraction level of the design space exploration of Application Specific Instruction-set Proces...
Ernst Martin Witte, Anupam Chattopadhyay, Oliver S...