On the Efficient Engineering of Ambitious Program Analysis
- Jong-Deok Choi
- Ron Cytron
- et al.
- 1994
- IEEE Transactions on Software Engineering
Publications
Date
Featured collections
Popular topics
97 results at IEEE Transactions on Software Engineering
User Navigation in Computer Applications
- Jacob P. Ukelson
- John D. Gould
- et al.
- 1993
- IEEE Transactions on Software Engineering
Rapid Transaction-Undo Recovery Using Twin-Page Storage Management
- Kun-Lung Wu
- W. Kent Fuchs
- 1993
- IEEE Transactions on Software Engineering
A Case Study of Software Process Improvement During Development
- Inderpal Bhandari
- Michael Halliday
- et al.
- 1993
- IEEE Transactions on Software Engineering
Performance Analysis of Concurrency Control Using Locking with Deferred Blocking
- Philip S. Yu
- Daniel M. Dias
- 1993
- IEEE Transactions on Software Engineering
Achieving Service Rate Objectives with Decay Usage Scheduling
- Joseph L. Hellerstein
- 1993
- IEEE Transactions on Software Engineering
Extending Typestate Checking Using Conditional Liveness Analysis
- Robert E. Strom
- Daniel M. Yellin
- 1993
- IEEE Transactions on Software Engineering
In-Process Evaluation for Software Inspection and Test
- Jarir K. Chaar
- Michael J. Halliday
- et al.
- 1993
- IEEE Transactions on Software Engineering
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience
- Luis-Felipe Cabrera
- John A. McPherson
- et al.
- 1993
- IEEE Transactions on Software Engineering
Efficient distributed knot detection algorithm
- Israel Cidon
- 1992
- IEEE Transactions on Software Engineering