2736 search results - page 101 / 548 » Implementable allocation rules |
84
Voted
ENTCS
2007
15 years 18 days ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
94
Voted
ICPPW
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the h...
203
click to vote
SASP
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper describes a multi-threaded parallel design and implementation of the Smith-Waterman (SM) algorithm on compute unified device architecture (CUDA)-compatible graphic pr...
106
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
104
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...