11394 search results - page 2180 / 2279 » Error-Correcting Data Structures |
127
click to vote
CPAIOR
2009
Springer
15 years 9 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
144
click to vote
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
139
click to vote
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
15 years 9 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
117
click to vote
MHCI
2009
Springer
15 years 9 months ago
2009
Springer
By equipping a mobile device with distance sensing capabilities, we aim to expand the interaction possibilities of mobile and wearable devices beyond the confines of the physical ...
145
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...