Specification of Parallel Algorithms

Inbunden, Engelska, 1994

Del i serien DIMACS: Series in Discrete Mathematics and Theoretical Computer Science

1 370 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale parallel systems, specification tools and environments, and proof techniques for concurrent systems.

Produktinformation

Utgivningsdatum:1994-12-30
Vikt:936 g
Format:Inbunden
Språk:Engelska
Serie:DIMACS: Series in Discrete Mathematics and Theoretical Computer Science
Antal sidor:399
Förlag:American Mathematical Society
ISBN:9780821802533

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Tillämpad matematik inom Naturvetenskap och teknik
Programmeringsböcker inom Data och IT

Innehållsförteckning

A case study in irregular parallel programming by A. Chien, M. Straka, J. Dolby, V. Karamcheti, J. Plevyak, and X. Zhang BSP programming by W. F. McColl Beyond computable functions or escape from the Turing tarpit by P. Wegner Compositional specifications of parallel programs: Nondeterministic data flow by K. M. Chandy and B. A. Sanders Building categorical data type programs by D. B. Skillicorn The concurrency factory--Practical tools for specification, simulation, verification, and implementation of concurrent systems by R. Cleaveland, J. N. Gada, P. M. Lewis, S. A. Smolka, O. Sokolsky, and S. Zhang Operational implication of conditional unity properties by Y.-K. Tsay and R. L. Bagrodia On the implementation of set-based parallel algorithms by S. F. Hummel On granularity of events in distributed computations by M. Hurfin, N. Plouzeau, and M. Raynal Atomic transactions for multiprocessor programming: A formal approach by N. Lynch A practical parallel programming model by L. Snyder A program building tool for parallel applications by S. Ahmed, N. Carriero, and D. Gelernter Higher-order multiset programming by D. Le Metayer Specifying parallel programs in a functional language: The EPL experience by B. K. Szymanski Developing molecular dynamics simulation codes using mixed language programming by T. DeBoni, J. Feo, H. Caffey, and F. Hausheer Actor languages for specification of parallel computations by G. Agha, W. Kim, and R. Panwar The mode system of moded flat GHC by K. Ueda ABCL/$f$: A future-based polymorphic typed concurrent object-oriented language--Its design and implementation by K. Taura, S. Matsuoka, and A. Yonezawa TLA in pictures by L. Lamport Specification, transformation, and programming of concurrent systems in rewriting logic by P. Lincoln, N. Marti-Oliet, and J. Meseguer Constraint satisfaction as a basis for designing nonmasking fault-tolerance by A. Arora, M. Gouda, and G. Varghese A discipline of multiprogramming by J. Misra Specification and development of parallel algorithms with the proteus system by A. Goldberg, P. Mills, L. Nyland, J. Prins, J. Reif, and J. Riely.

Mer från samma författare

Equivariant Homotopy and Cohomology Theory

American Mathematical Society

Häftad, 1996

758 kr

Introduction to Morse Theory

American Mathematical Society

Häftad, 2001

633 kr

Algebraic Geometry 1, Volume 1

American Mathematical Society

Häftad, 1999

633 kr

Geometry of Conics

American Mathematical Society

Häftad, 2007

591 kr

A. Adrian Albert Collected Mathematical Papers, Volume 3, Parts 1 & 2

American Mathematical Society

Inbunden, 1993

3 553 kr

Collected Works of Witold Hurewicz

American Mathematical Society

Inbunden, 1995

3 056 kr

John Von Neumann, 1903-1957

American Mathematical Society

Häftad, 1966

753 kr

Modern Statistics

American Mathematical Society

Häftad, 1980

1 495 kr

Game Theory and Its Applications

American Mathematical Society

Häftad, 1981

1 495 kr

Operations Research Mathematics and Models

American Mathematical Society

Häftad, 1981

1 495 kr

Mer från samma serie

Interconnection Networks and Mapping and Scheduling Parallel Computations

American Mathematical Society

Inbunden, 1995

1 439 kr

Parallel Processing of Discrete Optimization Problems

American Mathematical Society

Inbunden, 1995

1 537 kr

Formal Power Series and Algebraic Combinatorics

American Mathematical Society

Inbunden, 1995

786 kr

Parallel Algorithms

Sandeep N. Bhatt

Inbunden, 1997

786 kr

Geometric and Computational Perspectives on Infinite Groups

