Sciweavers

4716 search results - page 357 / 944
» Iterative-free program analysis
Sort
View
SCAM
2008
IEEE
16 years 1 months ago
Fast and Precise Points-to Analysis
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...
Jonas Lundberg, Tobias Gutzmann, Welf Löwe
FUZZIEEE
2007
IEEE
16 years 1 months ago
FrIDA - A Free Intelligent Data Analysis Toolbox
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
Christian Borgelt, Gil Gonzáles-Rodrí...
ACSD
2006
IEEE
80views Hardware» more  ACSD 2006»
16 years 24 days ago
Schedulability Analysis of Petri Nets Based on Structural Properties
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
16 years 7 days ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
ISMIR
2005
Springer
169views Music» more  ISMIR 2005»
16 years 6 days ago
Toward Automated Holistic Beat Tracking, Music Analysis and Understanding
Most music processing attempts to focus on one particular feature or structural element such as pitch, beat location, tempo, or genre. This hierarchical approach, in which music i...
Roger B. Dannenberg