2060 search results - page 153 / 412 » Some Applications of Coding Theory in Computational Complexi... |
EUROPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
MICAI
2005
Springer
15 years 3 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
VLSISP
2008
14 years 9 months ago
2008
Data dominated signal processing applications are typically described using large and multi-dimensional arrays and loop nests. The order of production and consumption of array ele...
139
click to vote
BANFF
1995
15 years 1 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
119
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: When publishing large-scale microarray datasets, it is of great value to create supplemental websites where either the full data, or selected subsets corresponding to ...