Gilbert Baumslag, David Epstein, Robert Gilman, Hamish Short, Charles Sims

Inbunden, 1995

1 008 kr

Global Minimization of Nonconvex Energy Functions

American Mathematical Society

Inbunden, 1995

1 120 kr

Satisfiability Problem

Ding-Zhu Du, Jun Gu, P. M. Pardalos

Inbunden, 1997

2 552 kr

Groups and Computation II

Larry A. Finkelstein, W.M. Kantor

Inbunden, 1997

1 370 kr

Descriptive Complexity and Finite Models

Neil Immerman, Phokion G. Kolaitis

Inbunden, 1997

967 kr

Proof Complexity and Feasible Arithmetics

Paul W. Beame, Samuel R. Buss

Inbunden, 1997

1 008 kr

Du kanske också är intresserad av

Nyhet

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

-19%

Stortaxi

Flora Wiström

Inbunden, 2026

(5)

209 kr259 kr

Annika Leone, Bettina Johansson - Bara rumpor på kalas, Inbunden

-21%

Del 8

Bara rumpor på kalas

Annika Leone, Bettina Johansson

Inbunden, 2026

119 kr151 kr

Nyhet

Svanesång : min syster Diana

Charles Spencer

Inbunden, 2026

269 kr

Ungdomar och identitet

Ann Frisén, Philip Hwang

Häftad, 2020

391 kr

Nätmobbning : handbok för skolan

Ann Frisén, Sofia Berne

Häftad, 2016

(3)

329 kr

Nyhet

Det läkande köket

Cecilia Nilsson

Inbunden, 2026

259 kr

Nyhet

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

Specification of Parallel Algorithms

AvAmerican Mathematical Society

Inbunden, Engelska, 1994

Del i serien DIMACS: Series in Discrete Mathematics and Theoretical Computer Science

1 370 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1994-12-30
Vikt:936 g
Format:Inbunden
Språk:Engelska
Serie:DIMACS: Series in Discrete Mathematics and Theoretical Computer Science
Antal sidor:399
Förlag:American Mathematical Society
ISBN:9780821802533

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Tillämpad matematik inom Naturvetenskap och teknik
Programmeringsböcker inom Data och IT

Innehållsförteckning

A case study in irregular parallel programming by A. Chien, M. Straka, J. Dolby, V. Karamcheti, J. Plevyak, and X. Zhang BSP programming by W. F. McColl Beyond computable functions or escape from the Turing tarpit by P. Wegner Compositional specifications of parallel programs: Nondeterministic data flow by K. M. Chandy and B. A. Sanders Building categorical data type programs by D. B. Skillicorn The concurrency factory--Practical tools for specification, simulation, verification, and implementation of concurrent systems by R. Cleaveland, J. N. Gada, P. M. Lewis, S. A. Smolka, O. Sokolsky, and S. Zhang Operational implication of conditional unity properties by Y.-K. Tsay and R. L. Bagrodia On the implementation of set-based parallel algorithms by S. F. Hummel On granularity of events in distributed computations by M. Hurfin, N. Plouzeau, and M. Raynal Atomic transactions for multiprocessor programming: A formal approach by N. Lynch A practical parallel programming model by L. Snyder A program building tool for parallel applications by S. Ahmed, N. Carriero, and D. Gelernter Higher-order multiset programming by D. Le Metayer Specifying parallel programs in a functional language: The EPL experience by B. K. Szymanski Developing molecular dynamics simulation codes using mixed language programming by T. DeBoni, J. Feo, H. Caffey, and F. Hausheer Actor languages for specification of parallel computations by G. Agha, W. Kim, and R. Panwar The mode system of moded flat GHC by K. Ueda ABCL/$f$: A future-based polymorphic typed concurrent object-oriented language--Its design and implementation by K. Taura, S. Matsuoka, and A. Yonezawa TLA in pictures by L. Lamport Specification, transformation, and programming of concurrent systems in rewriting logic by P. Lincoln, N. Marti-Oliet, and J. Meseguer Constraint satisfaction as a basis for designing nonmasking fault-tolerance by A. Arora, M. Gouda, and G. Varghese A discipline of multiprogramming by J. Misra Specification and development of parallel algorithms with the proteus system by A. Goldberg, P. Mills, L. Nyland, J. Prins, J. Reif, and J. Riely.