컨텐츠로 이동
Translating concurrent communicating programs into delay-insensitive circuits 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Translating concurrent communicating programs into delay-insensitive circuits

저자: Erik Brunvand; Robert F Sproull
출판사: Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
시리즈: Carnegie-Mellon University.; Computer Science Department.; Research paper
판/형식:   Print book : 영어모든 판과 형식 보기
데이터베이스:WorldCat
요약:
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  더 읽기…
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

문서 형식:
모든 저자 / 참여자: Erik Brunvand; Robert F Sproull
OCLC 번호: 20617329
메모: "April 30, 1989."
설명: 29 pages : illustrations ; 28 cm.
일련 제목: Carnegie-Mellon University.; Computer Science Department.; Research paper
책임: Erik Brunvand, Robert F. Sproull.

초록:

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

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/20617329> # Translating concurrent communicating programs into delay-insensitive circuits
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "20617329" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/22253113#Place/pittsburgh_pa> ; # Pittsburgh, Pa.
   schema:about <http://id.worldcat.org/fast/1185024> ; # occam (Computer program language)
   schema:about <http://id.worldcat.org/fast/906874> ; # Electronic circuits
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/22253113#Person/sproull_robert_f> ; # Robert F. Sproull
   schema:creator <http://viaf.org/viaf/33789258> ; # Erik Brunvand
   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 <http://experiment.worldcat.org/entity/work/data/22253113#Series/research_paper> ; # Research paper ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/22253113#Series/research_paper_carnegie_mellon_university_computer_science_dept> ; # Research paper. Carnegie Mellon University. Computer Science Dept. ;
   schema:name "Translating concurrent communicating programs into delay-insensitive circuits"@en ;
   schema:productID "20617329" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20617329#PublicationEvent/pittsburgh_pa_carnegie_mellon_university_computer_science_dept_1989> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/22253113#Agent/carnegie_mellon_university_computer_science_dept> ; # Carnegie Mellon University, Computer Science Dept.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20617329> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/22253113#Agent/carnegie_mellon_university_computer_science_dept> # Carnegie Mellon University, Computer Science Dept.
    a bgn:Agent ;
   schema:name "Carnegie Mellon University, Computer Science Dept." ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Organization/carnegie_mellon_university_computer_science_department> # Carnegie-Mellon University. Computer Science Department.
    a schema:Organization ;
   schema:name "Carnegie-Mellon University. Computer Science Department." ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Person/sproull_robert_f> # Robert F. Sproull
    a schema:Person ;
   schema:familyName "Sproull" ;
   schema:givenName "Robert F." ;
   schema:name "Robert F. Sproull" ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Place/pittsburgh_pa> # Pittsburgh, Pa.
    a schema:Place ;
   schema:name "Pittsburgh, Pa." ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Series/research_paper> # Research paper ;
    a bgn:PublicationSeries ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/22253113#Organization/carnegie_mellon_university_computer_science_department> ; # Carnegie-Mellon University. Computer Science Department.
   schema:hasPart <http://www.worldcat.org/oclc/20617329> ; # Translating concurrent communicating programs into delay-insensitive circuits
   schema:name "Research paper ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Series/research_paper_carnegie_mellon_university_computer_science_dept> # Research paper. Carnegie Mellon University. Computer Science Dept. ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20617329> ; # Translating concurrent communicating programs into delay-insensitive circuits
   schema:name "Research paper. Carnegie Mellon University. Computer Science Dept. ;" ;
    .

<http://id.worldcat.org/fast/1185024> # occam (Computer program language)
    a schema:Intangible ;
   schema:name "occam (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/906874> # Electronic circuits
    a schema:Intangible ;
   schema:name "Electronic circuits"@en ;
    .

<http://viaf.org/viaf/33789258> # Erik Brunvand
    a schema:Person ;
   schema:familyName "Brunvand" ;
   schema:givenName "Erik" ;
   schema:name "Erik Brunvand" ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.