aller au contenu
Translating concurrent communicating programs into delay-insensitive circuits
FermerAperçu de cet ouvrage

Translating concurrent communicating programs into delay-insensitive circuits

Auteur : Erik Brunvand; Robert F Sproull
Éditeur : Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
Collection : Carnegie-Mellon University.; Computer Science Dept.; Research paper
Édition/format :   Livre : AnglaisVoir toutes les éditions et les formats
Résumé :
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  Lire la suite...
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

 

Trouver un exemplaire dans la bibliothèque

Récupération en cours... Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format : Livre
Tous les auteurs / collaborateurs : Erik Brunvand; Robert F Sproull
Numéro OCLC : 20617329
Notes : "April 30, 1989."
Description : 29 p. : ill. ; 28 cm.
Titre de collection : Carnegie-Mellon University.; Computer Science Dept.; Research paper
Responsabilité : Erik Brunvand, Robert F. Sproull.

Résumé :

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

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...

Tags

Soyez le premier.

Ouvrages semblables

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


<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: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:inLanguage"en"
schema:name"Translating concurrent communicating programs into delay-insensitive circuits"
schema:numberOfPages"29"
schema:publisher
rdf:typeschema:Organization
schema:name"Carnegie Mellon University, Computer Science Dept."
Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.