passa ai contenuti
Translating concurrent communicating programs into delay-insensitive circuits Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Translating concurrent communicating programs into delay-insensitive circuits

Autore: Erik Brunvand; Robert F Sproull
Editore: Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
Serie: Carnegie-Mellon University.; Computer Science Department.; Research paper
Edizione/Formato:   Libro : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:
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  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo documento: Book
Tutti gli autori / Collaboratori: Erik Brunvand; Robert F Sproull
Numero OCLC: 20617329
Note: "April 30, 1989."
Descrizione: 29 pages : illustrations ; 28 cm.
Titolo della serie: Carnegie-Mellon University.; Computer Science Department.; Research paper
Responsabilità: Erik Brunvand, Robert F. Sproull.

Abstract:

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."

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<http://www.worldcat.org/oclc/20617329>
library:oclcnum"20617329"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/20617329>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:author
schema:contributor
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.""
schema:exampleOfWork<http://worldcat.org/entity/work/id/22253113>
schema:inLanguage"en"
schema:name"Translating concurrent communicating programs into delay-insensitive circuits"
schema:publisher
rdf:typeschema:Organization
schema:name"Carnegie Mellon University, Computer Science Dept."

Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.