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