default search action
Software - Practice and Experience (SPE), Volume 24, 1994
Volume 24, Number 1, January 1994
- Brigham Bell, Wayne Citrin, Clayton H. Lewis, John Rieman, Robert P. Weaver, Nick Wilde, Benjamin G. Zorn:
Using the Programming Walkthrough to Aid in Programming Language Design. 1-25 - Alexander D. Stoyenko:
SUPRA-RPC: SUbprogram PaRAmeters in Remote Procedure Calls. 27-49 - Steve Carr, Ken Kennedy:
Scalar Replacement in the Presence of Conditional Control Flow. 51-77 - Jong Yong Kim, John Shawe-Taylor:
Fast String Matching using an n -gram Algorithm. 79-88 - Curtis E. Dyreson, Richard T. Snodgrass:
Efficient Timestamp Input and Output. 89-109 - David B. Wortman, Songnian Zhou, S. Fink:
Automating Data Conversion for Heterogeneous Distributed Shared Memory. 111-125
Volume 24, Number 2, February 1994
- Pieter H. Hartel, Hugh Glaser, John M. Wild:
Compilation of Functional Languages using Flow Graph Analysis. 127-173 - Sitaram C. V. Raju, Alan C. Shaw:
A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines. 175-195 - James R. Larus, Thomas Ball:
Rewriting Executable Files to Measure Program Behavior. 197-218 - Steven A. Gordon:
A Faster Scrabble Move Generation Algorithm. 219-232 - Sampath Kannan, Todd A. Proebsting:
Short Communication: Correction to 'Producing Good Code for the case Statement'. 233
Volume 24, Number 3, March 1994
- Mehrad Yasrebi:
Implementations and Performance of Two RPC-based LAN Gateway Applications. 235-264 - Katsushi Morimoto, Hirokazu Iriguchi, Jun-Ichi Aoe:
A Method of Compressing Trie Structures. 265-288 - Dorothea Blostein, Lippold Haken:
The Lime Music Editor: a Diagram Editor Involving Complex Transformations. 289-306 - Deborah Whitfield, Mary Lou Soffa:
The Design and Implementation of Genesis. 307-325 - Peter M. Fenwick:
A New Data Structure for Cumulative Frequency Tables. 327-336
Volume 24, Number 4, April 1994
- Alden H. Wright:
Approximate String Matching using Within-word Parallelism. 337-362 - Frank Adelstein, Golden G. Richard III, Loren Schwiebert, Rick Parent, Mukesh Singhal:
A Distributed Graphics Library System. 363-376 - Wen-Ping Hwang, Ching-Lin Wang:
Using Procedural Parameters and Continuations in Combinatorial Searches. 377-386 - Panagiotis K. Linos, Philippe Aubet, Laurent Dumas, Yann Helleboid, Patricia Lejeune, Philippe Tulula:
Visualizing Program Dependencies: An Experimental Study. 387-403 - Keith Paton:
Description of Essential System Behaviour using Message-state Tables. 405-420 - Johnny Wong, William Marshall, Robert Goodman:
Remote Database Access in the Distributed Computing Environment. 421-434 - P. D. Smith:
Short Communication: On Tuning the Boyer-Moore-Horspool String Searching Algorithm. 435-436
Volume 24, Number 5, May 1994
- C. Richard Snow, Harry Whitfield:
Simple Authentication. 437-447 - Scott R. Cannon, David Dunn:
Adding Fault-tolerant Transaction Processing to LINDA. 449-466 - Per Brinch Hansen:
The Programming Language SuperPascal. 467-483 - Janche Sang, Ke-Hsiung Chung, Vernon Rego:
A Simultation Testbed based on Lightweight Processes. 485-505 - R. S. Side, Gholamali C. Shoja:
A Debugger for Distributed Programs. 507-525
Volume 24, Number 6, June 1994
- David Detlefs, Al Dosser, Benjamin G. Zorn:
Memory Allocation Costs in Large C and C++ Programs. 527-542 - Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings:
STRESS: a Simulator for Hard Real-time Systems. 543-564 - Ajith K. Narayanan:
Design of a Safe String Library for C. 565-578 - Per Brinch Hansen:
Multiple-length Division Revisited: a Tour of the Minefield. 579-601
Volume 24, Number 7, July 1994
- Alfredo M. Maeda, Jun-Ichi Aoe, Hideto Tomabechi:
Automatic Synthesis of State Machines from Trace Diagrams. 603-622 - David R. Musser, Alexander A. Stepanov:
Algorithm-oriented Generic Libraries. 623-642 - Kai Koskimies, Erkki Mäkinen:
Automatic Synthesis of State Machines from Trace Diagrams. 643-658 - T. H. Tse, Tsong Yueh Chen, F. T. Chan, Huo Yan Chen, H. L. Xie:
The Application of Prolog to Structured Design. 659-676 - Peter M. Fenwick:
Corrections to "A New Data Structure for Cumulative Frequency Tables". 677
Volume 24, Number 8, August 1994
- Robert Snelick, Joseph F. JáJá, Raghu Kacker, Gordon Lyon:
Synthetic-perturbation Techniques for Screening Shared Memory Programs. 679-701 - M. J. Freeman, Paul J. Layzell:
Experience Realising a Meta-model for Wide System Understanding: The Global System Model. 703-728 - Armando B. Matos:
A Matrix Model for the Flow of Control in Prolog Programs with Applications to Profiling. 729-746 - Daniel Y. Chao, David T. Wang:
An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols. 747-783
Volume 24, Number 9, September 1994
- Chung-Ming Huang, Chung-Ming Lo:
Multimedia E-mail: the Evolution Approach Based on Adapters. 785-800 - Chandra R. Asthagiri, Jerry L. Potter:
Parallel Context-sensitive Compilation. 801-822 - Michael H. MacGregor, Wayne D. Grover:
Optimized k-shortest-paths Algorithm for Facility Restoration. 823-834 - R. A. Buhr, David Till, C. Robert Zarnke:
Assignment as the Sole Means of Updating Objects. 835-870
Volume 24, Number 10, October 1994
- Chung-Chi Jim Li, Elliot M. Stewart, W. Kent Fuchs:
Compiler-assisted Full Checkpointing. 871-886 - Brett D. Fleisch, Randall L. Hyde, Niels Christian Juul:
Mirage+: A Kernel Implementation of Distributed Shared Memory on a Network of Personal Computers. 887-909 - Gregory Butler, Sridhar S. Iyer, E. A. O'Brien:
A Database of Groups of Prime-power Order. 911-951 - Daniel Maskit, Stephen Taylor:
A Message-driven Programming System for Fine-grain Multicomputers. 953-980
Volume 24, Number 11, November 1994
- Chandramohan A. Thekkath, John Wilkes, Edward D. Lazowska:
Techniques for File System Simulation. 981-999 - Ian Toyn, Alan J. Dix:
Efficient Binary Transfer of Pointer Structures. 1001-1023 - Clinton L. Jeffery, Ralph E. Griswold:
A Framework for Execution Monitoring in Icon. 1025-1049 - Daniel C. Schmitz, Jonny S. Wong, Ron M. Nelson:
Design and Implementation of National Engineering Education Delivery System. 1051-1076 - Robert Henderson, Benjamin G. Zorn:
A Comparison of Object-oriented Programming in Four Modern Languages. 1077-1095
Volume 24, Number 12, December 1994
- Ta Chen, I. V. Ramakrishnan, R. Ramesh:
Multistage Indexing for Speeding Prolog Executions. 1097-1119 - C. Murray Woodside, Cheryl Schramm:
Complex Performance Measurements with NICE (Notation for Interval Combinations and Events). 1121-1144 - Frederick Kuhl, William Neal, Howard Cohen:
Object Request Broker: Foundation for Distributed Simulation. 1145-1157 - Linda B. Sherrell, Doris L. Carver:
Experiences in Translating Z Designs to Haskell Implementations. 1159-1178 - Shyh-Kwei Chen, Neal J. Alewine, W. Kent Fuchs, Wen-mei W. Hwu:
Incremental Compiler Transformations for Multiple Instruction Retry. 1179-1198
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.