Sciweavers

2846 search results - page 423 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
ICSE
2009
IEEE-ACM
16 years 7 months ago
The road not taken: Estimating path execution frequency statically
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
Raymond P. L. Buse, Westley Weimer
ICSE
2007
IEEE-ACM
16 years 6 months ago
Parallel Randomized State-Space Search
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Per...
IUI
2009
ACM
16 years 3 months ago
Musicsim: integrating audio analysis and user feedback in an interactive music browsing ui
In music information retrieval (MIR), there are two main research directions, which are based either on a folder hierarchy and metadata, or on the actual acoustic content. We beli...
Ya-Xi Chen, Andreas Butz
WOSP
2010
ACM
16 years 1 months ago
A page fault equation for dynamic heap sizing
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
Y. C. Tay, X. R. Zong
ICSE
2009
IEEE-ACM
16 years 1 months ago
Lightweight fault-localization using multiple coverage types
Lightweight fault-localization techniques use program coverage to isolate the parts of the code that are most suspicious of being faulty. In this paper, we present the results of ...
Raúl A. Santelices, James A. Jones, Yanbing...