Sciweavers

4719 search results - page 378 / 944
» Newtonian program analysis
Sort
View
CLUSTER
2008
IEEE
16 years 1 months ago
OpenMP-centric performance analysis of hybrid applications
—Several performance analysis tools support hybrid applications. Most originated as MPI profiling or tracing tools and OpenMP capabilities were added to extend the performance a...
Karl Fürlinger, Shirley Moore
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 23 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 6 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...