Sciweavers

BIRTHDAY
2003
Springer
14 years 2 months ago
In Memoriam: Paris C. Kanellakis
Serge Abiteboul, Gabriel M. Kuper, Alexander A. Sh...
BIRTHDAY
2003
Springer
14 years 2 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 2 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 2 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 2 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 2 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 2 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 2 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 2 months ago
A Metadata Catalog Service for Data Intensive Applications
Gurmeet Singh, Shishir Bharathi, Ann L. Chervenak,...