Abstract is missing.
- A Quantum Jump in Computer ScienceGilles Brassard. 1-14
- Artificial Life and Real World ComputingLuc Steels, Mario Tokoro. 15-28
- Recurrent Neural NetworksHava T. Siegelmann. 29-45
- Scalable ComputingWilliam F. McColl. 46-61
- Efficient Use of Parallel & Distributed Systems: From Theory to PracticeBurkhard Monien, Ralf Diekmann, Rainer Feldmann, Ralf Klasing, Reinhard Lüling, Knuth Menzel, Thomas Römke, Ulf-Peter Schroeder. 62-77
- Experimental Validation of Models of Parallel ComputationLawrence Snyder. 78-100
- Quo Vadetis, Parallel Machine Models?Jirí Wiedermann. 101-114
- Templates for Linear Algebra ProblemsZhaojun Bai, David Day, James Demmel, Jack Dongarra, Ming Gu, Axel Ruhe, Henk A. van der Vorst. 115-140
- The ART behind IDEASThomas Beth, Andreas Klappenecker, Torsten Minkwitz, Armin Nückel. 141-158
- Algorithmic Number Theory and Its Relationship to Computational ComplexityLeonard M. Adleman. 159-171
- Edge-Coloring AlgorithmsShin-Ichi Nakano, Xiao Zhou, Takao Nishizeki. 172-183
- Towards a Computational Theory of Genome RearrangementsSridhar Hannenhalli, Pavel A. Pevzner. 184-202
- Algebraic Topology and Distributed Computing: A PrimerMaurice Herlihy, Sergio Rajsbaum. 203-217
- Differential BDDsAnuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe. 218-233
- Algorithmic Techniques for Geometric OptimizationPankaj K. Agarwal, Micha Sharir. 234-253
- All the Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial Chaos?Jürg Nievergelt, Ralph Gasser, Fabian Mäser, Christoph Wirth. 254-274
- Fundamental Limitations on Search Algorithms: Evolutionary Computing in PerspectiveNicholas J. Radcliffe, Patrick D. Surry. 275-291
- Mathematical System Models as a Basis of Software EngineeringManfred Broy. 292-306
- Formulations and Formalisms in Software ArchitectureMary Shaw, David Garlan. 307-323
- The Oz Programming ModelGert Smolka. 324-343
- Standard Generalized Markup Language: Mathematical and Philosophical IssuesDerick Wood. 344-365
- Avoiding the Undefined by UnderspecificationDavid Gries, Fred B. Schneider. 366-373
- Towards a theory of Recursive StructuresDavid Harel. 374-391
- Chu Spaces and Their Interpretation as Concurrent ObjectsVaughan R. Pratt. 392-405
- Abstracting Unification: A Key Step in the Design of Logic Program AnalysesMaurice Bruynooghe, Michael Codish, Anne Mulkers. 406-425
- Programming Satan s ComputerRoss J. Anderson, Roger M. Needham. 426-440
- Petri Net Models of Distributed AlgorithmsWolfgang Reisig. 441-454
- Symmetry and Induction in Model CheckingEdmund M. Clarke, Somesh Jha. 455-470
- Alternating Automata and Program VerificationMoshe Y. Vardi. 471-485
- Reasoning about Actions and Change with RamificationErik Sandewall. 486-504
- Trends in Active VisionJan-Olof Eklundh. 505-517
- Computational Machine Learning in Theory and PraxisMing Li, Paul M. B. Vitányi. 518-535
- Fuzzy Sets as a Tool for ModelingRonald R. Yager. 536-548
- Information Retrieval and Information ReasoningC. J. van Rijsbergen. 549-559
- Database Transaction ModelsGottfried Vossen. 560-574
- Multimedia Authoring Tools: State of the Art and Research ChallengesDick C. A. Bulterman, Lynda Hardman. 575-591
- Computational Models for Distributed Multimedia ApplicationsThomas Käppner, Ralf Steinmetz. 592-607
- Hypermedia Systems as Internet ToolsHermann A. Maurer. 608-624