Volume 24, Number 1, January 1994

• 
  Brigham Bell, Wayne Citrin, Clayton H. Lewis, John Rieman, Robert P. Weaver, Nick Wilder, 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, (see: SPE 15: 1021-1024 (October 1985))

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, (corrections: SPE 24(7): 677 (July 1994))

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, (see: SPE 24(3): 327-336 (March 1994))

Volume 24, Number 8, August 1994

• 
  Robert Snelick, Joseph 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, (preliminary version: ICLP 1992: 639-653)
• 
  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

last updated on Sat May 18 06:38:00 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page