Volume 8,
Number 1,
January 1982
Programming Methodology
Testing und Verification
Performance Analysis
Volume 8,
Number 2,
February 1982
Volume 8,
Number 3,
May 1982
- Bharat K. Bhargava:
Guest Editorial: Reliability Issues in Distributed Systems.
165-167 BibTeX
- Daniel R. Ries, Gordon C. Smith:
Nested Transactions in Distributed Systems.
167-172 BibTeX
- Toshimi Minoura, Gio Wiederhold:
Resilient Extended True-Copy Token Scheme for a Distributed Database System.
173-189 BibTeX
- K. H. Kim:
Approaches to Mechanization of the Conversation Scheme Based on Monitors.
189-197 BibTeX
- Michael J. Fischer, Nancy D. Griffeth, Nancy A. Lynch:
Global States of a Distributed System.
198-202 BibTeX
- Barbara Liskov:
On Linguistic Support for Distributed Programs.
203-210 BibTeX
- Yat-Sang Kwong, Derick Wood:
A New Method for Concurrency in B-Trees.
211-222 BibTeX
- Gultekin Özsoyoglu, Francis Y. L. Chin:
Enhancing the Security of Statistical Databases with a Question-Answering System and a Kernel Design.
223-234 BibTeX
- Chin-Chen Chang, Richard C. T. Lee, M. W. Du:
Symbolic Gray Code as a Perfect Multiattribute Hashing Scheme for Partial Match Queries.
235-249 BibTeX
- Pamela Zave:
An Operational Approach to Requirements Specification for Embedded Systems.
250-269 BibTeX
- Victor R. Basili, Harlan D. Mills:
Understanding and Documenting Programs.
270-283 BibTeX
- James L. Reuss:
Macro Implementation of a Structured Assembly Language.
284-287 BibTeX
- Nissim Francez, Michael Rodeh:
Achieving Distributed Termination without Freezing.
287-292 BibTeX
Volume 8,
Number 4,
July 1982
- Simonetta Balsamo, Giuseppe Iazeolla:
An Extension of Nortons's Theorem for Queueing Networks.
298-305 BibTeX
- John A. Stankovic:
Good System Structure Features: Their Complexity and Execution Time Cost.
306-318 BibTeX
- Leah J. Siegel, Howard Jay Siegel, Philip H. Swain:
Performance Measures for Evaluating Algorithms for SIMD Machines.
319-331 BibTeX
- Mamoru Maekawa, Yojiro Morimoto:
Performance Adjustment of an APL Interpreter.
331-343 BibTeX
- Franco Bazzichi, Ippolito Spadafora:
An Automatic Generator for Compiler Testing.
343-353 BibTeX
- C. V. Ramamoorthy, Farokh B. Bastani:
Software Reliability - Status and Perspectives.
354-371 BibTeX
- William E. Howden:
Weak Mutation Testing and Completeness of Test Sets.
371-379 BibTeX
- Lori A. Clarke, Johnette Hassell, Debra J. Richardson:
A Close Look at Domain Testing.
380-390 BibTeX
- Ernest J. H. Chang:
Echo Algorithms: Depth Parallel Operations on General Graphs.
391-401 BibTeX
- Timothy C. K. Chou, Jacob A. Abraham:
Load Balancing in Distributed Systems.
401-412 BibTeX
- T. C. Wesselkamper:
Computer Program Schemata and the Processes They Generate.
412-419 BibTeX
- Michel Dubois, Faye A. Briggs:
Performance of Synchronized Iterative Processes in Multiprocessor Systems.
419-431 BibTeX
- Franklin L. Vermeulen:
On the Combined Problem of Compaction and Sorting.
432-435 BibTeX
- John Kontos, George K. Papakonstantinou:
The Interpretation of Meta Grammars Describing Syntax-Directed Interpreters Using an Attribute Grammar Interpreter.
435-436 BibTeX
- M. Lipow:
Number of Faults per Line of Code.
437-439 BibTeX
- Georges Gardarin, Michel A. Melkanoff:
Proving Consistency of Database Transactions Written in Extended Pascal.
440-446 BibTeX
- Glenn H. MacEwen:
Correction to "Information Flow Certification Using an Intermediate Code Programm Representation".
446 BibTeX
,
->IEEE Trans. Software Eng. 7(6): 594-607(1981) BibTeX
Volume 8,
Number 5,
September 1982
Volume 8,
Number 6,
November 1982
- Haran Boral, David J. DeWitt, Dina Friedland, Nancy F. Jarrell, W. Kevin Wilkinson:
Implementation of the Database Machine DIRECT.
533-543 BibTeX
- S. Bing Yao, Vance E. Waddle, Barron C. Housel:
View Modeling and Integration Using the Functional Data Model.
544-553 BibTeX
- Gary S. Ho, C. V. Ramamoorthy:
Protocols for Deadlock Detection in Distributed Database Systems.
554-557 BibTeX
,
Comment: IEEE Trans. Software Eng. 9(3): 371(1983) BibTeX
- Abraham Silberschatz, Zvi M. Kedem:
A Family of Locking Protocols for Database Systems that Are Modeled by Directed Graphs.
558-562 BibTeX
- Nick Roussopoulos:
The Logical Access Path Schema of a Database.
563-573 BibTeX
- Francis Y. L. Chin, Gultekin Özsoyoglu:
Auditing and Inference Control in Statistical Databases.
574-582 BibTeX
- Yang-Chang Hong, Stanley Y. W. Su:
A Mechanism for Database Protection in Cellular-Logic Devices.
583-596 BibTeX
- Abe Lockman, Naftaly H. Minsky:
Unidirectional Transport of Rights and Take-Grant Control.
597-604 BibTeX
- Narain H. Gehani:
Databases and Units of Measure.
605-611 BibTeX
- Haim Mendelson:
Analysis of Extendible Hashing.
611-619 BibTeX
- R. Nigel Horspool, Eric C. R. Hehner:
Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory".
620-621 BibTeX
,
->IEEE Trans. Software Eng. 7(6): 590-593(1981) BibTeX
Copyright © Sun May 17 00:30:41 2009
by Michael Ley (ley@uni-trier.de)
