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: Modeling embedded systems and SoC's
    sub title: concurrency and time in models of computation
  title info:
    title: Referex
  name:
    name part: Jantsch, Axel.
    role:
      role term: creator
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: cau
    date issued: 2004
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: remote
    extent: xxii, 351 pages : illustrations ; 24 cm.
  abstract: Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level design is a critical component in the search for methods to develop designs more productively. However, there are a number of challenges that must be overcome in order to implement system level modeling. This book directly addresses that need by developing organizing principles for understanding, assessing, and comparing the different models of computation necessary for system level modeling. Dr. Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. After developing this conceptual framework, he presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the "right" model of computation for the task at hand. *Offers a unique and significant contribution to the emerging field of models of computation *Presents a systematic way of understanding and applying different Models of Computation to embedded systems and SoC design *Offers insights and illustrative examples for practioners, researchers and students of complex electronic systems design.
  table of contents: Preface -- 1. Introduction -- 2. Behavior and Concurrency -- 3. The Untimed Model of Computation -- 4. The Synchronous Model of Computation -- 5. The Timed Model of Computation -- 6. MoC Interfaces -- 7. Tightly Coupled Process Networks -- 8. Nondeterminism and Probability -- 9. Applications -- 10. Concluding Remarks.
  note: Axel Jantsch.
  note: Electronic resource.
  note: Electronic reproduction. Amsterdam : Elsevier Science & Technology, 2007. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Aug. 2, 2007). Access may be restricted to users at subscribing institutions.
  note: Includes bibliographical references and index.
  subject:
    topic: Embedded computer systems
    topic: Design and construction
    topic: Data processing
  subject:
    topic: Systems on a chip
    topic: Design and construction
    topic: Data processing
  subject:
    topic: Timing circuits
    topic: Design and construction
    topic: Data processing
  subject:
    topic: Computer multitasking
  subject:
    topic: Arquitetura e organização de computadores
  subject:
    topic: Sistemas embutidos
  classification: TK7895.E42 J365 2004eb
  classification: 004.16
  related item:
    identifier: (DLC) 2003047408
    identifier: (OCoLC)51978028
  related item:
    title info:
      title: Morgan Kaufmann series in systems on silicon
  identifier: 9781558609259
  identifier: 1558609253
  identifier: 97289:97289 Elsevier Science & Technology
  identifier: http://proxy.library.tamu.edu/login
  identifier: http://www.loc.gov/catdir/description/els031/2003047408.html
  identifier: http://www.loc.gov/catdir/toc/els031/2003047408.html
  related item:
    location:
      url: http://www.loc.gov/catdir/description/els031/2003047408.html
  related item:
    location:
      url: http://www.loc.gov/catdir/toc/els031/2003047408.html
  record info:
    record content source: OPELS
    record creation date: 070806
    record change date: 20260609193322.2
    record identifier: in00002425779