10072 search results - page 1353 / 2015 » Composition of Model Programs |
212
click to vote
SOQUA
2007
15 years 8 months ago
2007
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
203
click to vote
EUROPAR
2010
Springer
15 years 8 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...
176
click to vote
FDL
2008
IEEE
15 years 7 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
119
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This chapter derives the properties of light from the properties of processing, including its ability to be both a wave and a particle, to detect objects it doesn't touch, to...
196
click to vote
IANDC
2008
15 years 7 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...