dblp: Software - Practice and Experience, Volume 24, 1994 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

• 

• 

• 

• 

• 
  jump to

  • Number 1
  • Number 2
  • Number 3
  • Number 4
  • Number 5
  • Number 6
  • Number 7
  • Number 8
  • Number 9
  • Number 10
  • Number 11
  • Number 12

• 

• > Home > Journals > Software - Practice and Experience (SPE)

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: