3736 search results - page 251 / 748 » Hand-Writing Program Generator Generators |
194
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
165
click to vote
ICPPW
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper a simple but effective approach for parallelization of cellular neural networks for image processing is developed. Digital gray-scale images were used to evaluate th...
178
click to vote
STEP
2003
IEEE
15 years 12 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
164
Voted
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
221
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...