default search action
ACM Conference on Computer Science 1994: Phoenix, Arizona, USA
- John Werth, Laurie Honour Werth:
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, CSC '94, Phoenix, Arizona, USA, March 8-10, 1994. ACM 1994, ISBN 0-89791-634-4 - 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 - George 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, Humayun 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 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 D. Weiser:
Ubiquitous Computing (Abstract). 418 - Michael C. Mulder:
The Education of the New Information Specialist (Abstract). 421 - Anthony B. 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 S. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.