Sciweavers

4616 search results - page 270 / 924
» Extreme Components Analysis
Sort
View
ISBI
2002
IEEE
16 years 5 months ago
Eigenfolds: a new approach for analysis of vibrating vocal folds
In this paper we present a new approach for analysis and visualization of the vibration patterns of vocal folds from high-speed digital images of the larynx. This approach is base...
Liu Li, Nikolas P. Galatsanos, Diane Bless
ICCD
2000
IEEE
123views Hardware» more  ICCD 2000»
16 years 1 months ago
Analysis and Optimization of Ground Bounce in Digital CMOS Circuits
This paper is concerned with the analysis and optimization of the ground bounce in digital CMOS circuits. First, an analytical method for calculating of the ground bounce is presen...
Payam Heydari, Massoud Pedram
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
15 years 11 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
ASWEC
2009
IEEE
15 years 11 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
ICSE
2009
IEEE-ACM
15 years 11 months ago
Using quantitative analysis to implement autonomic IT systems
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
Radu Calinescu, Marta Z. Kwiatkowska