Software - Practice and Experience(SPE), Volume 26, 1996

Volume 26, Number 1, January 1996

David Mosberger, Peter Druschel, Larry L. Peterson: Implementing Atomic Sequences on Uniprocessors Using Rollforward. 1-23 BibTeX
Aniello Cimitile, Malcolm Munro: An Improved Algorithm for Identifying Objects in Code. 25-48 BibTeX
Koenraad De Bosschere, Paul Tarau: Blackboard-based Extensions in Prolog. 49-69 BibTeX
Johnny Wong, Sriram Kini, Kishore Doobagunta: Synchronization in Specification-based Multimedia Presentations. 71-81 BibTeX
Richard Lai, A. Lo: EASE: A Software Environment for Automatic Implementation of Application Protocol. 83-103 BibTeX
Toong Shoon Chan, Ian Gorton: Formal Validation of a High Performance Error Control Protocol using SPIN. 105-124 BibTeX

Volume 26, Number 2, February 1996

Ronald A. Olsson, Carole M. McNamee: Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR. 125-134 BibTeX
George Triantafyllos, Stamatis Vassiliadis: Software Reliability Models for Computer Implementations - An Empirical Study. 135-164 BibTeX
A. Jefferson Offutt, Jie Pan, Kanupriya Tewary, Tong Zhang: An Experimental Evaluation of Data Flow and Mutation Testing. 165-176 BibTeX
Charles L. A. Clarke, David V. Mason: Compacting Garbage Collection can be Fast and Simple. 177-194 BibTeX
Panos Kougiouris, Graham Hamilton: Buffer Management Issues in the Implementation of Fast Interprocess Communication. 195-211 BibTeX
Hirotomo Okuno, Hideki Matsumoto, Hironori Asai: TableSpec: Free Format Specification Table and Source Code Generation. 213-235 BibTeX
Darrin Weber, Madalene Spezialetti, Hassan R. Barada: VidNet: Distributed Processing Environment for Computer Generated Animation. 237-250 BibTeX

Volume 26, Number 3, March 1996

Angelo Monfroglio: Timetabling Through Constrained Heuristic Search and Genetic Algorithms. 251-279 BibTeX
Kristy Andrews, Paul Del Vigna, Mark Molloy: Macro and File Structure Preservation in Source-to-source Translation. 281-292 BibTeX
Iain MacCallum: Round-Pound Arithmetic. 293-307 BibTeX
Harold W. Thimbleby: An Equivalence Class Algorithm for Drawing Autostereograms. 309-325 BibTeX
Edward Mascarenhas, Vernon Rego: Ariadne: Architecture of a Portable Threads System Supporting Thread Migration. 327-356 BibTeX
Kiem-Phong Vo: Vmalloc: A General and Efficient Memory Allocator. 357-374 BibTeX

Volume 26, Number 4, April 1996

Lars C. Wolf, Wolfgang Burke, Carsten Vogt: Evaluation of a CPU Scheduling Mechanism for Multimedia Systems. 375-398 BibTeX
Stephen G. Eick, Paul J. Lucas: Displaying Trace Files. 399-409 BibTeX
Janak Mulani, Arun Bahulkar: A Graphical Navigator for Viewing Databases. 411-426 BibTeX
Goetz Graefe: Iterators, Schedulers, and Distributed-memory Parallelism. 427-452 BibTeX
Pei-Chi Wu, Feng-Jian Wang: On Efficiency and Optimization of C++ Programs. 453-465 BibTeX
Norman Ramsey: A Simple Solver for Linear Equations Containing Nonlinear Operators. 467-487 BibTeX
Peter M. Fenwick: A New Data Structure for Cumulative Probability Tables: An Improved Frequency-to-Symbol Algorithm. 489-490 BibTeX

Volume 26, Number 5, May 1996

S. Faustle, Maria Grazia Fugini, Ernesto Damiani: Retrieval of Reusable Components Using Functional Similarity. 491-530 BibTeX
Douglas R. Hellman, Mitchell L. Patterson, Robert L. Cannon, Philip D. Moore, Christopher G. St. C. Kendall: Tools for Visual and Numerical Data Entry. 531-544 BibTeX
Marek Machura: Managing Information in a Co-Operative Object Database System. 545-579 BibTeX
Yosi Ben-Asher, Dror G. Feitelson, Larry Rudolph: ParC - An Extension of C for Shared Memory Parallel Processing. 581-612 BibTeX

Volume 26, Number 6, June 1996

Alberto Avritzer, Elaine J. Weyuker: Deriving Workloads for Performance Testing. 613-633 BibTeX
Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho: Lua-An Extensible Extension Language. 635-652 BibTeX
Greger Lindén, Henry Tirri, A. Inkeri Verkamo: ALCHEMIST; A General Purpose Transformation Generator. 653-675 BibTeX
Johnny Wong, Deepa S. Parthasarathy: Remote Access to Multimedia Databases: An Object Oriented Approach. 677-704 BibTeX
Lily B. Mummert, Mahadev Satyanarayanan: Long Term Distributed File Reference Tracing: Implementation and Experience. 705-736 BibTeX

