1529 search results - page 116 / 306 » On Timing Analysis of Combinational Circuits |
ALENEX
2004
13 years 9 months ago
2004
In previous work we described a method for compactly representing graphs with small separators, which makes use of small separators, and presented preliminary experimental results...
DAC
2001
ACM
14 years 9 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
ASIACRYPT
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We describe two improvements to Gentry's fully homomorphic scheme based on ideal lattices and its analysis: we provide a more aggressive analysis of one of the hardn...
WCET
2008
13 years 9 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
ICAD
2004
13 years 9 months ago
2004
Three complementary methods are used to analyze the dynamics of multivariate EEG data obtained from a human listening to a piece of music. The analysis yields parameters for a dat...