


default search action
Software - Practice and Experience (SPE), Volume 29, 1999
Volume 29, Number 1, January 1999
- Elizabeth L. White, Jeffrey Ruby, Laura Denise Deddens:

Software Visualization of LR Parsing and Synthesized Attribute Evaluation. 1-16 - Peter A. Dearnley, D. J. Smith:

Discovering and Using Entity Mappings in Federated Databases. 17-42 - Chi-Chao Chang, Grzegorz Czajkowski, Thorsten von Eicken:

MRPC: A High Performance RPC System for MPMD Parallel Computing. 43-66 - Stefano Taschini, Markus Emmenegger, Henry Baltes, Jan G. Korvink

:
Smart Enumeration in C++: Virtual Construction, Message Dispatching and Tables. 67-76 - Lo Ko, Naghan Al-Yaqoubi, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon:

Timing Constraint Specification and Analysis. 77-98
Volume 29, Number 2, February 1999
- Leonardo Mendonça de Moura, Carlos José Pereira de Lucena, Arndt von Staa:

The Spider Environment. 99-124 - James S. Plank

, Yuqun Chen, Kai Li, Micah Beck, Gerry Kingsley:
Memory Exclusion: Optimizing the Performance of Checkpointing Systems. 125-142 - Jacqueline Renée Reich:

Design and Implementation of a Client-Server Architecture for Taxonomy Manager. 143-166 - A. Jefferson Offutt, Zhenyi Jin, Jie Pan:

The Dynamic Domain Reduction Procedure for Test Data Generation. 167-193 - Pete Cornwell:

Book Review: UML Toolkit by Hans-Erik Eriksson and Magnus Penker. 195
Volume 29, Number 3, March 1999
- Dorothea Blostein, Andy Schürr:

Computing with Graphs and Graph Transformations. 197-217 - Paul E. McKenney:

Differential Profiling. 219-234 - Tullio Vardanega

, Jan van Katwijk:
A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. 235-266 - Mei-Ling Chiang

, Paul C. H. Lee, Ruei-Chuan Chang:
Using Data Clustering to Improve Cleaing Performance for Flash Memory. 267-290 - Paul A. Cairns

:
Enumerated Types in Java. 291-297
Volume 29, Number 4, 10 April 1999
- Pei-Chi Wu:

A Byte-wise Normalization Method in Arithmetic Coding. 299-309 - Vincenzo Loia, Michel Quaggetto:

Embed Finite Domain Constraint Programming into Java and some Web-based Applications. 311-339 - M. Douglas McIlroy:

A Killer Adversary for Quicksort. 341-344 - Geoffrey Phipps:

Comparing Observed Bug and Productivity Rates for Java and C++. 345-358 - Mangala Gowri Nanda, Purandar Bhaduri

, Sundeep Oberoi, Amitabha Sanyal:
An Application of Compiler Technology to the Year 2000 Problem. 359-377 - Anthony Egan, David Kutz, Dmitry Mikulin, Rami G. Melhem, Daniel Mossé:

Fault-Tolerant RT-Mach (FT-RT-Mach) and an Application to Real-Time Train Control. 379-395
Volume 29, Number 5, 25 April 1999
- Daniel F. Lieuwen, Narain H. Gehani:

Versions in Ode: Implementation and Experiences. 397-416 - David R. Hanson:

Early Experience with ASDL in lcc. 417-435 - James Bradley:

An Efficient Modularized Database Structure forr a High-resolution Column-gridded Mars Global Terrain Database. 437-456 - Harold W. Thimbleby

:
A Critique of Java. 457-478 - Sang-Won Lee, Hyoung-Joo Kim:

Object-Versioning in an ODMG-compliant Object Daatabase System. 479-500
Volume 29, Number 6, May 1999
- Sandra A. Mamrak, Saurabh Sinha:

A Case Study: Productivity and Quality Gains Using an Object-Oriented Framework. 501-518 - Chris J. Scheiman, Bjoern Haake, Maximilian Ibel, Klaus E. Schauser:

Profiling Techniques for Communication in Fine-Grained Parallel Languages. 519-550 - Mark Baker, Rajkumar Buyya:

Cluster Computing: The Commodity Supercomputer. 551-576
Volume 29, Number 7, June 1999
- Claudio Demartini, Radu Iosif, Riccardo Sisto

:
A Deadlock Detection Tool for Concurrent Java Programs. 577-603 - André van Delft

:
A Java Extension with Support for Dimensions. 605-616 - Gary Meehan, Mike Joy

:
Compiling Lazy Functional Programs to Java Bytecode. 617-645 - Alistair Moffat

:
An Improved Data Structure for Cumulative Probability Tables. 647-659
Volume 29, Number 8, 10 July 1999
- Jørgen Steensgaard-Madsen:

HTEL: a HyperText Expression Language. 661-675 - Avelino F. Zorzo

