Sciweavers

12272 search results - page 121 / 2455
» Experimental program analysis
Sort
View
MICRO
1994
IEEE
113views Hardware» more  MICRO 1994»
15 years 5 months ago
Static branch frequency and program profile analysis
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...
Youfeng Wu, James R. Larus
AGP
1997
IEEE
15 years 5 months ago
Sharing Revisited
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes setsharing. In thi...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
SIGCOMM
2010
ACM
15 years 1 months ago
DDE: dynamic data structure excavation
Dynamic Datastructure Excavation (DDE) is a new approach to extract datastructures from C binaries without any need for debugging symbols. Unlike most existing tools, DDE uses dyn...
Asia Slowinska, Traian Stancescu, Herbert Bos
MM
2010
ACM
93views Multimedia» more  MM 2010»
14 years 11 months ago
Sonic visualiser: an open source application for viewing, analysing, and annotating music audio files
Sonic Visualiser is a friendly and flexible end-user desktop application for analysis, visualisation, and annotation of music audio files. Its stated goal is to be “the first...
Chris Cannam, Christian Landone, Mark B. Sandler
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 5 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...