5838 search results - page 363 / 1168 » A File System for System Programming in Ubiquitous Computing |
198
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
170
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an efficient parallel information retrieval (IR) system which provides fast information service for the Internet users on lowcost high-performance PC-NOW enviro...
171
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
208
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
Never before have so many information sources been available. Most are accessible on-line and some exist on the Internet alone. However, this large information quantity makes inte...
188
click to vote
SAMOS
2004
Springer
16 years 1 days ago
2004
Springer
— In this paper we present the Molen programming paradigm, which is a sequential consistency paradigm for programming Custom Computing Machines (CCM). The programming paradigm al...