![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.