ACM distinguished dissertations

Material type: 図書

Author: -

Publisher: MIT Press

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

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 The connection machine Synthesis of digital designs from recursion equations The rapid evaluation of potential fields in particle systems Performance analysis of data sharing environments Redundant disk arrays : reliable, parallel secondary storage Algorithm animation The computational complexity of machine learning Trace theory for automatic hierarchical verification of speed-independent circuits The measurement of visual motion A geometric investigation of reach Abstraction mechanisms and language design All the right moves : a VLSI architecture for chess Computational models of games Algorithmic program debugging Analytic methods in the analysis and design of number-theoretic algorithms The power of interaction Model-based image matching using location The connection machine

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

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
The connection machine
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