Sciweavers

4074 search results - page 235 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
DAC
2004
ACM
16 years 7 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
TOG
2008
100views more  TOG 2008»
15 years 6 months ago
Laughing out loud: control for modeling anatomically inspired laughter using audio
We present a novel technique for generating animation of laughter for a character. Our approach utilizes an anatomically inspired, physics-based model of a human torso that includ...
Paul C. DiLorenzo, Victor B. Zordan, Benjamin L. S...
DAC
2007
ACM
16 years 7 months ago
Global Critical Path: A Tool for System-Level Timing Analysis
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
Girish Venkataramani, Mihai Budiu, Tiberiu Chelcea...
ICCD
2004
IEEE
128views Hardware» more  ICCD 2004»
16 years 3 months ago
Static Transition Probability Analysis Under Uncertainty
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
Siddharth Garg, Siddharth Tata, Ravishankar Arunac...
PREMI
2009
Springer
16 years 1 months ago
Unsupervised Color Image Segmentation Using Compound Markov Random Field Model
Abstract. In this paper, we propose an unsupervised color image segmentation scheme using homotopy continuation method and Compound Markov Random Field (CMRF) model. The proposed s...
Sucheta Panda, P. K. Nanda