skip to main content
article
Free Access

Survey of educational programs in medical information science

Published:01 December 1987Publication History
Skip Abstract Section

Abstract

The behavior of a VLSI device can be expressed in occam, a language based on communicating processes. It is then possible to establish that the design behaves as intended, by simulation and by proof techniques using the formal semantics of occam. Finally, the occam source can be directly compiled into correct silicon layout.

References

  1. Occam Programming Manual, Prentice-Hall International, 1984 Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. The Laws of Occam Programming, A W Roscoe and C A R Hoare, Programming Research Group, Oxford University, 1986.Google ScholarGoogle Scholar
  3. Format Methods applied to a Floating Point Number System, G Barrett, Programming Research Group, Oxford University, 1986.Google ScholarGoogle Scholar
  4. The Transputer Implementation of Occam, David May and Roger Shepherd, Esprit Summer School on Future Parallel Computers, 1986.Google ScholarGoogle Scholar
  5. Compiling Communicating Processes into delay insensitive VLSI Circuits, Alain J Martin, Journal of distributed computing, 1986.Google ScholarGoogle Scholar
  6. Communicating Process Computers, David May and Roger Shepherd, Esprit Summer School on Future Parallel Computers, 1986.Google ScholarGoogle Scholar

Index Terms

  1. Survey of educational programs in medical information science

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGMICRO Newsletter
            ACM SIGMICRO Newsletter  Volume 18, Issue 4
            Dec. 1987
            35 pages
            ISSN:1050-916X
            DOI:10.1145/16360
            Issue’s Table of Contents

            Copyright © 1987 Authors

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 December 1987

            Check for updates

            Qualifiers

            • article
          • Article Metrics

            • Downloads (Last 12 months)8
            • Downloads (Last 6 weeks)0

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!