YALEU/DCS/TR450 [.pdf] Foundations of Knowledge for Distributed Systems
Michael Fischer
Neil Immerman
January 1986
YALEU/DCS/TR451 VOID
YALEU/DCS/TR452 [.pdf] A Multi Processor Simulator
Abhiram Ranade
January 1986
YALEU/DCS/TR453 [.pdf] Keeping Shares of a Secret Secret
Josh Cohen
February 1986
YALEU/DCS/TR454 [.pdf] Improving Privacy in Cryptographic Elections
Josh Cohen
February 1986
YALEU/DCS/TR455 * Automatic Generation of VLSI Architectures: Dynamic Programming Solver
Marina Chen
February 1986
YALEU/DCS/TR456 * Implementation of Domain Fast Poisson Solvers on Multi Processor
Tony Chan
Diana Resasco
Faisal Saied
February 1986
YALEU/DCS/TR457 [.pdf] A Design Methodology for Synthesizing Parallel Algorithms and Architectures
Marina Chen
February 1986
YALEU/DCS/TR458 [.pdf] Dynamic Grid Manipulation for PDEs on Hypercube Parallel Processors
William Gropp
February 1986
YALEU/DCS/TR459 [.pdf] A Fast Algorithm for Particle Simulations
Leslie Greengard
Vladimir Rokhlin
March 1986
YALEU/DCS/TR460 [.pdf] Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse
Michael Fischer
Neil Immerman
March 1986
YALEU/DCS/TR461 [.pdf] Data Communication in Parallel Architectures
Yousef Saad
Martin Schultz
March 1986
YALEU/DCS/TR462 [.pdf] Gaussion Elimination on Hypercubes
Youcef Saad
March 1986
YALEU/DCS/TR463 [.pdf] An effiecient Method fpr Solving the Three-Dimensional Wide Angle Wave Equation
Ding Lee
Yousef Saad
Martin Schultz
March 1986
YALEU/DCS/TR464 [.pdf] Learning Regular Sets from Queries and Counter-examples
Dana Angluin
March 1986
YALEU/DCS/TR465 [.pdf] Crystal: A Synthesis approach to Programming Parallel Machines
Marina Chen
March 1986
YALEU/DCS/TR466 Machine Musing and the Smart Note Pad
David Gelernter
Mitchell Sklar
April 1986
YALEU/DCS/TR467 * Exploring Parafunctional Programming
Paul Hudak
April 1986
YALEU/DCS/TR468 * FAC: Functional Array Calculator and its Application to APL and Functional Programming
Hai-Chen Tu
April 1986
YALEU/DCS/TR469 [.pdf] Transformations of Parallel Programs in Crystal
Marina Chen
April 1986
YALEU/DCS/TR470 * Case-Based Reasoning: A Computer Model of Subjective Assessments
Bill Bain
April 1986
YALEU/DCS/TR471 [.pdf] Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocoles
Josh Cohen
April 1986
YALEU/DCS/TR472 * Linda and Friends
David Gelernter
Sid Ahuja
Nick Carriero
April 1986
YALEU/DCS/TR473 * Floating Point Cordic
Lennart Johnsson
Venkatesh Krishnaswamy
April 1986
YALEU/DCS/TR474 [.pdf] Systolic Array Synthesis: Computability and Time Cones
Ilse Ipsen Supported by:
Jean-Marc Delosme
May 1986
YALEU/DCS/TR475 * Tree Embedding and Optimal Routing for Data Distribution in Hypercubes
Ching-Tien Ho
Lennart Johnsson
May 1986
YALEU/DCS/TR476 [.pdf] A Preliminary Analysis of Recursively Generated Networks
Eric Mjolsness
David Sharp
May 1986
YALEU/DCS/TR477 [.pdf] Synthesis Approach to the Design and Correctness of Systolic Computations
Marina Chen
June 1986
YALEU/DCS/TR478 [.pdf] Identifying k-CNF Formulas From Noisy Examples
Dana Angluin
Philip Laird
June 1986
YALEU/DCS/TR479 [.pdf] Types of Queries for Concept Learning
Dana Angluin
June 1986
YALEU/DCS/TR480 * A Critique of Pure Reason
Drew McDermott
June 1986
YALEU/DCS/TR481 [.pdf] On Scheduling Transmissions in a Network
Dan Gusfield
June 1986
YALEU/DCS/TR482 [.pdf] The Structure of the Stable Roommate Problem: Efficient Representation and Enumeration of all Stalk Assignments
Dan Gusfield
June 1986
YALEU/DCS/TR483 [.pdf] Distributed Routing Algorithms for Broadcasting and Personalized Communication in Hypercubes
Lennart Johnsson
Ching-Tien Ho
June 1986
YALEU/DCS/TR484 * The Denotational Semantics of a Para-Functional Programming Language
Paul Hudak
July 1986
YALEU/DCS/TR485 [.pdf] A New Algorithm for Solving the Wide Angle Wave Equation.
Yousef Saad
Ding Lee
July 1986
YALEU/DCS/TR486 * Symmetry and the Non-Evolution of Programming Languages
David Gelernter
August 1986
YALEU/DCS/TR487 * Mercedes: A Realization of Lazy Narrowing Fundacion Gran Mariscal de Ayachuco
Paul Hudak
Juan Carlos Guzman
August 1986
YALEU/DCS/TR488 * Case-based Planning: An integrated theory of planning, learning and memory.
Kristian Hammond
August 1986
YALEU/DCS/TR489 * Integrated Processing in Planning and Understanding.
Lawrence Birnbaum
August 1986
YALEU/DCS/TR490 [.pdf] Partitioning Circuits for Improved Testability
Sandeep Bhatt
Fan Chung
Arnold Rosenberg
September 1986
YALEU/DCS/TR491 * The Complexity of System-Level Fault Diagnosis and Diagrosability.
Gregory Sullivan
September 1986
YALEU/DCS/TR492 * Shared Virtual Memory on Loosely Coupled Multiprocessors
Kai Li
September 1986
YALEU/DCS/TR493 [.pdf] Finding an Opitmal Search Strategy for a Partial Order is NP-Complete
Phil Laird
Leonard Pitt
September 1986
YALEU/DCS/TR494 [.pdf] Matrix Transpose on Boolean n-cube Configured Ensemble Architectures.
Lennart Johnsson
Ching-Tien Ho
September 1986
YALEU/DCS/TR495 [.pdf] Optimal Simulations of Tree Machines
Sandeep Bhatt
Fan Chung
Tom Leighton
Arnold Rosenberg
September 1986
YALEU/DCS/TR496 [.pdf] A Fast Adaptive Multiple Algorithm for Particle Simulations
J. Carrier
Leslie Greengard
Vladimir Rokhlin
September 1986
YALEU/DCS/TR497 [.pdf] Collecting Interpretations of Expressions
Paul Hudak
September 1986
YALEU/DCS/TR498 [.pdf] Placement and Interconnection of Systolic Processing Elements: A New Lu Decomposition Algorithm
Marina Chen
October 1986
YALEU/DCS/TR499 [.pdf] Very-high-level Parallel Programming by Aggregate Set Operations
Marina Chen
October 1986
YALEU/DCS/TR500 [.pdf] Spanning Graphs and Optimum Broadcasting and Personalized Communication in Hypercubes
Lennart Johnsson
Ching-Tien Ho
October 1986
YALEU/DCS/TR501 [.pdf] Relativizing Relativized Computations
Neil Immerman
Stephen Mahaney
November 1986
YALEU/DCS/TR502 [.pdf] Solving Schrodinger Equation on the Intel IPSC by the Alternating Direction Method
Faisal Saied
Ching-Tien Ho
Lennart Johnsson
Martin Schultz
November 1986
YALEU/DCS/TR503 * On The Eventually Operator in Temporal Logic
Sistla
Lenore Zuck
December 1986
YALEU/DCS/TR504 * Creativity in Education: A Standard for Computer Based Teaching
Roger Schank
Sarrell
December 1986
YALEU/DCS/TR505 [.pdf] Finding Fixpoints on Function Spaces
Johnathan Young
Paul Hudak
December 1986
YALEU/DCS/TR506 [.pdf] Very-High-Level Parallel Programming in Crystal
Marina Chen
December 1986
YALEU/DCS/TR507 * Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence
Yoav Shoham
December 1986