Sciweavers

4507 search results - page 753 / 902
» Generalized Binet dynamics
Sort
View
DAC
2007
ACM
16 years 5 months ago
Synthesizing Stochasticity in Biochemical Systems
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...
Brian Fett, Jehoshua Bruck, Marc D. Riedel
DAC
2007
ACM
16 years 5 months ago
Variation Resilient Low-Power Circuit Design Methodology using On-Chip Phase Locked Loop
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...
Kunhyuk Kang, Kee-Jong Kim, Kaushik Roy
DAC
2002
ACM
16 years 5 months ago
Scheduler-based DRAM energy management
Previous work on DRAM power-mode management focused on hardware-based techniques and compiler-directed schemes to explicitly transition unused memory modules to low-power operatin...
Victor Delaluz, Anand Sivasubramaniam, Mahmut T. K...
167
Voted
DAC
2003
ACM
16 years 5 months ago
Behavioral consistency of C and verilog programs using bounded model checking
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
IPMI
2009
Springer
16 years 5 months ago
DRAMMS: Deformable Registration via Attribute Matching and Mutual-Saliency weighting
A general-purpose deformable registration algorithm referred to as ”DRAMMS” is presented in this paper. DRAMMS adds to the literature of registration methods that bridge betw...
Yangming Ou, Christos Davatzikos