Sciweavers

981 search results - page 1 / 197
» Semantics-aware trace analysis
Sort
View
FM
2011
Springer
357views Formal Methods» more  FM 2011»
12 years 7 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
ESWS
2010
Springer
13 years 7 months ago
Efficient Semantic-Aware Detection of Near Duplicate Resources
Abstract. Efficiently detecting near duplicate resources is an important task when integrating information from various sources and applications. Once detected, near duplicate reso...
Ekaterini Ioannou, Odysseas Papapetrou, Dimitrios ...
SIGCOMM
2010
ACM
13 years 3 months ago
Differentially-private network trace analysis
Frank McSherry, Ratul Mahajan
CAV
2012
Springer
236views Hardware» more  CAV 2012»
11 years 6 months ago
Lock Removal for Concurrent Trace Programs
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
Vineet Kahlon, Chao Wang
IPCCC
2005
IEEE
13 years 9 months ago
Cluster-based input/output trace synthesis
I/O traces are crucial for understanding the performance of new storage architectures. Unfortunately, traces are extremely bursty and difficult to characterize. They are large, d...
Bo Hong, Tara M. Madhyastha, B. Zhang