Sciweavers

174 search results - page 2 / 35
» Traces of Term-Automatic Graphs
Sort
View
PVLDB
2008
121views more  PVLDB 2008»
13 years 4 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo
TMC
2010
104views more  TMC 2010»
13 years 3 months ago
On Nodal Encounter Patterns in Wireless LAN Traces
—In this paper we analyze multiple wireless LAN (WLAN) traces from university and corporate campuses. In particular, we consider an important event between mobile nodes in wirele...
Wei-jen Hsu, Ahmed Helmy
ENTCS
2007
112views more  ENTCS 2007»
13 years 5 months ago
Structure and Properties of Traces for Functional Programs
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
Olaf Chitil, Yong Luo
SIGOPS
2010
162views more  SIGOPS 2010»
13 years 3 months ago
Visual and algorithmic tooling for system trace analysis: a case study
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
Wim De Pauw, Steve Heisig
MFCS
2001
Springer
13 years 9 months ago
Rational Graphs Trace Context-Sensitive Languages
This paper shows that the traces of rational graphs coincide with the context-sensitive languages.
Christophe Morvan, Colin Stirling