rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Synthesizing synchronous systems by static scheduling in space-time
  name:
    name part: Lisper, Björn.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 1989
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (vi, 262 pages) : illustrations
  abstract: The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. The task is to find a mapping, assigning a space-time coordinate to each event, so that causality is not violated and the solution is "good". Previous work in the area, if it provided any formalism at all, has relied mainly on uniform recurrence equations, extensions thereof, or on purely graph-theoretic formulations. In this project algebra is used instead and the close connection with single-assignment languages is stressed. Thus it is possible to generalize previous work and to give simple characterizations of the type of algorithms that can be implemented with space-time mappings. The results presented can be applied to hardware construction and compiler techniques for parallel computers.
  note: Björn Lisper.
  note: Electronic resource.
  note: Includes bibliographical references (pages [179]-184).
  subject:
    topic: Parallel processing (Electronic computers)
  subject:
    topic: System design
  subject:
    topic: Parallel processing (Electronic computers)
  subject:
    topic: System design
  classification: QA76.5 .L5288 1989
  classification: 004/.35
  classification: 54.32
  related item:
    identifier: (OCoLC)19959966
  related item:
    title info:
      title: Lecture notes in computer science ; 362
  identifier: 9783540461722 (electronic bk.)
  identifier: 3540461728 (electronic bk.)
  identifier: 0387511563
  identifier: 9780387511566
  identifier: 3540511563
  identifier: 9783540511564
  identifier: 89193855
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: SCPER
    record creation date: 900131
    record change date: 20260422225800.0
    record identifier: in00003508481