Sciweavers

42507 search results - page 313 / 8502
» On the analysis of
Sort
View
183
Voted
KBSE
2007
IEEE
16 years 1 months ago
Feature interaction analysis: a maintenance perspective
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
209
Voted
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 1 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
171
Voted
ESOP
2007
Springer
16 years 1 months ago
Computing Procedure Summaries for Interprocedural Analysis
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
Sumit Gulwani, Ashish Tiwari
186
Voted
MIRAGE
2007
Springer
16 years 1 months ago
Model-Based Feature Extraction for Gait Analysis and Recognition
Human motion analysis has received a great attention from researchers in the last decade due to its potential use in different applications. We propose a new approach to extract h...
Imed Bouchrika, Mark S. Nixon
163
Voted
NOLISP
2007
Springer
16 years 1 months ago
Phase-Based Methods for Voice Source Analysis
Voice source analysis is an important but difficult issue for speech processing. In this talk, three aspects of voice source analysis recently developed at LIMSI (Orsay, France) a...
Christophe d'Alessandro, Baris Bozkurt, Boris Dova...