2253 search results - page 38 / 451 » Computing with Realizational Morphology |
131
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
107
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The concept of effective complexity of an object as the minimal description length of its regularities has been initiated by Gell-Mann and Lloyd. The regularities are modeled by m...
147
click to vote
TC
2010
14 years 10 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
102
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Beginning in the middle of the twentieth century, composers of experimental music developed a number of new notational representations, most often falling under the category of gr...