2957 search results - page 269 / 592 » Code analysis and CS-XML |
185
click to vote
PLDI
2000
ACM
15 years 11 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...
155
Voted
SIGDOC
1992
ACM
15 years 10 months ago
1992
ACM
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
166
click to vote
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a language identification technique that detects Latin-based languages of imaged documents without OCR. The proposed technique detects languages through the wo...
203
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
191
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...