10871 search results - page 1989 / 2175 » A stable programming language |
118
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
To achieve high resource utilization for multi-issue Digital Signal Processors (DSPs), production compilers commonly include variants of the iterative modulo scheduling algorithm. ...
146
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
149
click to vote
CMMR
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
143
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Motivated by the performance improvements made to SAT solvers in recent years, a number of different encodings of constraints into SAT have been proposed. Concrete examples are th...
122
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...