373 search results - page 56 / 75 » On a model of three-dimensional bursting and its parallel im... |
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
PLILP
1995
Springer
14 years 4 days ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
SOFTWARE
2011
13 years 3 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
HPDC
2012
IEEE
11 years 11 months ago
2012
IEEE
networking with a layer 2 abstraction provides a powerful model for virtualized wide-area distributed computing resources, including for high performance computing (HPC) on collec...
SC
2005
ACM
14 years 2 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...