Journal: IEEE Trans. Software Eng.

Volume 15, Issue 12

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