981 search results - page 121 / 197 » Semantics-aware trace analysis |
119
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
128
click to vote
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
In a generational garbage collector, a pre-tenured object is one that is allocated directly in the old generation. Pretenuring long-lived objects reduces the number of times that ...
131
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
131
click to vote
DEXA
2008
Springer
15 years 5 months ago
2008
Springer
The query performance for tracing tags depends upon the distribution of tag trajectories in the data space. We examine a more efficient representation of tag trajectories by means ...
149
click to vote
COLING
2008
15 years 4 months ago
2008
This paper explores the use of the homotopy method for training a semi-supervised Hidden Markov Model (HMM) used for sequence labeling. We provide a novel polynomial-time algorith...