absentee computations
ABSENTEE COMPUTATIONS IN A MULTIPLE-ACCESS COMPUTER _ ..
abstract data types
ABSTRACT DATA TYPES IN STACK BASED LANGUAGES
SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONS ABSTRACT MODEL SPECIFICATIONS FOR DATA ABSTRACTIONS TRANSMITIING ABSTRACT VALUES IN MESSAGES
TOWARDS A THEORY FOR ABSTRACT DATA TYPES REFLECTION AND SEMANTICS IN A PROCEDURAL LANGUAGE AUTOMATIC SYNTHESIS OF IMPLEMENTATIONS FOR ABSTRACT abstract machines
A PORTABLE COMPILER FOR THE LANGUAGE C access control
THE RELATIONAL APPROACH TO THE MANAGEMENT OF DATA BASES THE MACAIMS DATA MANAGEMENT SYSTEM
PRIMARY ACCESS CONTROL IN LARGE·SCALE TIME-SHARED . NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED access
STORAGE AND ACCESS COSTS FOR IMPLEMENTATIONS OF actors
CONCURRENT PROGRAMMING
ACTORS AND CONTINUOUS FUNCTIONALS
MULTlPLE·PROCESSOR IMPLEMENTATIONS OF MESSAGE PASSING adaptive control
IN·PROCESS MANUFACTURING QUALITY CONTROL address space
COMPUTER SYSTEMS WITH A VERY LARGE ADDRESS SPACE AND algebraic manipulation
COMBINING DIMENSIONALITY AND RATE OF GROWTH ARGUMENTS ..
THE REDUCTION METHOD FOR ESTABLISHING LOWER BOUNDS ON . COMPUTER PROGRAMS FOR RESEARCH IN GRAVITATION AND AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION SYMBOLIC INTEGRATION
EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC ..
ESSAYS IN ALGEBRAIC SIMPLIFICATION
THE HENSEL LEMMA IN ALGEBRAIC MANIPULATION algebraic specification
AUTOMATIC SYNTHESIS OF IMPLEMENTATIONS FOR ABSTRACT.
algorithm analysis
ANALYSIS OF THE SIMPLE CODE FOR DATA FLOW COMPUTATION ALGORITHMS FOR INTEGRATED CIRCUIT LAYOUT: AN ANALYTIC algorithm implementations
ANALYSIS OF ALGORITHM IMPLEMENTATIONS algorithms
COMBINING DIMENSIONALITY AND RATE OF GROWTH ARGUMENTS THE REDUCTION METHOD FOR ESTABLISHING LOWER BOUNDS ON OPTIMAL PLACEMENT FOR RIVER ROUTING
AN APPROXIMATION ALGORITHM FOR MANHATIAN ROUTING NEAR-OPTIMAL BIN PACKING ALGORITHMS
THE COMPLEXITY OF MONOTONE BOOLEAN FUNCTIONS AND AN allophonic variation
PHRASE·STRUCTURE PARSING. A METHOD FOR TAKING ADVANTAGE alternate routing
A HEURISTIC APPROACH TO ALTERNATE ROUTING IN A JOB SHOP ambiguity
COPING WITH SYNTACTIC AMBIGUITY OR HOW TO PUT THE BLOCK ..
analysis of algorithms
THE IMPACT OF LAYER ASSIGNMENT METHODS ON LAYOUT.
applicative languages
STREAM-ORIENTED COMPUTATION IN RECURSIVE DATA FLOW ..
OPERATIONAL SEMANTICS OF A DATA FLOW LANGUAGE AN INTERMEDIATE FORM FOR DATA FLOW PROGRAMS A DATA FLOW ARCHITECTURE WITH TAGGED TOKENS I-STRUCTURES AN EFFICIENT DATA TYPE FOR FUNCTIONAL.
FUNCTIONAL DOMAINS OF APPLICATIVE LANGUAGES
VAL-·A VALUE-ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFLECTION AND SEMANTICS IN A PROCEDURAL LANGUAGE architecture
REPORT ON THE WORKSHOP ON DATA FLOW COMPUTER AND A LOGIC DESIGN FOR THE CELL BLOCK OF A DATA FLOW AN INPUT/OUTPUT ARCHITECTURE FOR VIRTUAL MEMORY A PARALLEL ASYNCHRONOUS COMPUTER ARCHITECTURE FOR DATA SIMULATION OF PACKET COMMUNICATION ARCHITECTURE A DATA FLOW ARCHITECTURE WITH IMPROVED ASYMPTOTIC ..
TR-052
AN ASYMPTOTICALLY OPTIMAL LAYOUT FOR THE.
arithmetical
FACTORING NUMBERS IN 0 (LOG n) ARITHMETIC STEPS COMPUTABILITY AND COMPLETENESS IN LOGICS OF PROGRAMS NONDETERMINISM IN LOGICS OF PROGRAMS
ARITHMETICAL COMPLETENESS IN LOGICS OF PROGRAMS WHAT IS A MODEL OF THE LAMBDA CALCULUS? EXPANDED LOGICS OF PROGRAMS AXIOMATICS AND DESCRIPTIVE POWER artificial intelligence
A COMPUTER MODEL OF SIMPLE FORMS OF LEARNING AN OVERVIEW OF OWL, A LANGUAGE FOR KNOWLEDGE.
DESCRIPTIONS AND THE SPECIALIZATION OF CONCEPTS ARTIFICIAL INTELLIGENCE AND CLINICAL PROBLEM SOLVING SOME NEW METHODS OF MUSIC SYNTHESIS
BRAND X MANUAL
PILOT. A STEP TOWARDS MAN-COMPUTER SYMBIOSIS
COMPUTER RECOGNITION OF THREE-DIMENSIONAL OBJECTS IN A COMPUTER RECOGNITION OF PRISMATIC SOLIDS
LEARNING STRUCTURAL DESCRIPTION FROM EXAMPLES SHAPE FROM SHADING' A METHOD FOR OBTAINING THE SHAPE OF COMPUTER ANALYSIS OF VISUAL PROPERTIES OF CURVED OBJECTS REFLECTION AND SEMANTICS IN A PROCEDURAL LANGUAGE THE REVISED MACLISP MANUAL
AUTOMATIC SYNTHESIS OF IMPLEMENTATIONS FOR ABSTRACT associative memory
HARDWARE ESTIMATION OF A PROCESS' PRIMARY MEMORY HIERARCHICAL ASSOCIATIVE MEMORIES FOR PARALLEL asynchronous design methodology
A DESIGN METHODOLOGY FOR SELF-TIMED SYSTEMS asynchronous systems
AN ASYNCHRONOUS LOGIC ARRAY
A LOGIC DESIGN FOR THE CELL BLOCK OF A DATA FLOW REPORT ON THE WORKSHOP ON SELF·TIMED SYSTEMS I-STRUCTURES. AN EFFICIENT DATA TYPE FOR FUNCTIONAL.
IMPLEMENTING INTERNET REMOTE LOGIN ON A PERSONAL ASYNCHRONOUS COMPUTATIONAL STRUCTURES COORDINATION OF ASYNCHRONOUS EVENTS
DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SAFETY AND OPTIMIZATION TRANSFORMATIONS FOR DATA FLOW.
IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY atomicity
CONCURRENT AND RELIABLE UPDATES OF DISTRIBUTED DATA BASE TIMEPAD . A PERFORMANCE IMPROVING SYNCHRONIZATION MANAGEMENT OF OBJECT HISTORIES IN THE SWALLOW REPOSITORY MULTILEVEL ATOMICITY - A NEW CORRECTNESS CRITERION FOR.
CONCURRENCY CONTROL FOR RESILIENT NESTED TRANSACTIONS attribute partitioning
ATIRIBUTE PARTITIONING IN A SELF-ADAPTIVE RELATIONAL authentication
A METHOD FOR OBTAINING SIGNATURES AND PUBLIC-KEY authorization mechanisms
MAKING COMPUTERS KEEP SECRETS automata
REVERSIBLE COMPUTING CONSERVATIVE LOGIC
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE FINITE TREE AUTOMATA AND W-AUTOMATA
THE EMPTINESS AND COMPLEMENTATION PROBLEMS FOR AUTOMATA PETRI NET LANGUAGES
DECIDABILITY QUESTIONS FOR PETRI NETS
SIMULATIONS AMONG MULTIDIMENSIONAL TURING MACHINES automated office systems
EVALUATION OF AN OFFICE ANALYSIS METHODOLOGY OFFICE ANALYSIS METHODOLOGY AND CASE STUDIES AN OFFICE ANALYSIS AND DIAGNOSIS METHODOLOGY
TM-221
automatic code generation
AUTOMATIC CODE·GENERATION FROM AN OBJECT·MACHINE ..
automatic data-structuring
SYNTAX·BASED ANALYTIC READING OF MUSICAL SCORES automatic flowcharting
PROGRAM ANALYSIS BY DIGITAL COMPUTER automatic programming
AUTOMATIC DESIGN OF DATA PROCESSING SYSTEMS
PROTOSYSTEM I· AN AUTOMATIC PROGRAMMING SYSTEM PROTOTYPE INDUCTION IN PROOFS ABOUT PROGRAMS
AN ABSTRACT MODEL OF A RESEARCH INSTITUTE: SIMPLE ..
A MODEl·DEBUGGING SYSTEM A PROGRAM WRITER DATA DRIVEN lOOPS
PRODUCING EXPLANATIONS AND JUSTIFICATIONS OF EXPERT ...
SEMIAUTOMATIC TRANSLATION OF COBOL INTO HIBOl axiom system
lOGICS OF PROGRAMS: AXIOMATICS AND DESCRIPTIVE POWER axiomatic definitions of programming languages
AXIOMATIC DEFINITIONS OF PROGRAMMING lANGUAGES: A ...
AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES, II TERMINATIONS FOR RECURSIVE PROGRAMS: COMPLETENESS AND ..
backup
IMPROVING INFORMATION STORAGE RELIABILITY USING A DATA ...
BACKUP AND RECOVERY OF ON·LlNE INFORMATION IN A ...
Batesons logic
ON BATESON'S lOGICAL lEVELS OF lEARNING Bayes Rule
A COMPUTER SYSTEM FOR DECISION ANALYSIS IN HODGKINS ...
BCPL
THE BCPl REFERENCE MANUAL bin packing
CRITICAL PATH SCHEDULING OF TASK SYSTEMS WITH RESOURCE ...
NEAR·OPTIMAl BIN PACKING ALGORITHMS birth defects
A COMPARATIVE STUDY OF COMPUTER·AIDED CLINICAL DIAGNOSIS bisection size
ON BISECTING RANDOM GRAPHS bisection
NEW LOWER BOUND TECHNIQUES FOR VlSI Boolean formula size
THE COMPLEXITY OF MONOTONE BOOLEAN FUNCTIONS AND AN ...
Boolean functions
A CLASS OF BOOLEAN FUNCTIONS WITH LINEAR COMBINATIONAL ..
BICONTINUOUS EXTENSIONS OF INVERTIBLE COMBINATORIAL.
!l (n log n) LOWER BOUNDS ON lENGTH OF BOOLEAN ..
THE COMPLEXITY OF MONOTONE BOOLEAN FUNCTIONS AND AN branch·and-bound
AN EFFICIENT ALGORITHM FOR DETERMINING THE lENGTH OF ..
building construction
INTERACTIVE DESIGN COORDINATION FOR THE BUilDING ...
building design
INTERACTIVE DESIGN COORDINATION FOR THE BUilDING.
business applications
CIRCUIT ANALYSIS OF SElF·TIMED ELEMENTS FOR NMOS VlSI ...
cable television
DATA COMMUNICATIONS VIA CABLE TELEVISION NETWORKS: ..
calculus problem solving
CARPS, A PROGRAM WHICH SOLVES CALCULUS WORD PROBLEMS calendar management
PROGRAMS FOR DISTRIBUTED COMPUTING: THE CALENDAR ...
PCAl A PERSONAL CALENDAR
COOPERATIVE OFFICE WORK, TELECONFERENCING AND CALENDAR ...
cancer
DIAGNOSTIC PLANNING AND CANCER MANAGEMENT canonic systems
A CANONIC TRANSLATOR
COMPLEXITY MEASURES FOR lANGUAGE RECOGNITION BY CANONIC.
canonic translators A CANONIC TRANSLATOR canonical form
TRANSMISSION OF INFORMATION BETWEEN A MAN·MACHINE ..
canonical simplification
ESSAYS IN ALGEBRAIC SIMPLIFICATION capabilities
TIMESTAMPS AND CAPABILlTY·BASED PROTECTION IN A ..
capability addressing
THE ARCHITECTURE OF AN OBJECT BASED PERSONAL COMPUTER cardinality constraints
ON THE COMPUTATIONAL COMPLEXITY OF CARDINALITY ..
TM·018
REFLECTION AND SEMANTICS IN A PROCEDURAL lANGUAGE causal representation
CAUSAL REPRESENTATION OF PATIENT IllNESS FOR.
cellular arrays
AUTOMATIC TEST, CONFIGURATION AND REPAIR OF CEllULAR ..
cellular automata
INFORMATION PROCESSING AND TRANSMISSION IN CEllULAR.
CGOL
A FORMALIZATION AND CORRECTNESS PROOF OF THE CGOl . change and contradiction
SUPPORTING ORGANIZATIONAL PROBLEM SOLVING WITH A ..
changing pictures
THE COMPUTER CONTROL OF CHANGING PICTURES channel routing
AN APPROXIMATION ALGORITHM FOR MANHATIAN ROUTING ALGORITHMS FOR INTEGRATED CIRCUIT lAYOUT: AN ANALYTIC ...
channel width
WAFER·SCAlE INTEGRATION OF SYSTOLIC ARRAYS character generation
DESIGN OF A lOW·COST CHARACTER GENERATOR FOR REMOTE ...
chart parsing
PRELIMINARY ANALYSIS OF A BREADTH·FIRST PARSING ...
Church random sequences PSEUDO·RANDOM SEQUENCES circuit and signal models
MODELS AND DATA STRUCTURES FOR DIGITAL lOGIC SIMULATION circuit complexity
THE COMPLEXITY OF MONOTONE BOOLEAN FUNCTIONS AND AN ...
circuit extraction
ARTWORK ANALYSIS TOOLS FOR VlSI CIRCUITS circuit layout
ALGORITHMS FOR INTEGRATED CIRCUIT lAYOUT. AN ANALYTIC '.' circuit optimization
OPTIMIZING SYNCHRONOUS SYSTEMS circuit size
CIRCUIT·SIZE lOWER BOUNDS AND NON·REDUCIBILITY TO ..
classification
BOUNDS ON INFORMATION RETRIEVAL EFFICIENCY IN STATIC.
classroom computer utility model
THE CLASSROOM INFORMATION AND COMPUTING SERVICE clinical decision making
DESIGN OF A PROGRAM FOR EXPERT DIAGNOSIS OF ACID BASE ..
ARTIFICIAL INTELLIGENCE AND CLINICAL PROBLEM SOLVING A PROGRAM FOR THERAPY OF ACID·BASE AND ELECTROLYTE ...
USING INTERACTIVE GRAPHICS IN SIMULATING THE HOSPITAL ..
A DIGITALIS THERAPY ADVISOR
STRATEGY SELECTION IN MEDICAL DIAGNOSIS DIAGNOSTIC PLANNING AND CANCER MANAGEMENT A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS CAUSAL REPRESENTATION OF PATIENT IllNESS FOR ..
A COMPUTER SYSTEM FOR DECISION ANALYSIS IN HODGKINS ..
A COMPARATIVE STUDY OF COMPUTER·AIDED CLINICAL DIAGNOSIS closures
REFLECTION AND SEMANTICS IN A PROCEDURAL lANGUAGE clusters
SEARCH PROCEDURES BASED ON MEASURES OF RELATEDNESS ...
CLU
ABSTRACT DATA TYPES IN STACK BASED lANGUAGES A FORMAL DEFINITION OF ClU
A DENOTATIONAl SEMANTICS OF ClU ClU REFERENCE MANUAL
TRANSMITIING ABSTRACT VALUES IN MESSAGES COBOL
SEMIAUTOMATIC TRANSLATION OF COBOL INTO HIBOl code generation
A PORTABLE COMPilER FOR THE lANGUAGE C code-generation
AUTOMATIC CODE·GENERATION FROM AN OBJECT·MACHINE codes tripping
REPRESENTATION AND ANALYSIS OF REAl·TIME CONTROL.
codeword sets
MINIMAX OPTIMAL UNIVERSAL CODEWORD SETS coding techniques
A CLASS OF BOOLEAN FUNCTIONS WITH LINEAR COMBINATIONAL.
THE COMPLEXITY OF NEGATION·LlMITED NETWORKS· A BRIEF.
TM·108
combinatorial analysis
FINDING ISOMORPH CLASSES FOR COMBINATORIAL STRUCTURES combinatorial optimization
ON LINEAR CHARACTERIZATIONS OF COMBINATORIAL ...
INTEGRAL CONVEX POLYHEDRA AND AN APPROACH TO ..
combinatorial problems
ON REDUCIBILITY AMONG COMBINATORIAL PROBLEMS combinatory algebra
WHAT IS A MODEL OF THE LAMBDA CALCULUS? EXPANDED ..•
common base language
ON THE DESIGN AND SPECIFICATION OF A COMMON BASE ..
communicating module
STREAM-ORIENTED COMPUTATION IN RECURSIVE DATA FLOW ...
communication ring
COMMUNICATION RING INITIALIZATION WITHOUT CENTRAL ...
communication
THE COMPLEXITY OF CONCURRENCY CONTROL FOR DISTRIBUTED .. , commutative semigroup
THE COMPLEXITY OF THE WORD PROBLEMS FOR COMMUTATIVE _ ..
compile generators
DESIGN AND IMPLEMENTATION OF A TABLE-DRIVEN COMPILER ...
compiler meta-languages
THE SPECIFICATION OF CODE GENERATION ALGORITHMS compiler writing
PRACTICAL TRANSLATORS FOR LR(K) LANGUAGES THE BCPL REFERENCE MANUAL
compilers
A:":TOMATIC CODE-GENERATION FROM AN OBJECT-MACHINE.
DESIGN AND IMPLEMENTATION OF A TABLE-DRIVEN COMPILER ...
PRACTICAL TRANSLATORS FOR LR(K) LANGUAGES
AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE •..
A PORTABLE COMPILER FOR THE LANGUAGE C complete axiomatization
ALGEBRAIC DEPENDENCIES
TERMINATIONS FOR RECURSIVE PROGRAMS: COMPLETENESS AND ...
THE IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION ...
completeness
A COMPLETENESS RESULT FOR A PROPOSITIONAL DYNAMIC LOGIC DETERMINISTIC PROPOSITIONAL DYNAMIC LOGIC: FINITE ...
THE COMPLEXITY OF EVALUATION RELATIONAL QUERIES A SURVEY OF THE LOGIC OF EFFECTIVE DEFINITIONS complex plane diagram
LAYOUTS FOR THE SHUFFLE-EXCHANGE GRAPH BASED ON THE ...
complexity measures
COMPLEXITY MEASURES FOR PROGRAMMING LANGUAGES
COMPLEXITY MEASURES FOR LANGUAGE RECOGNITION BY CANONIC ...
complexity
-AN OPERATOR EMBEDDING THEOREM FOR COMPLEXITY CLASSES OF ...
FINDING ISOMORPH CLASSES FOR COMBINATORIAL STRUCTURES COMPLEXITY CLASSES OF RECURSIVE FUNCTIONS
A CONCEPT OF INDEPENDENCE WITH APPLICATIONS IN VARIOUS ...
THE COMPLEXITY OF CONCURRENCY CONTROL FOR DISTRIBUTED ..
component placement
ALGORITHMS FOR INTEGRATED CIRCUIT LAYOUT: AN ANALYTIC ._.
computability
THE EQUIVALENCE OF R E. PROGRAMS AND DATA FLOW SCHEMES computation graphs
THE USE OF QUEUES IN THE PARALLEL DATA FLOW EVALUATION ...
computation models
A GRAPH MODEL FOR PARALLEL COMPUTATIONS computation rate
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED .. , computation tree
LOGICS OF PROGRAMS' AXIOMATICS AND DESCRIPTIVE POWER computation universality
REVERSIBLE COMPUTING CONSERVATIVE LOGIC computation utility systems
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER THE CLASSROOM INFORMATION AND COMPUTING SERVICE computational complexity
COMPLEXITY MEASURES FOR PROGRAMMING LANGUAGES COMBINING DIMENSIONALITY AND RATE OF GROWTH ARGUMENTS .. . THE REDUCTION METHOD FOR ESTABLISHING LOWER BOUNDS ON .. . THE INHERENT COMPUTATION COMPLEXITY OF THEORIES OF .. . COMPUTATIONAL COMPLEXITY OF THE WORD PROBLEM FOR .. . ON THE WORST-CASE OF BEHAVIOR OF STRING-SEARCHING .. . LOWER BOUNDS ON INFORMATION TRANSFER IN DISTRIBUTED •..
MINIMUM REGISTER ALLOCATION IS COMPLETE IN POLYNOMIAL ...
TIME, SPACE AND RANDOMNESS
THE SPACE COMPLEXITY OF TWO PEBBLE GAMES ON TREES A SPACE BOUND FOR ONE-TAPE MULTIDIMENSIONAL TURING .. _ ON THE COMPUTATIONAL COMPLEXITY OF CARDINALITY ...
THE COMPLEXITY OF THE WORD PROBLEMS FOR COMMUTATIVE .. . COMPUTATIONAL COMPLEXITY AND THE TRAVELING SALESMAN .. . RELATIVIZATION OF THE THEORY OF COMPUTATIONAL COMPLEXITY
TM-064
THE COMPLEXITY OF DECISION PROBLEMS IN AUTOMATA THEORY ... TR-133 NONDETERMINISTIC TIME AND SPACE COMPLEXITY CLASSES TR-137 SOME UPPER AND LOWER BOUNDS ON DECISION PROCEDURES IN . TR-139 THE COMPUTATIONAL COMPLEXITY OF SOME LOGICAL THEORIES TR-144 ON TIME-SPACE CLASSES AND THEIR RELATION TO THE THEORY TR-195 THE COMPLEXITY OF THE MAXIMUM NETWORK FLOW PROBLEM TR-230 THE COMPLEXITY OF MONOTONE BOOLEAN FUNCTIONS AND AN ... TR-238 SIMULATIONS AMONG MULTIDIMENSIONAL TURING MACHINES TR-242 computational geometry
A FAST ALGORITHM FOR TESTING FOR SAFETY AND DETECTING .. TM-18l THE IMPACT OF LAYER ASSIGNMENT METHODS ON LAYOUT .. TR-29l computational hydrodynamics
ANALYSIS OF THE SIMPLE CODE FOR DATA FLOW COMPUTATION TR-2l6 computational linguistics
TOWARD A COMPUTATIONAL THEORY OF INDIRECT SPEECH ACTS TR-223 computational schema
ASYNCHRONOUS COMPUTATIONAL STRUCTURES TR-049
COORDINATION OF ASYNCHRONOUS EVENTS TR-072
computational structures
ASYNCHRONOUS COMPUTATIONAL STRUCTURES TR-049
ON THE DESIGN AND SPECIFICATION OF A COMMON BASE. TR-l0l computations In finite fields
PROBABILISTIC ALGORITHMS IN FINITE FIELDS TR-2l3 computer aided design
CASE STUDY IN INTERACTIVE GRAPHICS PROGRAMMING: A ... TR-063 computer animation
INTERACTIVE COMPUTER-MEDIATED ANIMATION TR-06l
computer architecture
REPORT ON THE WORKSHOP ON DATA FLOW COMPUTER AND ... TM-092 A LOGIC DESIGN FOR THE CELL BLOCK OF A DATA FLOW .. TM-093 A COMPUTER ARCHITECTURE FOR DATA FLOW COMPUTATION TM-l00 RESEARCH DIRECTIONS IN COMPUTER ARCHITECTURE TM-114 REPORT ON THE SECOND WORKSHOP ON DATA FLOW COMPUTER AND ... TM-136 THE DESIGN OF A MULTIPROCESSOR DEVELOPMENT SYSTEM TR-279 computer communications
DESCRIPTION AND FLOW CHART OF THE PDP-719 . TM-Oll computer control
THE DESIGN OF A MODULAR LABORATORY FOR CONTROL ROBOTICS TM-074 computer culture
COMPUTERS AND PEOPLE. PERSONAL COMPUTATION TR-249 computer decentralization
AN ANALYSIS OF COMPUTER DECENTRALIZATION TM-090 computer diagnosis
ARTIFICIAL INTELLIGENCE AND CLINICAL PROBLEM SOLVING TM-140 computer displays
DESIGN OF A LOW-COST CHARACTER GENERATOR FOR REMOTE ... TR-026 computer graphics
SURFACES FOR COMPUTER-AIDED DESIGN OF SPACE FORMS TR-04l AN INTEGRATED HARDWARE-SOFTWARE SYSTEM FOR COMPUTER ... TR-056
INTERACTIVE COMPUTER-MEDIATED ANIMATION TR-06l
EPS: AN INTERACTIVE SYSTEM FOR SOLVING ELLIPTIC .. TR-062 CASE STUDY IN INTERACTIVE GRAPHICS PROGRAMMING. A .. TR-063 computer learning
A COMPUTER MODEL OF SIMPLE FORMS OF LEARNING TM-020 computer music
A PARALLEL PROCESSING MODEL OF MUSICAL STRUCTURES TR-09l computer networks
MODELING AND DECOMPOSITION OF INFORMATION SYSTEMS FOR .. TM-026 RESEARCH DIRECTIONS IN COMPUTER ARCHITECTURE TM-114
PACKET COMMUNICATION TR-114
FACILITATING INTERPROCESS COMMUNICATION IN A .. TR-184 DEADLOCK DETECTION IN COMPUTER NETWORKS TR-185 A MINICOMPUTER NETWORK SI~ULATION SYSTEM TR-208 THE DESIGN OF A ROUTING SERVICE FOR CAMPUS-WIDE ... TR-270 DATA COMMUNICATIONS VIA CABLE TELEVISION NETWORKS. TR-273 computer organization
AN ABSTRACT IMPLEMENTATION FOR A GENERALIZED DATA FLOW ... TR-228 computer problem solving
NATURAL LANGUAGE INPUT FOR A COMPUTER PROBLEM SOLVING .. TR-OOl PILOT: A STEP TOWARDS MAN-COMPUTER SYMBIOSIS TR-032 computer science research
RESEARCH DIRECTIONS IN COMPUTER ARCHITECTURE TM-114 computer security
ENCRYPTION-BASED PROTECTION PROTOCOLS FOR INTERACTIVE ... TR-162 PROTECTING EXTERNALLY SUPPLIED SOFTWARE IN SMALL ... TR-255 computer services
THE COMPUTER UTILITY AS A MARKETPLACE FOR COMPUTER .. TR-128 computer systems
MODELING AND DECOMPOSITION OF INFORMATION SYSTEMS FOR ... TM-026
SIM360: A S/360 SIMULATOR TM-030
REPORT ON THE SECOND WORKSHOP ON DATA FLOW COMPUTER AND ... TM-136
COORDINATION OF ASYNCHRONOUS EVENTS TR-072
PERFORMANCE EVALUATION OF MULTI PROGRAMMED TIME-SHARED ... TR-l03
INTRODUCTION TO MULTICS TR-123
A MULTI-PROCESS DESIGN OF PAGING SYSTEM TR-17l
COMPUTER SYSTEMS WITH A VERY LARGE ADDRESS SPACE AND ...
NON·DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED ...
SIMULATION OF PACKET COMMUNICATION ARCHITECTURE ...
FORMAL SPECIFICATIONS FOR PACKET COMMUNICATION SYSTEMS INCOMPREHENSIBLE COMPUTER SYSTEMS. KNOWLEDGE WITHOUT ...
RECOVERY OF THE SWALLOW REPOSITORY computer utility
ECONOMIES OF SCALE IN COMPUTER USE. INITIAL TESTS AND ...
DYNAMIC RECONFIGURATION IN A MODULAR COMPUTER SYSTEM COOPERATION OF MUTUALLY SUSPICIOUS SUBSYSTEMS IN A MAKING COMPUTERS KEEP SECRETS
BACKUP AND RECOVERY OF ON·LlNE INFORMATION IN A ..
INTRODUCTION TO MULTICS
AN EXPERIMENTAL ANALYSIS OF PROGRAM REFERENCE PATTERNS ...
THE COMPUTER UTILITY AS A MARKETPLACE FOR COMPUTER ..
REMOVING THE DYNAMIC LINKER FROM THE SECURITY KERNEL OF ...
MINIMIZING THE NAMING FACILITIES REQUIRING PROTECTION ...
A SECURE AND FLEXIBLE MODEL OF PROCESS INITIATION FOR A ...
computer·aided design
VERBAL AND GRAPHICAL LANGUAGE FOR THE AED SYSTEM; A ..
SURFACES FOR COMPUTER·AIDED DESIGN OF SPACE FORMS A SWITCH·LEVEL SIMULATION MODEL FOR INTEGRATED LOGIC ..
computer·aided diagnosis
A SYSTEM FOR COMPUTER·AIDED DIAGNOSIS computer·aided legal analysis
A PRELIMINARY STUDY IN COMPUTER·AIDED LEGAL ANALYSIS computer·maintained machines
AUTOMATIC TEST, CONFIGURATION AND REPAIR OF CELLULAR ..
computers and society
MAKING COMPUTERS KEEP SECRETS
COMPUTERS AND PEOPLE' PERSONAL COMPUTATION concatenation
COMPUTING IN LOGARITHMIC SPACE conceptual data models
ON DATA BASE MANAGEMENT SYSTEM ARCHITECTURE concurrency control
CONCURRENT AND RELIABLE UPDATES OF DISTRIBUTED DATA BASE A THEOREM IN DATA BASE CONCURRENCY CONTROL
ROBUST CONCURRENCY CONTROL FOR A DISTRIBUTED ...
THE COMPLEXITY OF CONCURRENCY CONTROL FOR DISTRIBUTED ...
MULTILEVEL ATOMICITY· A NEW CORRECTNESS CRITERION FOR ..
CONCURRENCY CONTROL FOR RESILIENT NESTED TRANSACTIONS INTERNAL CONSISTENCY OF A DISTRIBUTED TRANSACTION concurrency
CONCURRENT PROGRAMMING A SEMANTICS OF SYNCHRONIZATION
A THEOREM IN DATA BASE CONCURRENCY CONTROL A FILE TRANSFER PROGRAM FOR A PERSONAL COMPUTER SEMANTICS OF DATA BASE SYSTEMS
DECIDABILITY QUESTIONS FOR PETRI NETS A STRUCTURE MEMORY FOR DATA FLOW COMPUTERS SIMULATION OF PACKET COMMUNICATION ARCHITECTURE ...
ACTORS AND CONTINUOUS FUNCTIONALS
SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONS SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING . THE EVENT BASED LANGUAGE AND ITS MULTIPLE PROCESSOR ..
AN ABSTRACT IMPLEMENTATION FOR A GENERALIZED DATA FLOW ...
AUTOMATIC VERIFICATION OF SERIALIZES concurrent data base
SERIALIZABILITY OF CONCURRENT DATA BASE UPDATES concurrent systems
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED ...
SCHEDULING TASK SYSTEMS WITH RESOURCES confluence
DERIVED PAIRS, OVERLAP CLOSURES, AND REWRITE DOMINOES'
consensus
IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY ..
conservative logic CONSERVATIVE LOGIC constraint expressions
SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONS constraints
PHRASE·STRUCTURE PARSING' A METHOD FOR TAKING ADVANTAGE ...
continuations
ACTOR SYSTEMS FOR REAL·TIME COMPUTATION
REFLECTION AND SEMANTICS IN A PROCEDURAL LANGUAGE continuous extensions
BICONTINUOUS EXTENSIONS OF INVERTIBLE COMBINATORIAL ...
control flow graph
REPRESENTATION AND ANALYSIS OF REAL·TIME CONTROL ...
control laboratory
THE DESIGN OF A MODULAR LABORATORY FOR CONTROL ROBOTICS control structures
AN ASYNCHRONOUS LOGIC ARRAY
TR·178
A MODEL FOR PROCESS REPRESENTATION AND SYNTHESIS TR·087 REAL·TIME CONTROL STRUCTURES FOR BLOCK DIAGRAM SCHEMATA TR·204 REPRESENTATION AND ANALYSIS OF REAL-TIME CONTROL ... TR-241 REFLECTION AND SEMANTICS IN A PROCEDURAL LANGUAGE TR·272 controlled information sharing
CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITY TR·067 PRIMARY ACCESS CONTROL IN LARGE·SCALE TIME-SHARED .. TR.Q89 conversational maxims
TOWARD A COMPUTATIONAL THEORY OF INDIRECT SPEECH ACTS TR-223 convex polytopes
ON LINEAR CHARACTERIZATIONS OF COMBINATORIAL ... TM-154 cooperating sequential processes
A MODEL FOR PROCESS REPRESENTATION AND SYNTHESIS TR-087 coordinated multiprocessing
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE ... TR-034 coordination of events
COORDINATION OF ASYNCHRONOUS EVENTS TR-072
cost analysis
COST ANALYSIS OF DEBUGGING SYSTEMS TR-090
counting problems
LAYOUTS FOR THE SHUFFLE-EXCHANGE GRAPH AND LOWER BOUND. TR-274 crossover·free
PLANAR EMBEDDING OF PLANAR GRAPHS TM·237
cryptography
ENCRYPTION SCHEMES FOR COMPUTER CONFIDENTIALITY TM-063 A METHOD FOR OBTAINING SIGNATURES AND PUBLIC-KEY ... TM-082 ON THE SECURITY OF THE MERKLE-HELLMAN CRYPTOGRAPHIC ... TM-119
MENTAL POKER TM-125
ON THE CRYPTOCOMPLEXITY OF KNAPSACK SYSTEMS TM-129
HOW TO SHARE A SECRET TM-134
THE CRYPTOGRAPHIC SECURITY OF COMPACT ... TM-164 EMBEDDING CRYPTOGRAPHIC TRAPDOORS IN ARBITRARY KNAPSACK ... TM-230
RANDOMIZED ENCRYPTION TECHNIQUES TM-234
OCAS - ON-LINE CRYPTANALYTIC AID SYSTEM TR-027
MAKING COMPUTERS KEEP SECRETS TR-115
COMPUTER AND DATA SECURITY: A COMPREHENSIVE ANNOTATED .. TR-122 DIGITALIZED SIGNATURES AND PUBLIC-KEY FUNCTIONS AS .. TR-212 PROTECTING EXTERNALLY SUPPLIED SOFTWARE IN SMALL ... TR-255 cryptology
RANDOMIZED ENCRYPTION TECHNIQUES TM-234
OCAS - ON-LINE CRYPTANALYTIC AID SYSTEM TR-027
MAKING COMPUTERS KEEP SECRETS TR-115
ENCRYPTION-BASED PROTECTION PROTOCOLS FOR INTERACTIVE ... TR-162 CTSS
ENCRYPTION-BASED PROTECTION PROTOCOLS FOR INTERACTIVE ... TR-162 CTSS