Sciweavers

4716 search results - page 362 / 944
» Iterative-free program analysis
Sort
View
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
16 years 23 days ago
Detecting Musical Sounds in Broadcast Audio Based on Pitch Tuning Analysis
Detecting the presence of musical sounds in broadcast audio is important for content-based indexing and retrieval of auditory and visual information in radio and TV programs. In t...
Yongwei Zhu, Qibin Sun, Susanto Rahardja
IWPC
2006
IEEE
16 years 22 days ago
Dynamic Analysis of Software Systems using Execution Pattern Mining
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
Hossein Safyallah, Kamran Sartipi
CAISE
2005
Springer
16 years 8 days ago
The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
Joerg Evermann
HYBRID
2005
Springer
16 years 7 days ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton
FASE
2004
Springer
16 years 3 days ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco