doorgaan naar inhoud
Translating concurrent communicating programs into delay-insensitive circuits Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Translating concurrent communicating programs into delay-insensitive circuits

Auteur: Erik Brunvand; Robert F Sproull
Uitgever: Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
Serie: Carnegie-Mellon University.; Computer Science Department.; Research paper
Editie/Formaat:   Boek : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:
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  Meer lezen...
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Soort document: Boek
Alle auteurs / medewerkers: Erik Brunvand; Robert F Sproull
OCLC-nummer: 20617329
Opmerkingen: "April 30, 1989."
Beschrijving: 29 pages : illustrations ; 28 cm.
Serietitel: Carnegie-Mellon University.; Computer Science Department.; Research paper
Verantwoordelijkheid: Erik Brunvand, Robert F. Sproull.

Fragment:

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

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.

Vergelijkbare items

Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


<http://www.worldcat.org/oclc/20617329>
library:oclcnum"20617329"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
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:isPartOf
schema:name"Translating concurrent communicating programs into delay-insensitive circuits"@en
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.