565 search results - page 69 / 113 » A (De)constructive Approach to Program Checking |
ACMMSP
2005
ACM
15 years 3 months ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
WCRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...
SCP
1998
14 years 9 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
110
click to vote
PLDI
2011
ACM
14 years 19 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We introduce a shape detection framework called Contour Context Selection for detecting objects in cluttered images using only one exemplar. Shape based detection is inva...