3256 search results - page 410 / 652 » Mixin-Based Programming in C |
221
Voted
CC
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
121
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
This paper presents an RTL generation scheme for a SimpleScalar / PISA Instruction set architecture with system calls to implement C programs. The scheme utilizes ASIPmeister, a p...
122
Voted
ASM
2010
ASM
16 years 22 days ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
130
Voted
CVPR
2010
IEEE
16 years 1 days ago
2010
IEEE
We propose a new scheme to estimate image bias field through introducing two sparsity constraints. One is that the bias-free image has concise representation with image gradients o...
111
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...