1458 search results - page 33 / 292 » The sequentially realizable functionals |
98
Voted
FPCA
1991
15 years 6 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
131
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
This paper presents a probabilistic algorithm for segmenting and recognizing text embedded in video sequences. The algorithm approximates the posterior distribution of segmentatio...
119
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...
131
Voted
ERLANG
2004
ACM
15 years 8 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
145
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...