13271 search results - page 2388 / 2655 » Computers, Programming, and People |
165
click to vote
PVM
2005
Springer
16 years 5 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 ...
173
click to vote
TARK
2005
Springer
16 years 5 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 5 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 5 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 ...
170
click to vote
CASES
2004
ACM
16 years 4 days ago
2004
ACM
ScratchPad Memories (SPMs) are commonly used in embedded systems because they are more energy-efficient than caches and enable tighter application control on the memory hierarchy...