506 search results - page 79 / 102 » Where Is the Value in a Program Verifier |
110
Voted
SIGGRAPH
1998
ACM
15 years 4 months ago
1998
ACM
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
99
Voted
CJ
2000
15 years 9 days ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
117
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
102
Voted
CC
2004
Springer
15 years 5 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
117
Voted
ISMVL
2000
IEEE
15 years 4 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...