The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9780792393627

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Derivation of Randomized Sorting and Selection Algorithms

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation ◽

10.1007/978-0-585-27330-3_6 ◽

2007 ◽

pp. 187-205 ◽

Cited By ~ 25

Author(s):

Sanguthevar Rajasekaran ◽

John H. Reif

Keyword(s):

Selection Algorithms

Download Full-text

Scheduling Program Task Graphs on MIMD Architectures

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation ◽

10.1007/978-0-585-27330-3_5 ◽

2007 ◽

pp. 153-186 ◽

Cited By ~ 2

Author(s):

Apostolos Gerasoulis ◽

Tao Yang

Keyword(s):

Task Graphs ◽

Mimd Architectures

Download Full-text

Deductive Derivation of Parallel Programs

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation ◽

10.1007/978-0-585-27330-3_1 ◽

2007 ◽

pp. 1-53 ◽

Cited By ~ 5

Author(s):

Peter Pepper

Keyword(s):

Parallel Programs

Download Full-text

Some Experiments in Transforming Towards Parallel Executability

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation ◽

10.1007/978-0-585-27330-3_3 ◽

2007 ◽

pp. 71-109 ◽

Cited By ~ 1

Author(s):

H. A. Partsch

Download Full-text

Time-Space Optimal Parallel Computation

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation ◽

10.1007/978-0-585-27330-3_7 ◽

2007 ◽

pp. 207-223

Author(s):

Michael A. Langston

Keyword(s):

Parallel Computation ◽

Time Space

Download Full-text

The Use of the Tupling Strategy in the Development of Parallel Programs

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation ◽

10.1007/978-0-585-27330-3_4 ◽

2007 ◽

pp. 111-151 ◽

Cited By ~ 1

Author(s):

Alberto Pettorossi ◽

Enrico Pietropoli ◽

Maurizio Proietti

Keyword(s):

Parallel Programs

Download Full-text

Derivation of Parallel Sorting Algorithms

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation ◽

10.1007/978-0-585-27330-3_2 ◽

2007 ◽

pp. 55-69 ◽

Cited By ~ 3

Author(s):

Douglas R. Smith

Keyword(s):

Parallel Sorting ◽

Sorting Algorithms

Download Full-text

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program TransformationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Derivation of Randomized Sorting and Selection Algorithms

Scheduling Program Task Graphs on MIMD Architectures

Deductive Derivation of Parallel Programs

Some Experiments in Transforming Towards Parallel Executability

Time-Space Optimal Parallel Computation

The Use of the Tupling Strategy in the Development of Parallel Programs

Derivation of Parallel Sorting Algorithms

The Springer International Series In Engineering and Computer Science - Parallel Algorithm Derivation and Program Transformation
Latest Publications