The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 03 - May (vol. 9)
ISSN: 0098-5589
Papers

IEEE Computer Society (PDF)

pp. c2

Editorial (PDF)

pp. 217

A Formal Model of Crash Recovery in a Distributed System (PDF)

D. Skeen , Department of Computer Science, Cornell University
pp. 219-228

Dynamic Rematerialization: Processing Distributed Queries Using Redundant Data (Abstract)

E. Wong , Department of Electrical Engineering and Computer Sciences and the Electronics Research Laboratory, University of California
pp. 228-232

Input-Output Tools: A Language Facility for Interactive and Real-Time Systems (Abstract)

J. Van Den Bos , Department of Computer Science and the Computer Graphics Group, University of Nijmegen
pp. 247-259

File Structures, Program Structures, and Attributed Grammars (Abstract)

L. Logrippo , Software Reliability Research Group, Department of Computer Science, University of Ottawa
pp. 260-266

Compilation of Nonprocedural Specifications into Computer Programs (Abstract)

N.S. Prywes , Department of Computer and Information Science, Moore School, University of Pennsylvania
pp. 267-279

A Diagrammatic Notation for Abstract Syntax and Abstract Structured Objects (Abstract)

F.G. Pagan , Department of Computer Science, Southern Illinois University
pp. 280-289

The Design for a Secure System Based on Program Analysis (Abstract)

G.H. MacEwen , Department of Computing and Information Science, Queen's University
pp. 289-299

VSWS: The Variable-Interval Sampled Working Set Policy (Abstract)

D. Ferrari , Computer Science Division, Department of Electrical Engineering and Computer Sciences, and the Electronics Research Laboratory, University of California
pp. 299-305

The Study of a New Perfect Hash Scheme (Abstract)

M.W. Du , Institute of Computer Engineering, National Chiao Tung University
pp. 305-313

Nonsensitive Data and Approximate Transactions (Abstract)

M.K. Sinha , National Centre for Software Development and Computing Techniques, Tata Institute of Fundamental Research
pp. 314-322

Optimal Release Time of Computer Software (Abstract)

H.S. Koch , Graduate School of Management, University of Rochester
pp. 323-327

Combining Testing with Formal Specifications: A Case Study (Abstract)

P.R. McMullin , Applied Physics Laboratory, The Johns Hopkins University
pp. 328-335

Testing for Perturbations of Program Statements (Abstract)

S.J. Zeil , Department of Computer and Information Science, University of Massachusetts
pp. 335-346

A Data Flow Oriented Program Testing Strategy (Abstract)

J.W. Laski , School of Engineering and Computer Science, Oakland University
pp. 347-354

A Framework for Software Fault Tolerance in Real-Time Systems (PDF)

T. Anderson , Computing Laboratory, University of New-castle-upon-Tyne
pp. 355-364

The Noisy Substring Matching Problem (Abstract)

R.L. Kashyap , School of Electrical Engineering, Purdue University
pp. 365-370

Comments on "Protocols for Deadlock Detection in Distributed Database Systems" (PDF)

J.R. Jagannathan , Department of Computer Science, University of Waterloo
pp. 371

1982 Referees List (PDF)

pp. 372

Call for Papers (PDF)

pp. 372
98 ms
(Ver )