Sciweavers

2656 search results - page 28 / 532
» Design and analysis of algorithms reconsidered
Sort
View
SOFSEM
2007
Springer
15 years 10 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
ASPDAC
2001
ACM
82views Hardware» more  ASPDAC 2001»
15 years 8 months ago
Towards the logic defect diagnosis for partial-scan designs
Loical defect diagnosis is a critical yet challenging process in VLSI manufacturing. It involves the identification of the defect spots in a logic IC that fails testing. In the la...
Shi-Yu Huang
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
15 years 9 months ago
Properties of and improvements to time-domain dynamic thermal analysis algorithms
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
Xi Chen, Robert P. Dick, Li Shang
DNA
2004
Springer
102views Bioinformatics» more  DNA 2004»
15 years 8 months ago
Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes
To design DNA nano-machines or analyze DNA molecular reactions, it is important to be able to predict the energy landscape of molecular structures and the energy barrier of a trans...
Mitsuhiro Kubota, Masami Hagiya
INFORMATICALT
2008
91views more  INFORMATICALT 2008»
15 years 4 months ago
Lloyd-Max's Algorithm Implementation in Speech Coding Algorithm Based on Forward Adaptive Technique
In this paper a detail analysis of speech coding algorithm based on forward adaptive technique is carried out. We consider an algorithm that works on frame-by-frame basis, where a ...
Jelena Nikolic, Zoran Peric