1497 | -- | 1506 | Michael L. Dertouzos, Aloysius K. Mok. Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks |
1507 | -- | 1517 | Norman R. Howes, Alfred C. Weaver. Measurements of Ada Overhead in OSI-Style Communications Systems |
1518 | -- | 1525 | Ravi S. Sandhu. Recognizing Immediacy in an N-Tree Hierarchy and Its Application to Protection Groups |
1526 | -- | 1536 | Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng. Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers |
1537 | -- | 1549 | Lori L. Pollock, Mary Lou Soffa. An Incremental Version of Iterative Data Flow Analysis |
1550 | -- | 1566 | D. Sarkar, S. C. De Sarkar. A Theorem Prover for Verifying Iterative Programs Over Integers |
1567 | -- | 1578 | Guy Bernard, Andrzej Duda, Yoram Haddad 0002, Gilbert Harrus. Primitives for Distributed Computing in a Heterogeneous Local Area Network Environment |
1579 | -- | 1586 | Murthy V. Devarakonda, Ravishankar K. Iyer. Predictability of Process Resource Usage: A Measurement-Based Study on UNIX |
1587 | -- | 1595 | Barbara E. Wójcik, Zbigniew M. Wójcik. Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection |
1596 | -- | 1614 | Bev Littlewood, Douglas R. Miller. Conceptual Modeling of Coincident Failures in Multiversion Software |
1615 | -- | 1629 | Cui-Qing Yang, Barton P. Miller. Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach |
1630 | -- | 1632 | Leonardo Felician, Graziella Zalateu. Validating Halstead s Theory for Pascal Programs |
1633 | -- | 1638 | Shyamal K. Chowdhury. The Mean Resequencing Delay for M/H_K/infty Systems |
1638 | -- | 1644 | James A. Hager. Software Cost Reduction Methods in Practice |
1644 | -- | 0 | Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley. Correction to A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution |