981 search results - page 66 / 197 » Semantics-aware trace analysis |
113
click to vote
MOC
2010
14 years 9 months ago
2010
Abstract. We introduce a new technique for the error analysis of hybridizable discontinuous Galerkin (HDG) methods. The technique relies on the use of a new projection whose design...
121
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present a method which allows the statistical analysis of nanoelectronic Boolean networks with respect to timing uncertainty and noise. All signals are considered...
105
click to vote
ICPP
2005
IEEE
15 years 8 months ago
2005
IEEE
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
123
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
125
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...