přejít na obsah
Translating concurrent communicating programs into delay-insensitive circuits Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Translating concurrent communicating programs into delay-insensitive circuits

Autor Erik Brunvand; Robert F Sproull
Vydavatel: Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
Edice: Carnegie-Mellon University.; Computer Science Department.; Research paper
Vydání/formát:   Kniha : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:
Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been  Přečíst více...
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Typ dokumentu: Book
Všichni autoři/tvůrci: Erik Brunvand; Robert F Sproull
OCLC číslo: 20617329
Poznámky: "April 30, 1989."
Popis: 29 pages : illustrations ; 28 cm.
Název edice: Carnegie-Mellon University.; Computer Science Department.; Research paper
Odpovědnost: Erik Brunvand, Robert F. Sproull.

Anotace:

Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation."

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.

Podobné dokumenty

Související předmětová hesla:(2)

Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


<http://www.worldcat.org/oclc/20617329>
library:oclcnum"20617329"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/20617329>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:creator
schema:datePublished"1989"
schema:description"Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation.""@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/22253113>
schema:inLanguage"en"
schema:name"Translating concurrent communicating programs into delay-insensitive circuits"@en
schema:publisher
schema:url

Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.