4451 search results - page 84 / 891 » Continuous model synthesis |
157
click to vote
ENTCS
2010
15 years 5 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
173
click to vote
HPCA
2000
IEEE
15 years 9 months ago
2000
IEEE
We consider a variety of dynamic, hardware-based methods for exploiting load/store parallelism, including mechanisms that use memory dependence speculation. While previous work ha...
125
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
We investigate the issue of sign language automatic phonetic subunit modeling, that is completely data driven and without any prior phonetic information. A first step of visual p...
165
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
185
click to vote
ICTAI
2010
IEEE
15 years 3 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...