2673 search results - page 311 / 535 » Guided Static Analysis |
185
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a lexical post-processing optimization for handwritten word recognition. The aim of this work is to explore the combination of different lexical postprocessing...
208
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
153
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
A technique to derive test vectors that exercise the worstcase delay effects in a domino circuit in the presence of crosstalk is described. A model for characterizing the delay of...
166
click to vote
COSPS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
169
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...