Abstract is missing.
- Summaries of invited lectures1-12 [doi]
- Education for Computing Professionals (Abstract)David Lorge Parnas. 2-3
- Merging of Scores for Decision Making in Practice and Theory (Abstract)Jonas Aczél. 4
- Designing Parallel Algorithms for Transputer Networks (Abstract)Michel Cosnard. 5
- Distributed Computers: Object-vs. Unix-Based and Beyond (Abstract)Richard P. Hopkins. 6
- The Strategic Significance of Expert Systems: Opportunities and Risks (Abstract)Russell C. Kick. 7
- Time-Space Optimal Parallel Algorithms (Abstract)Michael A. Langston. 8
- Executive Support Systems for Strategic Advance (Abstract)Jeretta Horn Nord, G. Daryl Nord. 9
- On the Semantic Enhancement of Information Systems Design (Abstract)Maria E. Orlowska. 10
- Theory of Rough Sets: A New Methodology for Knowledge Discovery (Abstract)Zdzislaw Pawlak. 11
- Is there Science and Technology (Funding) after the Cold War?Barbara Simons. 12
- The Asymptotic Evolution of Data StructuresRobert S. Maier. 14-23
- On the Formal Aspects of Approximation AlgorithmsJosé D. P. Rolim. 24-33
- Selected Aspects of the Calculus of Self-Modifiable Algorithms TheoryEugeniusz Eberbach. 34-43
- Almost-Everywhere Complexity, Bi-Immunity and Nondeterministic SpaceJohn G. Geske, Diane Kakihara. 44-51
- Deriving Deterministic Prediction Rules from Reduction SchemesDafna Sheinwald, Richard C. Pasco. 52-61
- Probabilistic Analysis of Set Operations with Constant-Time Set Equality TestWilliam Pugh. 62-71
- Classification by Minimum-Message-Length InferenceChris S. Wallace. 72-81
- Fast Left-Linear Semi-UnificationFritz Henglein. 82-91
- On the Complexity of (Off-Line) 1-Tape ATM s Running in Constant ReversalsTao Jiang. 92-99
- A Constant Update Time Finger Search TreePaul F. Dietz, Rajeev Raman. 100-109
- Average Case Analysis of Algorithms using Matrix RecurrencesRicardo A. Baeza-Yates, Gaston H. Gonnet. 110-119
- Finding Two-Tree-Factor Elements of Tableau-Defined Monoids in Time O(n³)Alois P. Heinz. 120-128
- Toward a General Theory of Computation and Specification over Abstract Data TypesJ. V. Tucker, Jeffery I. Zucker. 129-133
- Using the Hamiltonian Path Operator to Capture NPIain A. Stewart. 134-143
- Some Remarks on Polynomial Time IsomorphismsJie Wang. 144-153
- An Axiomatization of Wait-Freedom and Low-AtomicityAmbuj K. Singh. 154-163
- The Gamma Model as a Functional Programming ToolR. Harrison, Hugh Glaser. 164-173
- Computing the Transitive Closure of Symmetric MatricesAnestis A. Toptsis, Clement T. Yu, Peter C. Nelson. 174-183
- An Environment for Information System Prototyping: A System Simulation ApproachKung-Chao Liu. 186-195
- A Logic-Free Method for Modular Composition of SpecificationsVictor Yodaiken. 196-205
- On Real-Time Program Specification Description with a Data Model-Based LanguageKatsumi Okamoto, Masaski Hashimoto. 206-215
- DINAS: Computer-Assisted System for Multi-Criteria Transportation and Location AnalysisWlodzimierz Ogryczak, Krzysztof Studzinski, Krystian Zorychta. 216-224
- Logic Programming for Software TestingSanjeev Khanna. 225-234
- Block Concatenated Code Word Surrogate File for Partial Match RetrievalSoon Myoung Chung. 235-244
- Applications Development Toolkits for Environmental Modelling and MonitoringDavid A. Swayne, John Storey, David C.-L. Lam, Isaac W. S. Wong, A. S. Fraser. 245-249
- A Hypertext for Literate ProgrammingM. Brown, Bogdan D. Czejdo. 250-259
- Ethics and Computers: Can Universities Set the Standards?Gerhard Steinke, Gilbert Hamann. 260-265
- Alternatives to the B+-TreeWilliam Boswell, Alan L. Tharp. 266-274
- Minimal Perfect Hashing For Large Sets of DataVincent G. Winters. 275-284
- Architectural Classification and Transaction Execution Models of Multidatabase SystemsM. Tamer Özsu, Ken Barker. 285-294
- Semantic Query Optimization in Distributed DatabasesH. J. A. van Kuijk, F. H. E. Pijpers, Peter M. G. Apers. 295-303
- An Architecture for a Multimedia Database Management System Supporting Content SearchVincent Y. Lum, Klaus Meyer-Wegener. 304-313
- Adaptive Expert Systems and Analogical Problem SolvingH. Harry Zhou. 314-323
- The Behavior of Database Concurrency Control Mechanisms under Bursty ArrivalsJerry Place, Vijay Kumar, Appie van de Liefvoort. 324-333
- The Core ConcurrencyPiotr W. Prószynski. 336-345
- Concurrent Data StructuresAdrian Colbrook, Colin Smythe, David H. Pitt. 346-355
- Asynchronous Functional Parallel ProgramsJacques Julliand, Guy-René Perrin. 356-365
- Symbolic Configuartion for SuperNode MultiprocessorsJean-Marc Adamo, Christophe Bonello. 366-375
- A Model of Execution Time Estimating for RPC-Oriented ProgramsWanlei Zhou, Brian Molinari. 376-384
- Parallel Computation of Longest-Common-SubsequenceMi Lu. 385-394
- Parallel Breadth-First and Breadth-Depth Traversals of Generated TreesCalvin Ching-Yuen Chen, Sajal K. Das. 395-404
- Parallelism via Speculation in Pure PrologBenjamin Yu. 405-414
- Synthesis of Error-Recoverable Protocol Specifications from Service SpecificationsKassem Saleh, Robert L. Probert. 415-424
- A Parallel Algorithm for Path-Min Queries in TreesSung Kwon Kim. 425-432
- Efficient Deterministic Parallel Algorithms for Integer SortingLin Chen. 433-442
- A Model of Communication in Ada using Shared Data AbstractionsChris D. Marlin, Michael Oudshoorn, Dennis Freidel. 443-452
- Communication Complexity of Computing a Collection of Rational FunctionsZhi-Quan Luo. 453-462
- Electing a Leader in a Synchronous Scalable NetworkG. H. Masapati, Hasan Ural. 463-472
- Analysis of Self-Reconfigurating Processes of Fault-Tolerant Distributed Computing SystemsJan R. Just. 473-482
- Control Bottlenecks in a Network Database MechineT. Anthony Marsland, Liming Meng. 483-492
- A Hierarchical Multirate Method for Circuit Simulation on Parallel ComputersBernhard Klaassen. 493-496
- I/O Overhead and Parallel VLSI Architectures for Lattice ComputationsMark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter. 497-506
- Optimality of Gauge and Degree-Sensitive VLSI Layouts of Planar GraphsDeepak D. Sherlekar. 507-516
- An Efficient VLSI Network Bridge Architecture for Local Area NetworksChandrabhan Chevli, Hee Yong Youn. 517-526