ACM Conference on Computer Science 1994: Phoenix, Arizona, USA

• Wai-tat Poon, E. K. Park:
  Augmented Priority Ceiling Protocol: Task Synchronization for Preemptive Real-Time Systems. 1-6
  
• Robert A. Dew:
  A Rapid Prototyping System for Real-Time Systems. 7-14
  
• Dionysios Kountanis, Hanshu Xue:
  A Better Approximation Algorithm for the Query Optimization Problem. 15-21
  
• Deborah A. Agarwal, Sally Floyd:
  A Tool for Debugging Internet Multicast Routing. 22-29
  
• Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang:
  A State-Transition-Based Incremental Protocol Specification. 30-37
  
• Aditya P. Mathur, W. Eric Wong:
  A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria. 38-45
  
• Nancy J. Wahl:
  System-Level Testing of Distributed Systems. 46-51
  
• G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
  A Graphical Methodology for Concurrent System Design. 52-59
  
• Spiros Mancoridis, Richard C. Holt, Michael W. Godfrey:
  A Program Understanding Environment Based on the ``Star'' Approach to Tool Integration. 60-65
  
• Sami Khuri, Thomas Bäck, Jörg Heitkötter:
  An Evolutionary Approach to Combinatorial Optimization Problems. 66-73
  
• Faris N. Abuali, Dale A. Schoenefeld, Roger L. Wainwright:
  Terminal Assignment in a Communications Network Using Genetic Algorithms. 74-81
  
• Sandip Sen, Daniel E. Damouth:
  Graph-Theoretic Approaches to Problem Decomposition in Multi-Agent Systems. 82-89
  
• Y. Daniel Liang, Chongkye Rhee:
  Linear Algorithms for Two Independent Set Problems in Permutation Graphs. 90-93
  
• Craig E. Wills, Joachim Heck, Ramin Taraz:
  Visualization of a User's Information Space. 94-101
  
• Carolyn Pe Rosiene, Reda A. Ammar:
  A Data Modeling Framework for Queueing Network Models. 102-109
  
• Mary Lou Dorf, Andreia F. Mahler, Paul F. Lehmann:
  Incorporating Semantics into 2-D Strings. 110-115
  
• Narayan C. Debnath:
  Characterization of Imperative Programs Involving Complex Iterations. 116-121
  
• Narayan C. Debnath:
  Empirical Validation of a New Structural Measure. 122-129
  
• Joseph Y. Kuo, Derek S. Morris:
  An Approach to Modeling and Measuring the Design Complexity of Abstract Data Types. 130-138
  
• Lon A. Smith, James Buckley:
  Issues in Formal Semantics of an Object Oriented Database. 139-146
  
• Priti Mishra, Margaret H. Eich:
  A Taxonomy of Views in OODBS. 147-156
  
• Joseph Baumgartner, Diane J. Cook:
  A Genetic-Based Solution to Load Balancing in Parallel Computers. 157-164
  
• Sandip Roy Chowdhury, Bidyut Gupta:
  A Probabilistic Dynamic Load Balancing Algorithm for Homogeneous Distributed Systems (with extension to hypercubes). 165-172
  
• Qiang Wang:
  A Portable Implementation Method of Lucid with Message Passing. 173-180
  
• R. Mark Meyer:
  Interprocess Communication and Hierarchically Shared Memory Space in ELC. 181-188
  
• Anlan Song, Steven A. Demurjian, David L. Kleinman:
  Transaction Management and Object-Oriented Modeling in a Distributed Dynamic Decision Making Environment. 189-195
  
• Silvano Pozzi, Elisabetta Di Nitto:
  ImagineDesk: A Software Platform Supporting Cooperative Applications. 196-202
  
• P. R. Venkata Subramaniam, Kam-Hoi Cheng:
  A Constant Response Time Simultaneous Access Dictionary Machine. 203-209
  
• Phyllis Crandall, Michael J. Quinn:
  Three-Dimensional Grid Partitioning for Network Parallel Processing. 210-217
  
• Crispin Cowan, Hanan Lutfiyya, Michael A. Bauer:
  Increasing Concurrency Through Optimism: A Reason for HOPE. 218-225
  
• Mohammad S. Obaidat, H. Khalid, K. Sadiq:
  Performance Evaluation of CISC Computer Systems Under Single- and Two-Level Cache Environments. 226-232
  
• Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey:
  The QuickRing Network. 233-240
  
• Peter Bodorik, Dawn N. Jutla:
  Multi-View Access Control Memory Computer System. 241-248
  
• Robert B. France, Maria M. Larrondo-Petrie:
  From Structured Analysis to Formal Specifications: State of the Theory. 249-256
  