Volume 26, Number 7, July 1996

C. H. Levy, Luiz Henrique de Figueiredo, Marcelo Gattass, Carlos José Pereira de Lucena, Donald D. Cowan: IUP/LED: A Portable User Interface Development Tool. 737-762 BibTeX
Koenraad De Bosschere: An Operator Precedence Parser for Standard Prolog Text. 763-779 BibTeX
Alistair Moffat, Gary Eddy, Ola Petersson: Splaysort: Fast, Versatile, Practical. 781-797 BibTeX
Allen S. Parrish, David Cordes, Richard B. Borie, S. Edara: Illustrating Client and Implementation Readability Tradeoffs in Ada and C++. 799-814 BibTeX
Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung: A Behavior-Based Classification and Retrieval Technique for Object-Oriented Specification Reuse. 815-832 BibTeX
Hanspeter Mössenböck, Kai Koskimies: Active Text for Structuring and Understanding Source Code. 833-850 BibTeX
Angelo Monfroglio: Hybrid Genetic Algorithms for a Rostering Problem. 851-862 BibTeX

Volume 26, Number 8, August 1996

J. R. Firth, C. H. Forsyth, I. C. Wand: The Compilation of Ada. 863-909 BibTeX
Waldemar Wieczerzycki: Software Reusability Through Versions. 911-927 BibTeX
David W. Goodwin, Kent D. Wilken: Optimal and Near-Optimal Global Register Allocation Using 0-1 Integer Programming. 929-965 BibTeX
T. R. Hopkins: Restructuring Software: A Case Study. 967-982 BibTeX

Volume 26, Number 9, September 1996

H. Chuck Yoo: Comparative Analysis of Asynchronous I/O in Multithreaded UNIX. 987-997 BibTeX
Mehmet Bülent Özcan, Jawed I. A. Siddiqi: Interchanging Specifications and Implementations in Evolutionary Prototyping. 999-1023 BibTeX
Chinhyun Kim, Jean-Luc Gaudiot, Wlodek Proskurowski: Parallel Computing with the Sisal Applicative Language: Programmability and Performance Issues. 1025-1051 BibTeX
John C. Grundy, John G. Hosking, Warwick B. Mugridge: Supporting Flexible Consistency Management via Discrete Change. 1053-1083 BibTeX

Volume 26, Number 10, October 1996

Charles W. Gardiner: ASN_EZE: An Analgesic for Writers of ASN.1 Applications. 1087-1096 BibTeX
Chung-Ming Huang, Yao-Fang Chu, Ye-In Chang: An ODA-like Multimedia Document System. 1097-1126 BibTeX
Kevin A. Broughan, Diane M. K. Willcock: Fortran to Lisp Translation using f2cl. 1127-1139 BibTeX
Tsing-Gen Lee, Wen-Jong Fang, Allen C.-H. Wu: The Design and Inplementation of a Cooperative Design-view Environment for Interactive Partitioning Applications. 1141-1160 BibTeX
Mikael Lindvall, Kristian Sandahl: Practical Implications of Traceability. 1161-1180 BibTeX

Volume 26, Number 11, November 1996

Tong Lai Yu: Data Compression for PC Software Distribution. 1181-1195 BibTeX
H. J. Messerschmidt: List Iterators in C++. 1197-1203 BibTeX
Daniel E. Cooke: An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars. 1205-1246 BibTeX
Roger G. Stone, Gada F. Kadoda: Token-by-token Syntax-directed Editing (Using an LR Parser). 1247-1260 BibTeX
Jeff Kotula: Discovering Patterns: An Industry Report. 1261-1276 BibTeX
David R. Hanson, Mukund Raghavachari: A Machine-independent Debugger. 1277-1299 BibTeX

Volume 26, Number 12, December 1996

Vincenzo Loia, Michel Quaggetto: Optimizing Procedure Calls for Delayed Non-Local Execution Protocol. 1303-1334 BibTeX
Xian Liu, Günther F. Schrack: Encoding and Decoding the Hilbert Order. 1335-1346 BibTeX
Boris Tamm, Kuldar Taveter: A List-Based Virtual Machine for COBOL. 1347-1371 BibTeX
Seng-cho Timothy Chou: Colony: An Artificial Life Model for Active Autonomous Objects. 1373-1384 BibTeX
Jeremy P. Goodwin, Edward F. Gehringer: Optimizing Procedure Calls in Block-Structured Languages. 1385-1414 BibTeX
Douglas Stott Parker Jr.: Aesthetics-Based Graph Layout for Human Consumption. 1415-1438 BibTeX
Petteri Jokinen, Jorma Tarhio, Esko Ukkonen: A Comparison of Approximate String Matching Algorithms. 1439-1458 BibTeX