Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Distributed computing 1 (1986), S. 177-183 
    ISSN: 1432-0452
    Keywords: Systolic algorithm ; Multiple assignment ; Invariant ; Program development ; Proofs of programs
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We represent a systolic algorithm by a program consisting of one multiple assignment statement that captures its operation and data flow. We use invariants to develop such programs systematically. We present two examples, matrix multiplication and LU-decomposition of a matrix.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    The journal of supercomputing 11 (1997), S. 101-118 
    ISSN: 1573-0484
    Keywords: distributed systems ; archiving ; transactions ; distributed sessions ; global snapshots ; asynchronous collaboration ; world wide web ; infospheres ; components ; composition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We identify the mechanisms needed to construct archivable webs of distributed asynchronous collaborations and experiments. The distinguishing feature of our approach is that the component tools, software, data, and even participants are distributed over a worldwide network. We perform a requirements analysis of an infrastructure that supports such applications, and present the Caltech Infospheres Infrastructure as a prototype that satisfies the requirements identified. In describing this prototype, we highlight the useful mechanisms provided, present an algorithm for using the Infospheres Infrastructure to perform asynchronous global snapshots for archiving, and suggest future areas of exploration.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Book
    Book
    Amsterdam u.a. :North-Holland,
    Title: Computer performance
    Author: Chandy, K. Mani
    Contributer: Reiser, Martin
    Publisher: Amsterdam u.a. :North-Holland,
    Year of publication: 1977
    Pages: 564 S.
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Book
    Book
    Boston u.a. :Jones and Bartlett,
    Title: ¬An¬ introduction to parallel programming
    Author: Chandy, K. Mani
    Contributer: Taylor, Stephen
    Publisher: Boston u.a. :Jones and Bartlett,
    Year of publication: 1992
    Pages: 228 S.
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...