7961 search results - page 256 / 1593 » Input-Output Model Programs |
140
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
128
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
130
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
164
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
119
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...