default search action
Software - Practice and Experience (SPE), Volume 21, 1991
Volume 21, Number 1, January 1991
- Christopher W. Fraser, Robert R. Henry:
Hard-coding Bottom-up Code Generation Tables to Save Time and Space. 1-12 - Robert L. Read, Martin L. Smith:
A Light-weight UIMS. 13-33 - Chin-Chen Chang, Tzong-Chen Wu:
A Letter-oriented Perfect Hashing Scheme Based upon Sparse Table Compression. 35-49 - Pawel Gburzynski, Piotr Rudnicki:
LANSF: A Protocol Modelling Environment and its Implementation. 51-76 - Rajendra K. Raj, Ewan D. Tempero, Henry M. Levy, Andrew P. Black, Norman C. Hutchinson, Eric Jul:
Emerald: A General-Purpose Programming Language. 91-118
Volume 21, Number 2, February 1991
- Richard Furuta, P. David Stotts, Jefferson Ogata:
Ytracc: a Parse Browser for Yacc Grammars. 119-132 - Reuven R. Levary, Chi Y. Lin:
Modelling the Software Development Process Using an Expert Simulation System Having Fuzzy Logic. 133-148 - Jack W. Davidson, David B. Whalley:
Methods for Saving and Restoring Register Values across Function Calls. 149-165 - Martin Hardwick, Wayne Uejio, David L. Spooner, Joe Czechowski, Phil Lohr, Brion Sarachan:
Implementing a User Interface Management System for Existing Applications Using an Object-oriented Database Tool. 167-185 - Brian Beckman:
A Scheme for Little Languages in Interactive Graphics. 187-207 - Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho:
A Dataflow Approach to Event-based Debugging. 209-230 - Peter Norvig:
Correcting a Widespread Error in Unification Algorithms. 231-233
Volume 21, Number 3, March 1991
- Jeff Magee, Shing-Chi Cheung
:
Parallel Algorithm Design for Workstation Clusters. 235-250 - Shin-Yuan Tzou, David P. Anderson:
The Performance of Message-passing Using Restricted Virtual Memory Remapping. 251-267 - Ronald H. Perrott, Thomas F. Lunney:
A Syntax-directed Integrated Programming Environment for Developing SIMD Supercomputer Software. 269-286 - Colin C. Charlton, Paul H. Leng, Janet Little:
Vertical Migration of Numerical Routines in Software and Microcode. 287-297 - Pieter H. Hartel
Performance of Lazy Combinator Graph Reduction. 299-329 - Jonathan R. Vaughan, J. Duncan Whyatt
A Parallel Implementation of the Douglas-Peucker Line Simplification. 331-336
Volume 21, Number 4, April 1991
- H. Rebecca Callison, Alan C. Shaw:
Building a Real-time Kernel: First Steps in Validating a Pure Process/Adt Model. 337-354 - Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda
TPDL: Extended Temporal Profile Description Language. 355-374 - W. Wilson Ho, Ronald A. Olsson:
An Approach to Genuine Dynamic Linking. 375-390 - Vincent D. Moynihan, Peter J. L. Wallis:
The Design and Implementation of a High-level Language Converter. 391-400 - Frédéric Boussinot:
Reactive C: An Extension of C to Program Reactive Systems. 401-428
Volume 21, Number 5, May 1991
- Cui-Qing Yang, Raphael A. Finkel:
Utility Servers in Charlotte. 429-441 - Umakishore Ramachandran, Yousef Y. A. Khalidi:
An Implementation of Distributed Shared Memory. 443-464 - David R. Crowe:
NovAtel's Novel Approach to CPU Usage Measurement. 465-477 - Simon L. Peyton Jones, David R. Lester:
A Modular Fully-lazy Lambda Lifter in HASKELL. 479-506 - Pierre N. Robillard, Daniel Coupal, François Coallier:
Profiling Software through the Use of Metrics. 507-518 - Aniello Cimitile, Ugo de Carlini:
Reverse Engineering: Algorithms for Program Graph Production. 519-537
Volume 21, Number 6, June 1991
- James M. Purtilo, Joanne M. Atlee:
Module Reuse by Interface Adaptation. 539-556 - Roman Rozin, Siegfried Treu:
A Hybrid Implementation of a Process-oriented Programming Language for System Simulation. 557-579 - Keith D. Cooper, Mary W. Hall
An Experiment with Inline Substitution. 581-601 - Evelina Lamma, Paola Mello, Antonio Natali:
Reflection Mechanisms for Combining Prolog Databases. 603-624 - Yaron Wolfsthal:
Style Control in the Quill Document Editing Systems. 625-638 - Hervé J. Touati, Alan Jay Smith:
Reducing and Manipulating Complex Trace Data. 639-655
Volume 21, Number 7, July 1991
- Hsiao-Chung Cheng, Jang-Ping Sheu:
Design and Implementation of a Distributed File System. 657-675 - Norman Ramsey, Carla Marceau:
Literate Programming on a Team Project. 677-683 - K. N. King, A. Jefferson Offutt:
A Fortran Language System for Mutation-based Software Testing. 685-718 - Prasun Dewan:
An Inheritance Model for Supporting Flexible Displays of Data Structures. 719-738 - Wuu Yang:
Identifying Syntactic differences Between Two Programs. 739-755
Volume 21, Number 8, August 1991
- Fred Douglis
Transparent Process Migration: Design Alternatives and the Sprite Implementation. 757-785 - Steven M. Kearns:
Extending Regular Expressions with Context Operators and Parse Extraction. 787-804 - Steven M. Kearns:
Tlex. 805-821 - Marco Baldassari, Giorgio Bruno, Andrea Castella:
PROTOB: An Object-oriented CASE Tool for Modelling and Prototyping Distributed Systems. 823-844 - Xudong He, John A. N. Lee:
A Methodology for Constructing Predicate Transition Net Specifications. 845-875 - Christopher Mills, Stanley C. Ahalt, James E. Fowler:
Compiled Instruction Set Simulation. 877-889
Volume 21, Number 9, September 1991
- Glenn R. Luecke, Wagar Haque, Jim Hoekstra, Howard W. Jespersen, James Coyle:
Evaluation of Fortran Vector Compilers and Preprocessors. 891-905 - C. Richard Snow:
A Multi-protocol Campus Time Server. 907-922 - Jim Welsh, Brad Broom, Derek Kiong:
A Design Rationale for a Language-based Editor. 923-948 - Yi Zheng, Jim Hague:
DMT-a Demonstration Tool. 949-961 - Christopher W. Fraser, David R. Hanson:
A Code Generation Interface for ANSI C. 963-988
Volume 21, Number 10, October 1991
- Paul Baden Austin, Kevin Murray, Andy J. Wellings:
The Design of an Operating System for a Scalable Parallel Computing Engine. 989-1013 - Kyoji Umemura:
Floating-point Number LISP. 1015-1026 - John A. Dundas III:
Implementing Dynamic Minimal-prefix Tries. 1027-1040 - Stephen A. Rees, James P. Black:
An Experimental Investigation of Distributed Matrix Multiplication Techniques. 1041-1063 - P. D. Smith:
Experiments with a Very Fast Substring Search Algorithm. 1065-1074 - Lee J. White, Bogdan Wiszniewski
Path Testing of Computer Programs with Loops Using a Tool for Simple Loop Patterns. 1075-1102 - Kar-Wing Edward Lor:
Operational Definitions for System Requirements as the Basis of Design Automation. 1103-1124 - Arne Andersson:
A Note on Searching in a Binary Search Tree. 1125-1128
Volume 21, Number 11, November 1991
- Thomas M. J. Fruchterman, Edward M. Reingold:
Graph Drawing by Force-directed Placement. 1129-1164 - Richard Hesketh:
Perly-UNIX with Buttons. 1165-1187 - Vernon Rego:
EcliPSe: A System for High Performance Concurrent Simulation. 1189-1219 - Andrew Hume, Daniel Sunday:
Fast String Searching. 1221-1248 - M. Carlsson Göthe, D. Wengelin, Lars Asplund:
The Distributed Ada Run-time System DARTS. 1249-1263
Volume 21, Number 12, December 1991
- Jacob P. Ukelson, John D. Gould, Stephen J. Boies, Charles Wiecha:
Case Study: Using ITS Style Tools to Implement IBM's CUA-2 User Interface Style. 1265-1288 - Sean Quinlan:
A Cached WORM File System. 1289-1299 - Pohua P. Chang, Scott A. Mahlke, Wen-mei W. Hwu:
Using Profile Information to Assist Classic Code Optimizations. 1301-1321 - V. Seshadri, David B. Wortman:
An Investigation into Concurrent Semantic Analysis. 1323-1348 - Eric J. Byrne:
Software Reverse Engineering. 1349-1364 - J. William Atwood, Walter Prager:
A STREAMS-based Communications Subsystem in Turing Plus for Protocol Develelopment. 1365-1380
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-11-15 19:21 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: