4636 search results - page 260 / 928 » Modelling and Validation with VipTool |
EUROPAR
1999
Springer
14 years 16 days ago
1999
Springer
This paper reports the parallel implementation of adaptive mesh re nement within nite di erence ocean circulation models. The implementation is based on the model of MalleableTasks...
SIGMETRICS
1998
ACM
14 years 14 days ago
1998
ACM
While much work has been devoted to the study of cache behavior during the execution of codes with regular access patterns, little attention has been paid to irregular codes. An i...
KR
1998
Springer
14 years 14 days ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
SIGMETRICS
1990
ACM
14 years 8 days ago
1990
ACM
Multiprocessors require an interconnection network to connect processors with memory modules. The performance of the interconnection network can have a large effect upon overall s...
CLEF
2004
Springer
13 years 12 months ago
2004
Springer
This paper presents the results of the State University of New York at Buffalo (UB) in the Mono-lingual and Multi-lingual tasks at CLEF 2004. For these tasks we used an approach ba...