Sciweavers

981 search results - page 77 / 197
» Semantics-aware trace analysis
Sort
View
EUROPAR
2006
Springer
15 years 6 months ago
Specification of Inefficiency Patterns for MPI-2 One-Sided Communication
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
Andrej Kühnal, Marc-André Hermanns, Be...
DCOSS
2008
Springer
15 years 4 months ago
LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics
We describe LiveNet, a set of tools and analysis methods for reconstructing the complex behavior of a deployed sensor network. LiveNet is based on the use of multiple passive packe...
Bor-rong Chen, Geoffrey Peterson, Geoffrey Mainlan...
ENTCS
2008
95views more  ENTCS 2008»
15 years 3 months ago
Coverage-biased Random Exploration of Models
This paper describes a set of methods for randomly drawing traces in large models either uniformly among all traces, or with a coverage criterion as target. Classical random walk ...
Marie-Claude Gaudel, Alain Denise, Sandrine-Domini...
ENTCS
2007
124views more  ENTCS 2007»
15 years 3 months ago
Structuring Optimizing Transformations and Proving Them Sound
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
CCR
2005
64views more  CCR 2005»
15 years 3 months ago
A methodology for studying persistency aspects of internet flows
We focus in this paper on Internet flows, consider their contributions to the overall traffic per time unit or bin, and perform a multi-scale and multi-protocol analysis to explor...
Jörg Wallerich, Holger Dreger, Anja Feldmann,...