5180 search results - page 22 / 1036 » Concurrency, Time, and Constraints |
100
click to vote
ASIAN
2004
Springer
15 years 5 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
116
click to vote
CLEIEJ
2006
14 years 11 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
103
click to vote
NCA
2007
IEEE
15 years 6 months ago
2007
IEEE
The advancement of optical networking technologies has enabled e-science applications that often require transport of large volumes of scientific data. In support of such data-in...
77
Voted
ICLP
2001
Springer
15 years 4 months ago
2001
Springer