Veuillez indiquer si vous voulez ou non que les autres utilisateurs puissent voir dans votre profil que cette bibliothèque est l’une de vos préférées.
Trouver un exemplaire dans la bibliothèque
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
Ajoutez une critique et partagez vos impressions avec d’autres lecteurs.
Soyez le premier.
Ajoutez une critique et partagez vos impressions avec d’autres lecteurs.
Soyez le premier.
Tags
Ajoutez des tags pour "Translating concurrent communicating programs into delay-insensitive circuits".
Soyez le premier.
