5838 search results - page 410 / 1168 » A File System for System Programming in Ubiquitous Computing |
175
click to vote
TLCA
2007
Springer
16 years 8 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
163
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
135
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
171
click to vote
HPCA
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper examines the performance benefits of employing multicast communication and application-level multithreading in the Brazos software distributed shared memory (DSM) syste...
151
Voted
DSE
1998
15 years 5 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...