1605 search results - page 126 / 321 » Designing Parallel Operating Systems via Parallel Programmin... |
108
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
Software-based distributed shared memory (DSM) systems do usually not provide any means to use shared memory regions as stacks or via an efficient heap memory allocator. Instead ...
130
Voted
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
117
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
112
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
118
click to vote
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...