CSDL - IEEE Transactions on Software Engineering

IEEE Computer Society (PDF)

pp. c2

Automatic Compiler Production: The Front End (Abstract)

S.P. Reiss, Department of Computer Science, Brown University

pp. 609-627

PDF

HTML

Optimiizing Static Scope Lisp by Repetitive Interpretation of Recursive Function Calls (PDF)

K. Felgentreu, Department of Computer Science, Institut fiir Numerische und Instrumentelle Mathematik, University of Munster

pp. 628-635

A Space-Efficient Optimization of Call-by-Need (PDF)

F.W. Burton, Department of Computer Science, University of Utah

pp. 636-642

Reflexive Incidence Matrx (RIM) Representation of Petri Nets (Abstract)

S.K. Das, Department of Computer Science, University of Central Florida

pp. 643-653

PDF

HTML

A Message-Based Approach to Discrete-Event Simulation (Abstract)

R.L. Bagrodia, Department of Computer Sciences, University of Texas at Austin

K.M. Chandy

J. Misra

pp. 654-665

PDF

HTML

An Approach and Mechanism for Auditable and Testable Advanced Transaction Processing Systems (PDF)

R.D. Schultz, Abacus Programming Corporation

A.F. Cardenas

pp. 666-676

Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing (Abstract)

R.P. Roe, Department of Mathematics, Fort Lewis College

J.H. Rowland

pp. 677-682

PDF

HTML

Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching (Abstract)

G.J. Holzmann, AT& T Bell Laboratories

pp. 683-696

PDF

HTML

An Empirical Study of Software Metrics (Abstract)

H.F. Li, Department of Computer Science

W.K. Cheung

pp. 697-708

PDF

HTML

Analysis of Database System Architectures Using Benchmarks (Abstract)

S.B. Yao, Database Systems Research Center, College of Business and Management, University of Maryland

A.R. Hevner

H. Young-Myers

pp. 709-725

PDF

HTML

A Scheme to Enforce Data Dependence on Large Multiprocessor Systems (Abstract)

null Chuan-Qi Zhu, Center for Supercomputing Research and Development, University of Illinois at Urbana-Champaign

null Pen-Chung Yew

pp. 726-739

PDF

HTML

Reasoning About Probabilistic Behavior in Concurrent Systems (Abstract)

S. Purushothaman, Department of Computer Science, Pennsylvania State University

P.A. Subrahmanyam

pp. 740-745

PDF

HTML

Improving the Performance of an Optimistic Concurrency Control Algorithm Through Timestamps and Versions (PDF)

M.J. Carey, Department of Computer Sciences, University of Wisconsin

pp. 746-751

Nontraversible Paths in a Program (Abstract)

M. Chellappa, Flight Control Systems Division, Aeronautical Development Establishment

pp. 751-756

PDF

HTML

Interinput and Interoutput Time Distribution in Classical Product-Form Networks (Abstract)

J.Y. Le Boudec, INSA Rennes

pp. 756-759

PDF

HTML

Comments on "Detection of Mutual Inconsistency in Distributed Systems" (PDF)

K.V.S. Ramarao, Department of Computer Science, University of Pittsburgh

pp. 759-760

IEEE Computer Society Publications (PDF)

pp. 760

Information for Authors (PDF)

pp. 760