Sciweavers

The Rewrite Rule Machine (RRM) is a massively parallel MIMD/SIMD computer designed with the explicit purpose of supporting veryhigh-level parallel programming with rewrite rules. T...

Patrick Lincoln, José Meseguer, Livio Ricci...

claim paper

Read More »

184

click to vote

PARLE
1994

153views Distributed And Parallel Com...» more PARLE 1994»

Run-Time Optimization of Sparse Matrix-Vector Multiplication on SIMD Machines

15 years 5 months ago

Download cgi2.cs.rpi.edu

Sparse matrix-vector multiplication forms the heart of iterative linear solvers used widely in scientific computations (e.g., finite element methods). In such solvers, the matrix-v...

Louis H. Ziantz, Can C. Özturan, Boleslaw K. ...

claim paper

Read More »

181

click to vote

CONPAR
1994

326views Distributed And Parallel Com...» more CONPAR 1994»

A Software Architecture for Multidisciplinary Applications: Integrating Task and Data Parallelism

15 years 6 months ago

Download historical.ncstrl.org

Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scientic and engineering appl...

Barbara M. Chapman, Piyush Mehrotra, John Van Rose...

claim paper

Read More »

162

click to vote

PODC
1994
ACM

157views Distributed and Parallel Com...» more PODC 1994»

Using Belief to Reason about Cache Coherence

15 years 6 months ago

Download reference.kfupm.edu.sa

The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...

Lily B. Mummert, Jeannette M. Wing, Mahadev Satyan...

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence

Computational Biology