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
• Aniello Cimitile, Malcolm Munro: An Improved Algorithm for Identifying Objects in Code. 25-48
• Koenraad De Bosschere, Paul Tarau: Blackboard-based Extensions in Prolog. 49-69
• Johnny Wong, Sriram Kini, Kishore Doobagunta: Synchronization in Specification-based Multimedia Presentations. 71-81
• Richard Lai, A. Lo: EASE: A Software Environment for Automatic Implementation of Application Protocol. 83-103
• Toong Shoon Chan, Ian Gorton: Formal Validation of a High Performance Error Control Protocol using SPIN. 105-124

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
• George Triantafyllos, Stamatis Vassiliadis: Software Reliability Models for Computer Implementations - An Empirical Study. 135-164
• A. Jefferson Offutt, Jie Pan, Kanupriya Tewary, Tong Zhang: An Experimental Evaluation of Data Flow and Mutation Testing. 165-176
• Charles L. A. Clarke, David V. Mason: Compacting Garbage Collection can be Fast and Simple. 177-194
• Panos Kougiouris, Graham Hamilton: Buffer Management Issues in the Implementation of Fast Interprocess Communication. 195-211
• Hirotomo Okuno, Hideki Matsumoto, Hironori Asai: TableSpec: Free Format Specification Table and Source Code Generation. 213-235
• Darrin Weber, Madalene Spezialetti, Hassan R. Barada: VidNet: Distributed Processing Environment for Computer Generated Animation. 237-250

Volume 26, Number 3, March 1996

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

Volume 26, Number 4, April 1996

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

Volume 26, Number 5, May 1996

• S. Faustle, Maria Grazia Fugini, Ernesto Damiani: Retrieval of Reusable Components Using Functional Similarity. 491-530
• 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
• Marek Machura: Managing Information in a Co-Operative Object Database System. 545-579
• Yosi Ben-Asher, Dror G. Feitelson, Larry Rudolph: ParC - An Extension of C for Shared Memory Parallel Processing. 581-612

Volume 26, Number 6, June 1996

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

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
• Koenraad De Bosschere: An Operator Precedence Parser for Standard Prolog Text. 763-779
• Alistair Moffat, Gary Eddy, Ola Petersson: Splaysort: Fast, Versatile, Practical. 781-797
• Allen S. Parrish, David Cordes, Richard B. Borie, S. Edara: Illustrating Client and Implementation Readability Tradeoffs in Ada and C++. 799-814
• Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung: A Behavior-Based Classification and Retrieval Technique for Object-Oriented Specification Reuse. 815-832
• Hanspeter Mössenböck, Kai Koskimies: Active Text for Structuring and Understanding Source Code. 833-850
• Angelo Monfroglio: Hybrid Genetic Algorithms for a Rostering Problem. 851-862

Volume 26, Number 8, August 1996

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

Volume 26, Number 9, September 1996

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

Volume 26, Number 10, October 1996

• Charles W. Gardiner: ASN_EZE: An Analgesic for Writers of ASN.1 Applications. 1087-1096
• Chung-Ming Huang, Yao-Fang Chu, Ye-In Chang: An ODA-like Multimedia Document System. 1097-1126
• Kevin A. Broughan, Diane M. K. Willcock: Fortran to Lisp Translation using f2cl. 1127-1139
• 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
• Mikael Lindvall, Kristian Sandahl: Practical Implications of Traceability. 1161-1180

Volume 26, Number 11, November 1996

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

Volume 26, Number 12, December 1996

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