Abstract is missing.
- On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order TheoryDavid E. Muller, Paul E. Schupp, Ahmed Saoudi. 2-5
- Using the Entropy in the SPARC Instruction SetOlaf S. Schoepke. 6-9
- Domain Compression of Incompletely Specified Boolean FunctionsDwight D. Griffin, Erich Schmitt. 10-13
- Maximum and Minimum Matchings for Series-Parallel NetworksShih-Yih Wang, Lih-Hsing Hsu. 14-17
- Spinal Cellular AutomataNatasa Jonoska. 18-21
- Minimum Time Message Transmission in NetworksGuoliang Xue, Shangzhi Sun, J. Ben Rosen. 22-25
- Resource-Requirment Minimization in Relocation Problems with Precedence ConstraintsBertrand M. T. Lin, Shian-Shyong Tseng. 26-29
- Shortest ::::m::::-Watchmen Routes for Histograms: The MinMax CaseBengt J. Nilsson, Sven Schuierer. 30-33
- Generating All Maximal Independent Sets on Trees in Lexicographic OrderY. H. Chang, Jia-Shung Wang, Richard C. T. Lee. 34-37
- Algorithms for a K-Tree Core of a TreeShietung Peng, A. B. Stephens, Yelena Yesha. 38-41
- Efficient Algorithms for Computing Matching and Chromatic Polynominals on Series-Parallel GraphsN. Chandrasekharan, Sridhar Hannenhalli. 42-45
- Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic LanguageBart Vergauwen, Johan Lewi. 46-49
- An Optimal Algorithm for Finding Maximum Induced Bipartitie Subgraphs of Circular-Arc GraphsSi-Qing Zheng. 50-53
- Counting and Generating Integer Partitions in ParallelLaura A. Sanchis. 54-57
- Finding Strongly Connected Components of Circle Cover Graph in One-DimensionalChing-Ho Huang, Nen-Fu Huang, Wen-Tsuen Chen. 58-61
- What is Failure? Or: Constructive Negation by Fail AnswersWlodzimierz Drabent. 62-66
- Parallel Self-ReducibilityKarl R. Abrahamson, Michael R. Fellows, Christopher B. Wilson. 67-70
- On the Complexity of Distance-2 ColoringErrol L. Lloyd, Subramanian Ramanathan. 71-74
- The Generic Oracle Hypothesis FailsJames A. Foster. 75-78
- Efficient Construction of Catastrophic Patterns for VLSI Reconfigurable Arrays with Bidirectional LinksAmiya Nayak, Linda Pagli, Nicola Santoro. 79-83
- Move-to-End is Best for Double-Linked ListsVladimir Estivill-Castro. 84-87
- Nondeterministic and Alternating ComputationsJie Wang, Luc Longpré. 88-91
- Searching with a Lie Using Only Comparison QuestionsDuncan Innes. 92-95
- Dynamic Genericity in Imperative Languages: Example in CMLHamdy S. Soliman, John B. Johnston. 96-99
- Obtaining Tight Upper Bounds for the State Complexities of DFA OperationsSheng Yu, Qingyu Zhuang, Kai Salomaa. 100-104
- Sub-Logarithmic Algorithms for the Largest Empty Rectangle ProblemStephan Olariu, W. Shen, Larry Wilson. 106-109
- An Efficient Parallel Algorithm for the Assignment Problem on the PlaneConstantine N. K. Osiakwan, Selim G. Akl. 110-113
- A Visual Concurrent LISP Environment and Its ApplicationKam-Wing Ng, Hong Va Leong. 114-117
- Efficient Directory Management for Distributed NamingXiaohua Jia. 118-122
- Optimizing the Time Cost of Parallel Structures by Scheduling Parallel Processes to Access the Critical SectionMohamad R. Neilforoshan-Dardashti, Reda A. Ammar, Tahany A. Fergany. 123-127
- Space Efficient Parallel Buddy Memory ManagementTheodore Johnson, Timothy A. Davis. 128-132
- A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate LanguageJohan Fagerström, Peter Fritzson, Johan Ringström, Mikael Pettersson. 133-134
- Hyper Petersen Network: A Fault-Tolerant Multiprocessor TopologySajal K. Das, Amit K. Banerjee. 135-138
- A Fine-Grained Approach to Scheduling Asynchronous MultiprocessorsBrian A. Malloy, Errol L. Lloyd, Mary Lou Soffa. 139-142
- SELSYN-C: A Self-Synchronizing Parallel Programming LanguageWeiren Ding, Laurie J. Hendren. 143-146
- Unraveling Mechanisms in Vesicular Dataflow ModelDariusz Turlej, Roman Podraza, Krzysztof Piorun. 147-152
- Conflict-Free Routing on HypercubesZhiyong Liu, Jia-Huai You, Xiaobo Li. 153-158
- Writing Sequential Programs for Parallel Processors: Implementation ExperienceRamesh Subramonian. 159-163
- K-Selection in HypercubesPascal Berthomé. 164-167
- Detecting More Independent Loops across Hierarchical StructuresToru Imai. 168-172
- Performance Evaluation of Multicast Wormhole Routing in 2D-Torus MulticomputersC. S. Yang, Y. M. Tsai, C. Y. Liu. 173-178
- Revisiting Parallel Speedup ComplexitySelim G. Akl, Michel Cosnard, Afonso Ferreira. 179-182
- Performance Evaluation of Latency Tolerant ArchitecturesShashank S. Nemawarkar, Ramaswamy Govindarajan, Guang R. Gao, Vinod K. Agarwal. 183-186
- Matrix Multiplication on a Toroidal Parallel ArchitectureWayne Patterson. 187-190
- On Operational Equivalence of COSY ProgramsPiotr W. Prószynski. 191-196
- Interaction Management of a Window Manager in ManifoldFarhad Arbab, Ivan Herman, Pål Spilling. 197-202
- NLUS - A Prolog-Based Natural Language Understanding SystemMoon-Chuen Lee, Hong Va Leong. 204-207
- Knowledge Elicitation and Integration from Multiple ExpertsGwo-Jen Hwang. 208-211
- Application of Expert System to the Evaluation of Project AlternativesBronislaw M. Wawrzynkiewicz. 212-215
- Questionnaire Analysis by Decision Algorithm GenerationKrzysztof Grysa, Andrzej Lenarcik, Zdzislaw Piasta, Ewa Ramocka, Maciej Sekalski. 216-219
- Probabilistic Approach to Attributes Coding in the Rough Sets TheoryAndrzej Lenarcik, Zdzislaw Piasta, Mateusz Masternak. 220-223
- Criteria for Dynamic Method Selection in Diagnostic ReasoningV. Richard Benjamins, Ameen Abu-Hanna, Wouter N. H. Jansweijer. 224-227
- Use of Unit Clauses and Clause Splitting in Automatic DeductionShie-Jue Lee, David A. Plaisted. 228-232
- Construct an Object-Oriented Constraint Logic for Explanation Based LearningXiaoyou Zhou. 233-236
- Consistent Linear Speedup in Parallel Alpha-Beta SearchRattikorn Hewett, Krishnamurthy Ganesan. 237-240
- Comparison of ID3 and Its Generalized VersionTzung-Pei Hong, Shian-Shyong Tseng. 241-244
- A Distributed Production System for Problem SolvingM. Wilscy, N. Parameswaran. 245-248
- Multiagent Planning Using a Reason Maintenance SystemKumar Tadepalli, N. Parameswaran. 249-252
- A Method of Processing Unknown Attribute Values by ID3Pavel Brazdil, Ivan Bruha. 253-256
- A Client-Server Based Architecture for Communication between Expert SystemsCoco Djossou. 257-261
- Inheritance and Specificity II: Reference Class SelectionScott D. Goodwin. 262-265
- Using the IIPS Framework to Specify Machine-Discovery ProblemsHoward J. Hamilton, J. Michael Dyck. 266-269
- Integrating Semantic Inference in a Probabilistic Approach to Information Retrieval IIJian-Yun Nie. 270-273
- Non-Numeric Belief StructuresS. K. Michael Wong, Lusheng Wang, Yiyu Yao. 274-277
- An Incremental Concept Formation Approach to Acquisition of Anaphoric Regularity in Mandarin ChineseBenjamin L. Chen, Von-Wun Soo. 278-281
- Reduction of Constraint Networks Based on Local ConsistencyLi An Yuan, Abdel Aziz Farrag. 282-285
- AI in Real Time: Is This Feasible?Janusz Zalewski. 286-289
- Application of Measures of Fuzziness to Risk Classification in InsuranceBruce R. Ebanks, Waldemar Karwowski, Krzysztof Ostaszewski. 290-291
- Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary ReportRattikorn Hewett. 292-295
- A Visual Specification Model for Evolutionary Information SystemsChien-Tsai Liu, Shi-Kuo Chang. 297-300
- Effects of Network Protocols on Distributed Concurrency Control Algorithm PerformanceM. Tamer Özsu, Youping Niu. 301-306
- The Relevance Density Method in Information RetrievalY. Kane-Esrig, Lynn A. Streeter, G. Casella, W. Keese. 307-311
- Methodology to Implement an Amoeba Complex Object ServerWouter B. Teeuw, Henk M. Blanken. 312-315
- A Graph Testing Concurrency Control Protocol for Object BasesRodolfo F. Resende, Amr El Abbadi. 316-319
- A Logical Model and Schema Integration Architecture for Determining Equivalence in ER-DiagramsKen Barker. 320-324
- Integrating CASE Tools with Knowledge-Base by Object OrientationFuyau Lin, Rob Langsner. 325-328
- A Self-Guided Theorem Proving SystemShie-Jue Lee. 329-333
- Using Modeling and Control in Adele SystemWalcélio L. Melo, Noureddine Belkhatir, Jacky Estublier. 334-337
- A Heterogeneous Distributed Database System Based on Extended Relational ModelSoon Myoung Chung, Khalid A. Elghayesh. 338-341
- High-Speed Querying with the DAP 510Peter J. Looges. 342-345
- An Approach to Achieving Multiuser Integrity in a Knowledge Base SystemGerhard Steinke. 346-349
- An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based LanguageKazuhisa Yokota, Masaaki Hashimoto, Masakazu Sato. 350-354
- Self-Checking against Formal SpecificationsSergio Antoy, Richard G. Hamlet. 355-360
- Compression of Dictionaries via Extensions to Front CodingNader H. Bshouty, Geoffrey T. Falk. 361-364
- Rules in an Extended C++Bogdan D. Czejdo, Christoph F. Eick. 365-368
- A Fingerprint Image Recognition Method for Network User IdentificationTetsuji Kobayashi. 369-372
- An Optimal Multilevel Signature File for Large DatabasesYoung Man Kim, Dik Lun Lee. 373-376
- An Algorithm for Maintenance of Functional RelationshipsM. W. Orlowski. 377-380
- Complex Objects in the Temporal Object SystemFarshad Fotouhi, Abad A. Shah, William I. Grosky. 381-384
- Write-Only Disk Cache Experiments on Multiple Surface DisksCyril U. Orji, Jon A. Solworth. 385-388
- Applying Graph Grammars for Task-Oriented User Interface DevelopmentRudolf Freund, Brigitte Haberstroh, Christian Stary. 389-392
- Visual Database Interface for End User ComputingKeng Siau, K. P. Tan, Hock Chuan Chan. 393-396
- Enforce Constraints in Archival DatabasesKe Wang, Li-Yan Yuan. 397-400
- A Simple Perfect Hashing Method for Static SetsM. V. Ramakrishna. 401-404
- A Switching Architecture for Congestion Control in High-Speed NetworksAnna Hac. 406-409
- Using ECATNets for Specifying Communication Software in the OSI FrameworkMohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche. 410-413
- On the Complexity of Maintaining Fault-Tolerant Distributed SystemsAlois P. Heinz. 414-417
- Reconfigurable Optically-Interconnected Parallel Computer ArchitectureKhaled A. Aly, Patrick W. Dowd. 418-421
- Theory of Deductive Systems for Protocol VerificationX. Li, Richard Lai, Tharam S. Dillon. 422-425
- A Measure of Fault Tolerance for Distributed NetworksConstantine Stivaros. 426-429
- Fault Tolerance for Multistage Interconnection NetworksSiu-Cheung Chau, Weining Zhang, Arthur L. Liestman. 430-435
- Global Snapshots for Distributed DebuggingZhonghua Yang, T. Anthony Marsland. 436-440
- Evaluation of Futurebus+ for a GMMP MultiprocessorEric E. Johnson, Roy S. Moore, John T. Polson. 441-444
- Search Operations on Distributed DirectoriesMichael Bauer, Arin Zahalka. 445-448
- Concurrent Use of Parallel Communication to Enable Remote VisualizationKurt Maly, Frank Paterra, C. Michael Overstreet, Ravi Mukkamala, Sanjeev Khanna. 449-452
- Parallel Reduction of a Chain Query in Distributed DatabasesYanchun Zhang, Maria E. Orlowska. 453-456
- A Distributed Kernel for Virtual Time Driven ApplicationsPhilippe Ingels, Carlos Maziero, Michel Raynal. 457-460
- Modeling and Investigation of a Primitive File Transfer OperationRichard T. Hurley, James P. Black, J. W. Wong. 461-465
- A Distributed Algorithm for Parameterized Semaphore OperationsMahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen. 466-469
- Optimal Allocation for Partially Replicated Database Systems on Ring NetworksA. B. Stephens, Yelena Yesha, Keith E. Humenik. 470-473
- Fault-tolerant CSPShyan-Ming Yuan, Chin-Juan Chen. 474-477
- An Integrate Approach to Satisfy Application RequirementsJürgen Becher, G. M. Solvie. 478-481