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

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

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

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

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

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

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

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

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

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

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

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

Last update Thu Feb 16 07:17:24 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page