Distributed and Parallel Computing

62

click to vote

CONPAR
1994

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

Parallel Visibility Computations for Parallel Radiosity

13 years 11 months ago

Download www.cse.yorku.ca

Wolfgang Stürzlinger, Christoph Wild

claim paper

Read More »

33

click to vote

CONPAR
1994

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

The Rewrite Rule Machine Node Architecture and Its Performance

13 years 11 months ago

Download www.csl.sri.com

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 »

25

click to vote

CONPAR
1994

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

Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer

13 years 11 months ago

Download www.di.unipi.it

This paper considers the issue of dynamic task control in the context of a parallel Haskell implementation on the GRIP multiprocessor. For the rst time, we report the e ect of our ...

Kevin Hammond, James S. Mattson Jr., Simon L. Peyt...

claim paper

Read More »

29

click to vote

CONPAR
1994

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

A Framework for Resource-Constrained Rate-Optimal Software Pipelining

13 years 11 months ago

Download eprints.iisc.ernet.in

The rapid advances in high-performancecomputer architectureand compilationtechniques provide both challenges and opportunitiesto exploitthe rich solution space of software pipeline...

Ramaswamy Govindarajan, Erik R. Altman, Guang R. G...

claim paper

Read More »

38

click to vote

CONPAR
1994

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

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

13 years 11 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 »

20

click to vote

CONCUR
1994
Springer

69views Distributed And Parallel Com...» more CONCUR 1994»

On Unifying Assumption-Commitment Style Proof Rules for Concurrency

13 years 11 months ago

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

29

click to vote

CONCUR
1994
Springer

118views Distributed And Parallel Com...» more CONCUR 1994»

Composition and Behaviors of Probabilistic I/O Automata

13 years 11 months ago

Download www.cs.sunysb.edu

We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...

Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark

claim paper

Read More »

20

click to vote

CONCUR
1994
Springer

82views Distributed And Parallel Com...» more CONCUR 1994»

Weak Sequential Composition in Process Algebras

13 years 11 months ago

Download www.cs.uni-paderborn.de

Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...

Arend Rensink, Heike Wehrheim

claim paper

Read More »

20

click to vote

CONCUR
1994
Springer

74views Distributed And Parallel Com...» more CONCUR 1994»

Testing-Based Abstractions for Value-Passing Systems

13 years 11 months ago

Download condor.depaul.edu

Rance Cleaveland, James Riely

claim paper