Sciweavers

264 search results - page 1 / 53
» Source-Based Trace Exploration
Sort
View
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
13 years 9 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
NPIV
1999
ACM
142views Visualization» more  NPIV 1999»
13 years 8 months ago
ALMOST: Exploring Program Traces
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...
Manos Reniers, Steven P. Reis
ICS
2004
Tsinghua U.
13 years 9 months ago
Design space exploration of caches using compressed traces
Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Ab...
IACR
2011
134views more  IACR 2011»
12 years 4 months ago
An Exploration of the Kolmogorov-Smirnov Test as Competitor to Mutual Information Analysis
A theme of recent side-channel research has been the quest for distinguishers which remain eective even when few assumptions can be made about the underlying distribution of the m...
Carolyn Whitnall, Elisabeth Oswald, Luke Mather