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:
    non sort: A
    title: graph model for deadlock prevention
  name:
    name part: Tanik, Murat Mehmet.
    role:
      role term: creator
  name:
    name part: Drew, Dan D.
    role:
      role term: degree committee member.
  name:
    name part: Pooch, Udo W.
    role:
      role term: degree supervisor.
  name:
    name part: Ridger, Larry J.
    role:
      role term: degree committee member.
  name:
    name part: Williams, Glen N.
    role:
      role term: degree committee member.
  name:
    name part: Texas A & M University
    role:
      role term: degree granting institution.
  type of resource: text
  genre: bibliography
  genre: Academic theses.
  origin info:
    place:
      place term: txu
    date issued: 1978
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xv, 163 leaves : graphs ; 29 cm
  abstract: A deadlock prevention model is developed. In the process, a relationship between two seemingly unrelated problems and their relevance to deadlock prevention problem is demonstrated. These problems are Dijkstra's n-philosophers synchronization problem and n-queens problem. A program is developed in which the generation of deadlock free paths is possible. Several synchronization models are compared and their relationship to deadlock prevention problem is shown. A graphic representation of task systems model is developed which makes the identification of the relationship between task systems model and vector addition systems more transparent.
  note: by Murat Mehmet Tanik.
  note: "Major subject: Computing Science."
  note: Vita.
  note: Texas A & M University
  note: Includes bibliographical references (leaves 142-149).
  subject:
    topic: Computer programs
  subject:
    topic: Operating systems (Computers)
    topic: Graphic methods
  subject:
    topic: Computing Science
  identifier: http://proxy.library.tamu.edu/login
  identifier: https://hdl.handle.net/1969.1/DISSERTATIONS-199073
  related item:
    location:
      url: http://proxy.library.tamu.edu/login
  related item:
    location:
      url: https://hdl.handle.net/1969.1/DISSERTATIONS-199073
  record info:
    record content source: TXA
    record creation date: 791019
    record change date: 20220104090547.0
    record identifier: in00000195694
    language of cataloging:
      language term: eng