, Alexander B. Romanovsky
, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch:
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. 677-697 - Perry R. James, Markus Endler, Marie-Claude Gaudel:

Development of an Atomic-Broadcast Protocol Using LOTOS. 699-719 - Michael Luck

, Mike Joy
:
A Secure On-line Submission System. 721-740
Volume 29, Number 9, 25 July 1999
- Kenneth P. Birman

:
A Review of Experiences with Reliable Multicast. 741-774 - Jeremy B. Rodgers, Rhonda Kay Gaede, Jeffrey H. Kulick:

IN-Tune: An In-Situ Non-Invasive Performance Tuning Tool for Multi-threaded Linux on Symmetric Multiprocessing Pentium Workstations. 775-792 - Nadia Nedjah

, Colin D. Walter, Stephen E. Eldridge:
Efficient Automata-Driven Pattern-Matching for Equational Programs. 793-813 - Johan Carlberger, Viggo Kann:

Implementing an Efficient Part-Of-Speech Tagger. 815-832
Volume 29, Number 10, August 1999
- Thomas E. Potok

, Mladen A. Vouk, Andy J. Rindos:
Productivity Analysis of Object-Oriented Software Development in a Commercial Environment. 833-847 - David R. Hanson:

A Machine-Independent Debugger - Revisited. 849-862 - Praveen Bhagwat, Deepak Gupta, Rajat Moona:

Design and Implementation of a File System with On-the-fly Data Compression for GNU/Linux. 863-874 - Kyo Chul Kang, Sajoong Kim, Jaejoon Lee, Kwanwoo Lee:

Feature-Oriented Engineering of PBX Software for Adaptability and Reuseability. 875-896 - Peter K. K. Loh, Gurdeep S. Hura, Chia Cheng Khoon:

Virtual Prototyping of Cellular Phones. 897-929
Volume 29, Number 11, September 1999
- Timo Raita:

On Guards and Symbol Dependencies in Substring Search. 931-941 - Eugene I. Ageenko, Pasi Fränti:

Forward-adaptive Method for Context-based Compression of Large Binary Images. 943-952 - Raphael A. Finkel, Brian Sturgill, Harlan Stenn:

Experience with a Unix System-Administration Tool. 953-971 - Bor Plestenjak

:
An Algorithm for Drawing Planar Graphs. 973-984 - Shang-Te Hsu, Ruei-Chuan Chang:

An Implementation of Using Remote Memory to Checkpoint Processes. 985-1004 - Jan Hoogerbrugge, Lex Augusteijn, Jeroen Trum, Rik van de Wiel:

A Code Compression System Based on Pipelined Interpreters. 1005-1023
Volume 29, Number 12, October 1999
- Hanns-Helmuth Deubler:

A Viable System Structure for Large-Scale Software Systems. 1025-1047 - Ian Brown, C. Richard Snow:

A Proxy Approach to e-Mail Security. 1049-1060 - Gang-Ryung Uh, David B. Whalley:

Effectively Exploiting Indirect Jumps. 1061-1101 - Enrico Denti

, Andrea Omicini
:
An Architecture for Tuple-Based Coordination of Multi-Agent Systems. 1103-1121 - Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. 1123-1147
Volume 29, Number 13, November 1999
- Stefan Kurtz:

Reducing the space requirement of suffix trees. 1149-1171 - Sandro Etalle, Pieter H. Hartel, Willem G. Vree:

Declarative solutions to partitioned-grid problems. 1173-1200 - Panos Rondogiannis:

Adding multidimensionality to procedural programming languages. 1201-1221 - Mahmoud Boufaïda, Patrick Barril:

A multi-layered architecture for managing graphical interfaces and tutoring mixed-strategy dialogues. 1223-1239
Volume 29, Number 14, December 1999
- Giacomo Cabri

, Letizia Leonardi
, Franco Zambonelli
:
A proxy-based framework to support synchronous cooperation on the Web. 1241-1263 - Edward K. Whyman, Harold L. Somers:

Evaluation metrics for a translation memory system. 1265-1284 - Kenneth P. Birman

, Roy Friedman, Mark Hayden, Injong Rhee:
Middleware support for distributed multimedia and collaborative computing. 1285-1312 - Susan Darling Urban, Ling Fu, Jami J. Shah:

The implementation and evaluation of the use of CORBA in an engineering design application. 1313-1338
Volume 29, Number 15, December 1999
- Lars Frank:

Evaluation of the basic remote backup and replication methods for high availability databases. 1339-1353 - Liu Wenyin, Dov Dori

:
Object-process based graphics recognition class library: principles and applications. 1355-1378 - Pieter H. Hartel

:
LETOS - a lightweight execution tool for operational semantics. 1379-1416 - Daniel M. Berry:

Stretching letter and slanted-baseline formatting for Arabic, Hebrew, and Persian with ditroff/ffortid and dynamic PostScript fonts. 1417-1457

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














