Volume 9,
Number 1,
January 1983
Languages Issues
Performance Issues
- Peter M. G. Apers, Alan R. Hevner, S. Bing Yao:
Optimization Algorithms for Distributed Queries.
57-68
- Edwin J. Lau, Domenico Ferrari:
Program Restructuring in a Multilevel Virtual Memory.
69-79
- Tohru Nishigaki:
Experiments on the Knee Criterion in a Multiprogrammed Computer System.
79-86
- Clement H. C. Leung:
Analysis of Secondary Storage Fragmentation.
87-93
- Cary A. Coutant, Ralph E. Griswold, David R. Hanson:
Measuring the Performance and Behavior of Icon Programs.
93-103
- R. R. Oldehoeft:
Program Graphs and Execution Behavior.
103-108
- Raymond A. Marie, Jean M. Pellaumail:
Steady-State Probabilities for a Queue with a General Service Distribution and State-Dependent Arrivals.
109-113
- Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe:
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".
113 ,
->IEEE Trans. Software Eng. 8(5): 460-489(1982)
Volume 9,
Number 2,
March 1983
- John D. Musa:
Guest Editorial: COMPSAC '81 Special Section.
118-119
- Lisa F. Rubin:
Syntax-Directed Pretty Printing - A First Step Towards a Syntax-Directed Editor.
119-127
- John P. Kearns, Samuel DeFazio:
Locality of Reference in Hierarchical Database Systems.
128-134
- Maggie Y. L. Ip, Lawrence V. Saxton, Vijay V. Raghavan:
On the Selection of an Optimal Set of Indexes.
135-143
- Duen-Ping Tsay, Ming T. Liu:
MIKE: A Network Operating System for the Distributed Double-Loop Computer Network.
143-154
- Vincent Yun Shen, Samuel D. Conte, Hubert E. Dunsmore:
Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support.
155-165
- Neal S. Coulter:
Software Science and Cognitive Psychology.
166-171
- Roberto M. Negrini, Mariagiovanna Sami:
Some Properties Derived from Structural Analysis of Program Graph Models.
172-178
- Sidney L. Getz, George Kalligiannis, Stephen R. Schach:
A Very High-Level Interactive Graphical Trace for the Pascal Heap.
179-185
- Peter Schulthess, Christian Jacobi:
Anatomy of a Small Pascal Compiler.
191
- Samuel T. Redwine Jr.:
An Engineering Approach to Software Test Data Design.
191-200
- Jean René Ménand, Monique Becker:
Modeling a Multiprocessor Architecture.
201-210
- Vincent Hayward, A. Osorio:
A System to Automatically Analyze Assembled Programs.
210-213
Volume 9,
Number 3,
May 1983
- Patricia G. Selinger:
State-of-the-Art Issues in Distributed Databases.
218
- Dale Skeen, Michael Stonebraker:
A Formal Model of Crash Recovery in a Distributed System.
219-228
- Eugene Wong:
Dynamic Rematerialization: Processing Distributed Queries Using Redundant Data.
228-232
- Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai:
Analyzing Concurrency Control Algorithms When User and System Operations Differ.
233-239
- Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline:
Detection of Mutual Inconsistency in Distributed Systems.
240-247
- Jan van den Bos, Marinus J. Plasmeijer, Pieter H. Hartel:
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems.
247-259
- Luigi Logrippo, Douglas R. Skuce:
File Structures, Program Structures, and Attributed Grammars.
260-266
- Noah S. Prywes, Amir Pnueli:
Compilation of Nonprocedural Specifications into Computer Programs.
267-279
- Frank G. Pagan:
A Diagrammatic Notation for Abstract Syntax and Abstract Structured Objects.
280-289
- Glenn H. MacEwen:
The Design for a Secure System Based on Program Analysis.
289-299
- Domenico Ferrari, Yiu-Yo Yih:
VSWS: The Variable-Interval Sampled Working Set Policy.
299-305
- M. W. Du, T. M. Hsieh, K. F. Jea, D. W. Shieh:
The Study of a New Perfect Hash Scheme.
305-313
- Mukul K. Sinha:
Nonsensitive Data and Approximate Transactions.
314-322
- Harvey S. Koch, Peter Kubat:
Optimal Release Time of Computer Software.
323-327
- Paul R. McMullin, John D. Gannon:
Combining Testing with Formal Specifications: A Case Study.
328-335
- Steven J. Zeil:
Testing for Perturbations of Program Statements.
335-346
- Janusz W. Laski, Bogdan Korel:
A Data Flow Oriented Program Testing Strategy.
347-354
- Thomas Anderson, John C. Knight:
A Framework for Software Fault Tolerance in Real-Time Systems.
355-364
- Rangasami L. Kashyap, B. John Oommen:
The Noisy Substring Matching Problem.
365-370
- J. R. Jagannathan, R. Vasudevan:
Comments on "Protocols for Deadlock Detection in Distributed Database Systems".
371 ,
->IEEE Trans. Software Eng. 8(6): 554-557(1982)
Volume 9,
Number 4,
July 1983
- Igor Hawryszkiewycz:
A Semantic Design Method.
373-384
- Eric D. Carlson, James R. Rhyne, Daniel L. Weller:
Software Structure for Display Management Systems.
385-394
- John R. White:
On the Multiple Implementation of Abstract Data Types Within a Computation.
395-411
- I. V. Ramakrishnan, James C. Browne:
A Paradigm for the Design of Parallel Algorithms with Applications.
411-415
- Werner E. Kluge, Heinz Schlütter:
Petri Net Models for the Evaluation of Applicative Programs Based on lambda-Expressions.
415-427
- Jochen Ludewig:
ESPRESO - A System for Process Control Software Specification.
427-436
- Sushil Jajodia, Jian Liu, Peter A. Ng:
A Scheme of Parallel Processing for MIMD Systems.
436-445
- Peter Wegner, Scott A. Smolka:
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives.
446-462
- Guy Bernard:
Interconnection of Local Computer Networks: Modeling and Optimization Problems.
463-470
- Bharat K. Bhargava, Cecil T. Hua:
A Causal Model for Analyzing Distributed Concurrency Control Algorithms.
470-486
- Stefano Ceri, Shamkant B. Navathe, Gio Wiederhold:
Distribution Design of Logical Database Schemas.
487-504
- To-Yat Cheung:
Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation.
504-512
- Laxmi N. Bhuyan, Dharma P. Agrawal:
Performance Analysis of FFT Algorithms on Multiprocessor Systems.
512-521
- Ronald L. Larsen, Ashok K. Agrawala:
Control of a Heterogeneous Two-Server Exponential Queueing System.
522-526
- Abraham Silberschatz:
Extending CSP to Allow Dynamic Resource Management.
527-531
- Michael J. Ferguson:
Weighted Processor Sharing-Results for Hyperexponential Servers.
531-535
- Abraham Silberschatz:
A Case for Non-Two-Phase Locking Protocols that Ensure Atomicity.
535-538
Volume 9,
Number 5,
September 1983
- Leland L. Beck, Thomas E. Perkins:
A Survey of Software Engineering Practice: Tools, Methods, and Results.
541-561
- Roger D. H. Warburton:
Managing and Predicting the Costs of Real-Time Software.
562-569
- Nancy G. Leveson, Peter R. Harvey:
Analyzing Software Safety.
569-579
- Constance L. Heitmeyer, John D. McLean:
Abstract Requirements Specification: A New Approach and Its Application.
580-589
- Robert A. Nelson, Lois M. Haibt, Peter B. Sheridan:
Casting Petri Nets into Programs.
590-602
- James E. Coolahan Jr., Nick Roussopoulos:
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets.
603-616
- Sushil Jajodia, Peter A. Ng, Frederick N. Springsteel:
The Problem of Equivalence for Entity-Relationship Diagrams.
617-630
- Iraj Kalantari, Gerard McDonald:
A Data Structure and an Algorithm for the Nearest Point Problem.
631-634
Volume 9,
Number 6,
November 1983
Copyright © Fri Mar 12 17:34:06 2010
by Michael Ley (ley@uni-trier.de)
