9316 search results - page 331 / 1864 » Analysis of traceback techniques |
123
click to vote
MOC
2000
15 years 6 months ago
2000
In this paper, the global superconvergence is analysed on two schemes (a mixed finite element scheme and a finite element scheme) for Maxwell's equations in R3. Such a superco...
214
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
150
Voted
SAS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
184
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
179
click to vote
IIWAS
2004
15 years 8 months ago
2004
Web applications increasingly utilize search techniques that heavily rely on content-based text and image analyses. For example, for parental site filtering, it is necessary to id...