![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.