The Resource Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism, Josyula Ramachandra Rao

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism, Josyula Ramachandra Rao

Label
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
Title
Extensions of the UNITY methodology
Title remainder
compositionality, fairness, and probability in parallelism
Statement of responsibility
Josyula Ramachandra Rao
Creator
Subject
Genre
Language
eng
Summary
"This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions. This treatise further develops the ideas behind UNITY in order to explore and understand the potential and limitations of this approach: first UNITY is applied to formulate and tackle problems in parallelism such as compositionality; second, the logic and notation of UNITY is generalized in order to increase its range of applicability; finally, paradigms and abstractions useful for the design of probabilistic parallel algorithms are developed. Taken together the results presented reaffirm the promise of UNITY as a versatile medium for treating many problems of parallelism."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
http://library.link/vocab/creatorDate
1962-
http://library.link/vocab/creatorName
Rao, Josyula Ramachandra
Illustrations
illustrations
Index
index present
LC call number
QA76.642
LC item number
.R43 1995
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/subjectName
  • Parallel programming (Computer science)
  • Computer software
  • vérification programme
  • programmation parallèle
  • UNITY
  • Logiciels
  • Programmation parallèle (Informatique)
  • Computer software
  • Parallel programming (Computer science)
  • Programmatuurtechniek
  • Programmation parallèle (informatique)
  • Logiciels
  • Parallelverarbeitung
  • Programmierung
Label
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism, Josyula Ramachandra Rao
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references (p. [169]-173) and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 178 pages
File format
unknown
Isbn
9780387591735
Isbn Type
(New York : acid-free paper)
Lccn
95010413
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)32202171
  • (OCoLC)ocm32202171
Label
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism, Josyula Ramachandra Rao
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references (p. [169]-173) and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 178 pages
File format
unknown
Isbn
9780387591735
Isbn Type
(New York : acid-free paper)
Lccn
95010413
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)32202171
  • (OCoLC)ocm32202171

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...