9842 search results - page 1494 / 1969 » Compositional timing analysis |
161
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
133
Voted
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
169
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Small, embedded integrated circuits (ICs) such as smart cards are vulnerable to so-called side-channel attacks (SCAs). The attacker can gain information by monitoring the power co...
186
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. This study presents a novel automatic approach for the identification of anatomical brain structures in magnetic resonance images (MRI). The method combines a fast multis...
186
Voted
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Wireless endoscopy is a very recent and at the same time unique technique allowing to visualize and study the occurrence of contractions and to analyze the intestine motility. Feat...