ACM distinguished dissertations

• Material Type: 図書
• Title: ACM distinguished dissertations
• Publication, Distribution, etc.: MIT Press
• Alternative Title: An ACM distinguished dissertation
• Place of Publication (Country Code): us
• Target Audience: 一般
• Related Material: Formal specification of interactive graphics programming languages; https://cir.nii.ac.jp/crid/1130000793820714880; Two issues in public-key cryptography : RSA bit security and a new knapsack type system; https://cir.nii.ac.jp/crid/1130000794099333888; The design and evaluation of a high performance Smalltalk system; https://cir.nii.ac.jp/crid/1130000794390465024; Uses of randomness in algorithms and protocols; https://cir.nii.ac.jp/crid/1130000794837110912; Using hard problems to create pseudorandom generators; https://cir.nii.ac.jp/crid/1130000795069601152; The connection machine; https://cir.nii.ac.jp/crid/1130000796252590592; Synthesis of digital designs from recursion equations; https://cir.nii.ac.jp/crid/1130000796426018944; The rapid evaluation of potential fields in particle systems; https://cir.nii.ac.jp/crid/1130000797929083776; Performance analysis of data sharing environments; https://cir.nii.ac.jp/crid/1130000798391142400; Redundant disk arrays : reliable, parallel secondary storage; https://cir.nii.ac.jp/crid/1130282268743579776; Algorithm animation; https://cir.nii.ac.jp/crid/1130282270029053696; The computational complexity of machine learning; https://cir.nii.ac.jp/crid/1130282270142895360; Trace theory for automatic hierarchical verification of speed-independent circuits; https://cir.nii.ac.jp/crid/1130282270166688512; The measurement of visual motion; https://cir.nii.ac.jp/crid/1130282270574106624; A geometric investigation of reach; https://cir.nii.ac.jp/crid/1130282270596181504; Abstraction mechanisms and language design; https://cir.nii.ac.jp/crid/1130282270704371456; All the right moves : a VLSI architecture for chess; https://cir.nii.ac.jp/crid/1130282271087923968; Computational models of games; https://cir.nii.ac.jp/crid/1130282271488647936; Algorithmic program debugging; https://cir.nii.ac.jp/crid/1130282271911070848; Analytic methods in the analysis and design of number-theoretic algorithms; https://cir.nii.ac.jp/crid/1130282272183234944; The power of interaction; https://cir.nii.ac.jp/crid/1130282272564153216; Model-based image matching using location; https://cir.nii.ac.jp/crid/1130282273092359936; https://cir.nii.ac.jp/crid/1130282273101265024
• Related Material (URI): https://ci.nii.ac.jp/ncid/BA00122894#entity
• Data Provider (Database): 国立情報学研究所 : CiNii Research
• Original Data Provider (Database): CiNii Books; https://ci.nii.ac.jp/books
• NCID: https://ci.nii.ac.jp/ncid/BA00122894 : BA00122894

Table of Contents

Formal specification of interactive graphics programming languages

Two issues in public-key cryptography : RSA bit security and a new knapsack type system

The design and evaluation of a high performance Smalltalk system

Uses of randomness in algorithms and protocols

Using hard problems to create pseudorandom generators