1099 search results - page 124 / 220 » A Parallel Programming Style and Its Algebra of Programs |
117
click to vote
ASPLOS
1992
ACM
15 years 5 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
101
Voted
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
119
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
121
click to vote
FGCS
1992
15 years 2 months ago
1992
: There have been no major control problems during the first three years of the new Tokaido-Sanyo Shinkansen (bullet train) Programmed Route Control (PRC) computer system. Prior to...
148
Voted
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...