Sciweavers

BIRTHDAY
2003
Springer
14 years 11 months ago
In Memoriam: Paris C. Kanellakis
Serge Abiteboul, Gabriel M. Kuper, Alexander A. Sh...
BIRTHDAY
2003
Springer
14 years 11 months ago
A Logic of Object-Oriented Programs
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
Martín Abadi, K. Rustan M. Leino
SC
2003
ACM
14 years 11 months ago
A New Parallel Kernel-Independent Fast Multipole Method
We present a new adaptive fast multipole algorithm and its parallel implementation. The algorithm is kernel-independent in the sense that the evaluation of pairwise interactions do...
Lexing Ying, George Biros, Denis Zorin, Harper Lan...
SC
2003
ACM
14 years 11 months ago
Fast Parallel Non-Contiguous File Access
Many applications of parallel I/O perform non-contiguous file accesses: instead of accessing a single (large) block of data in a file, a number of (smaller) blocks of data scatt...
Joachim Worringen, Jesper Larsson Träff, Hube...
SC
2003
ACM
14 years 11 months ago
Communities Collaborating to Bridge the Digital Divide: The Tribal Virtual Network
The Digital Divide has become a catch phrase and political banner that defines the divide between the “have and have-nots” of internet-based technologies.1 Many rural and Nati...
Maria Williams, Vernon Lujan, Ron Solimon, Lorene ...
SC
2003
ACM
14 years 11 months ago
Dyn-MPI: Supporting MPI on Non Dedicated Clusters
Distributing data is a fundamental problem in implementing efficient distributed-memory parallel programs. The problem becomes more difficult in environments where the participa...
D. Brent Weatherly, David K. Lowenthal, Mario Naka...
SC
2003
ACM
14 years 11 months ago
The Space Simulator: Modeling the Universe from Supernovae to Cosmology
The Space Simulator is a 294-processor Beowulf cluster with
Michael S. Warren, Chris L. Fryer, M. Patrick Goda
SC
2003
ACM
14 years 11 months ago
Parallel Multilevel Sparse Approximate Inverse Preconditioners in Large Sparse Matrix Computations
We investigate the use of the multistep successive preconditioning strategies (MSP) to construct a class of parallel multilevel sparse approximate inverse (SAI) preconditioners. W...
Kai Wang, Jun Zhang, Chi Shen
SC
2003
ACM
14 years 11 months ago
A Metadata Catalog Service for Data Intensive Applications
Gurmeet Singh, Shishir Bharathi, Ann L. Chervenak,...