10848 search results - page 1901 / 2170 » Programming in Biomolecular Computation |
149
click to vote
PVM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather p...
164
click to vote
PVM
2005
Springer
16 years 2 days ago
2005
Springer
We present an algorithm for implementing byte-range locks using MPI passive-target one-sided communication. This algorithm is useful in any scenario in which multiple processes of ...
169
click to vote
TARK
2005
Springer
16 years 2 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
133
click to vote
TGC
2005
Springer
16 years 2 days ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...
184
click to vote
AIED
2005
Springer
16 years 1 days ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...