• Venu Vasudevan:
  A Monitoring Approach to Active Project Management. 257-263
  
• Michael Blanks:
  Why we Tolerate Defective Software. 264-270
  
• Richard T. Turley, James M. Bieman:
  Identifying Essential Competencies of Software Engineers. 271-278
  
• Stéphane Guella, Le Gruenwald:
  Recovery for Real-Time Main Memory Database Systems. 279-287
  
• Kathleen Neumann, Lawrence J. Henschen:
  Partitioning Algorithms for a Distributed Deductive Databases. 288-295
  
• Özgür Ulusoy:
  Data Replication versus Timing Constraints in Distributed Database Systems. 296-303
  
• Yung P. Jang, Roger G. Johnson:
  Evolutions of Object States in Temporal Object-Oriented Databases. 304-311
  
• Mansur H. Samadzadeh, S. J. Khan:
  Stability, Coupling, and Cohesion of Object-Oriented Software Systems. 312-319
  
• Ka-Wing Wong:
  Knowledge-Based OOA and OOD. 320-324
  
• Thomas A. Gust:
  An Illustration of Extending Structured Software Development to Include Object-Oriented Techniques. 325-331
  
• Venu Vasudevan:
  Comprehending Large-Scale Connectivity in Object-Bases. 332-339
  
• David W. Embley, Stephen W. Liddle, Scott N. Woodfield:
  Attributes: Should we Eliminate Them from Semantic and Object-Oriented Data Models? 340-347
  
• Qi Yang:
  Computation of Chain Queries in Distributed Database Systems. 348-355
  
• Harvey Rubinovitz, Bhavani M. Thuraisingham:
  Security Constraint Processing in a Distributed Database Environment. 356-363
  
• Hwan-Seung Yong, Sukho Lee:
  Signature File Generation Techniques for Query Processing in Object-Oriented Databases. 364-371
  
• John E. Rager:
  Two-Level Grammars and Robustness in Natural Language Processing. 372-379
  
• Boris Stilman:
  A Formal Model for Heuristic Search. 380-389
  
• Si-Tang Cheng, Chiou-Kuo Liang:
  An Algorithm for Finding the Compact Sets in the Plane. 390-395
  
• Chieh-ying Kan, Xudong He:
  Algebraic Petri Nets and Their Applications. 396-403
  
• Lotfi A. Zadeh:
  Fuzzy Logic: Issues, Contentions and Perspectives (Abstract). 407
  
• Bill Curtis:
  Talent, Process, and the Virtual World Called ``REAL'' (Abstract). 408
  
• Aloysius K. Mok:
  What Really is Rapid Prototyping for Real-Time System? (Abstract). 409
  
• David A. Patterson:
  Terabytes >> Teraflops or Why Work on Processors When I/O is Where the Action is? (Abstract). 410
  
• Barry W. Boehm:
  Megaprogramming (Abstract). 412
  
• Vijaya Ramachandran:
  The Design and Evaluation of Parallel Algorithms (Abstract). 413
  
• Nancy G. Leveson:
  High Pressure Steam Engines and Computer Software (Abstract). 414
  
• Anita Borg:
  Electronic Mail in an Expanding Universe (Abstract). 415
  
• Norman E. Gibbs:
  Education: Past, Present, Future (Abstract). 416
  
• Mary Shaw:
  Putting ``Engineering'' into Software Engineering (Abstract). 417
  
• Mark Weiser:
  Ubiquitous Computing (Abstract). 418
  
• Michael C. Mulder:
  The Education of the New Information Specialist (Abstract). 421
  
• Anthony Gargaro:
  Standards and You (Abstract). 422
  
• James C. Browne:
  The Relation of Software Engineering to Computer Science (Abstract). 425
  
• Susan M. Merritt:
  Computer Science in the High School: What Computer Professionals Need to Know and Do (Abstract). 427
  
• Peter J. Denning:
  Educating a New Computer Scientist (Abstract). 428
  
• Ashok K. Chandra:
  Supply and Demand for Computer Science PHDs (Abstract). 429
  
• Ravi Jain, Richard Wolff:
  Mobile Computing and Communications (Abstract). 430
  
• Donald Gotterbarn:
  Mandating Minimal Requirements for a Computing Professional: Corporate Standards, Certification, or Licensing? (Abstract). 431
  
• Suzy Gallagher, Laurie Honour Werth:
  Marriage, Family and Tenure (Abstract). 432
  
• Bill Warren:
  Today's most Sought-After People ... are now the Most Reachable (Abstract). 433
  
• Stephen Sherman:
  Software Reengineering - Hype and Reality (Abstract). 434
  
• John Impagliazzo:
  An Industry Perspective on Computer Science Accreditation (Abstract). 435