Sciweavers

SBACPAD
2006
IEEE
148views Hardware» more  SBACPAD 2006»
14 years 3 months ago
Scalable Parallel Implementation of Bayesian Network to Junction Tree Conversion for Exact Inference
We present a scalable parallel implementation for converting a Bayesian network to a junction tree, which can then be used for a complete parallel implementation for exact inferen...
Vasanth Krishna Namasivayam, Animesh Pathak, Vikto...
SBACPAD
2006
IEEE
81views Hardware» more  SBACPAD 2006»
14 years 3 months ago
Scalable Value-Cache Based Compression Schemes for Multiprocessors
Martin Thuresson, Per Stenström
SBACPAD
2006
IEEE
102views Hardware» more  SBACPAD 2006»
14 years 3 months ago
Ultra-Fast CPU Performance Prediction: Extending the Monte Carlo Approach
Performance evaluation of contemporary processors is becoming increasingly difficult due to the lack of proper frameworks. Traditionally, cycle-accurate simulators have been exte...
Ram Srinivasan, Jeanine Cook, Olaf M. Lubeck
SBACPAD
2006
IEEE
147views Hardware» more  SBACPAD 2006»
14 years 3 months ago
Controlling the Power and Area of Neural Branch Predictors for Practical Implementation in High-Performance Processors
Neural-inspired branch predictors achieve very low branch misprediction rates. However, previously proposed implementations have a variety of characteristics that make them challe...
Daniel A. Jiménez, Gabriel H. Loh
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
14 years 3 months ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl
MTV
2006
IEEE
98views Hardware» more  MTV 2006»
14 years 3 months ago
Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
Heon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy...
MTV
2006
IEEE
97views Hardware» more  MTV 2006»
14 years 3 months ago
Circuit Profiling Mechanisms for High-Level {ATPG}
—Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we nee...
Jorge Campos, Hussain Al-Asaad
MTDT
2006
IEEE
154views Hardware» more  MTDT 2006»
14 years 3 months ago
SRAM Cell Current in Low Leakage Design
This paper highlights the cell current characterization of a low leakage 6T SRAM by adjusting the threshold voltages of the transistors in the memory array to reduce the standby p...
Ding-Ming Kwai, Ching-Hua Hsiao, Chung-Ping Kuo, C...
MTDT
2006
IEEE
101views Hardware» more  MTDT 2006»
14 years 3 months ago
FlexiVia ROM Compiler Programmable on Different Via Layers Based on Top Metal Assignment
We present a ROM compiler programmable from via 1 to via n – 2, where n is the number of metal layers. The layer on which the code via is landed can be selected by the user. Wit...
Ding-Ming Kwai, Yung-Fa Chou, Meng-Fan Chang, Su-M...