Abstract is missing.
- World Mathematical Year 2000 and Computer SciencesJacques-Louis Lions. 3-16
- Dependable Parallel Computing by Randomization (Abstract)Michael O. Rabin. 19-20
- System DependabilityBrian Randell. 21-50
- Technology, Networks, and the Library of the Year 2000Jerome H. Saltzer. 51-67
- Mosaic C: An Experimental Fine-Grain MulticomputerCharles L. Seitz. 69-85
- New Frontiers in Database System ResearchJeffrey D. Ullman. 87-101
- Formal Theories and Software Systems: Fundamental Connections between Computer Science and LogicRobert L. Constable. 105-127
- Time for ConcurrencyZohar Manna, Amir Pnueli. 129-153
- Horizons of Parallel ComputationFranco P. Preparata, Gianfranco Bilardi. 155-174
- Control Software for Virtual-Circuit Switches: Call ProcessingRavi Sethi, Roy H. Campbell, Sean Dorward, Anand Iyengar, Charles R. Kalmanek, Gary J. Murakami, Ce-Kuen Shieh, See-Mong Tan. 175-186
- What is Knowledge Representation, and Where is it Going?Ronald J. Brachman. 189-203
- Creating a Design Science of Human-Computer InteractionJohn M. Carroll. 205-215
- Sensing RobotsMichael Brady. 219-231
- Fundamentals of Bicentric PerspectiveJan J. Koenderink. 233-251
- Digital HDTV: A Technical ChallengeArun N. Netravali. 253-264
- Autonomous ControlKalle Åström. 267-278
- Analog and Digital ComputingRoger W. Brockett. 279-289
- Stochastic Control and Large DeviationsWendell H. Fleming. 291-300
- Differential-Geometric Methods: A Powerful Set of New Tools for Optimal ControlHéctor J. Sussmann. 301-314
- Coordinating Vehicles in an Automated HighwayPravin Varaiya. 315-330
- Opportunities and Challenges in Signal Processing and AnalysisAlan S. Willsky. 331-338
- Neural Computing and Stochastic OptimizationEugene Wong. 339-342
- Stabilization of Galerkin Methods and Applications to Domain DecompositionFranco Brezzi, C. Baiocchi, L. Donatella Marini. 345-355
- An Efficient Implementation of the Spectral Partitioning Algorithm on Connection Machine SystemsThomas J. R. Hughes, Zdenek Johan. 357-371