ACM distinguished dissertations

• 資料種別: 図書
• タイトル: ACM distinguished dissertations
• 出版事項: MIT Press
• 並列タイトル等: An ACM distinguished dissertation
• 出版地（国名コード）: us
• 対象利用者: 一般
• 関連情報: 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
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA00122894#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA00122894 : BA00122894

目次

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