2335 search results - page 354 / 467 » Functional Differentiation of Computer Programs |
105
click to vote
ICIP
1999
IEEE
16 years 4 months ago
1999
IEEE
A new chip-set for video display processing in a consumer television or set-top box is presented. Key aspect of the chip-set is a high flexibility and programmability of multi-win...
118
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
103
click to vote
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
A new kernel function between two labeled graphs is presented. Feature vectors are defined as the counts of label paths produced by random walks on graphs. The kernel computation ...
127
click to vote
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
We introduce a novel method of test generation for microprocessors at the RTL using spectral methods. Test vectors are generated for RTL faults, which are the stuck-at faults on i...
137
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...