pular para conteúdo
Translating concurrent communicating programs into delay-insensitive circuits Ver prévia deste item
FecharVer prévia deste item
Checando...

Translating concurrent communicating programs into delay-insensitive circuits

Autor: Erik Brunvand; Robert F Sproull
Editora: Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
Séries: Carnegie-Mellon University.; Computer Science Department.; Research paper
Edição/Formato   Livro : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:
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  Ler mais...
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Tipo de Documento: Livro
Todos os Autores / Contribuintes: Erik Brunvand; Robert F Sproull
Número OCLC: 20617329
Notas: "April 30, 1989."
Descrição: 29 pages : illustrations ; 28 cm.
Título da Série: Carnegie-Mellon University.; Computer Science Department.; Research paper
Responsabilidade: Erik Brunvand, Robert F. Sproull.

Resumo:

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

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.

Ítens Similares

Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


<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

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.