default search action
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, Anthony C. C. 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. Fäustle, 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, Charles Harkness 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 - Tim 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: