62 search results - page 8 / 13 » Implementing MPI-IO Shared File Pointers Without File System... |
120
Voted
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
150
Voted
CLUSTER
2000
IEEE
15 years 1 months ago
2000
IEEE
With the increasing number of scientific applications manipulating huge amounts of data, effective high-level data management is an increasingly important problem. Unfortunately, ...
143
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
------------------------------------------------------ABSTRACT-------------------------------------------------------Ubiquitous and pervasive computing (UPC) is a popular paradigm ...
142
click to vote
CCGRID
2001
IEEE
15 years 5 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
113
Voted
WWW
2008
ACM
16 years 2 months ago
2008
ACM
The migration from desktop applications to Web-based services is scattering personal data across a myriad of Web sites, such as Google, Flickr, YouTube, and Amazon S3. This disper...