2635 search results - page 169 / 527 » Computing multihomogeneous resultants using straight-line pr... |
162
Voted
PVM
2005
Springer
15 years 9 months ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
133
Voted
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
170
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
96
Voted
DAGSTUHL
2008
15 years 4 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
191
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
We are currently faced with the situation where applications have increasing computational demands and there is a wide selection of parallel processor systems. In this paper we fo...