


default search action
Software - Practice and Experience (SPE), Volume 28, 1998
Volume 28, Number 1, January 1998
- Martin D. Carroll:

Active Objects Made Easy. 1-21 - Anand R. Tripathi, Terence Noonan:

Design of a Remote Procedure Call System for Object-Oriented Distributed Programming. 23-47 - Alberto Caprara, Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano, Paolo Toth, Daniele Vigo:

Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem. 49-76 - Lars Frank, Torben U. Zahle:

Semantic ACID Properties in Multidatabases Using Remote Procedure Calls and Update Propagations. 77-98 - Gianpiero Cabodi, Stefano Quer

, Paolo Camurati:
Memory Optimization in Function and Set Manipulation with BDDs. 99-120 - John P. Linderman:

Letter to the Editor. 121-123
Volume 28, Number 2, February 1998
- Andrew J. McAllister, David Sharpe:

An Approach for Decomposing N-Ary Data Relationships. 125-154 - Thomas W. Page Jr., Richard G. Guy, John S. Heidemann, David Ratner, Peter L. Reiher, Ashish Goel, Geoffrey H. Kuenning, Gerald J. Popek:

Perspectives on Optimistically Replicated, Peer-to-Peer Filing. 155-180 - Achyutram Bhamidipaty, Todd A. Proebsting:

Very Fast YACC-Compatible Parsers (For Very Little Effort). 181-190 - Zhibin Liu, Xiaoyong Du, Naohiro Ishii:

An Improved Adaptive String Searching Algorithm. 191-198 - Kim Marriott, Harald Søndergaard

, Peter J. Stuckey:
A Practical Object-Oriented Analysis Engine for CLP. 199-224
Volume 28, Number 3, March 1998
- Eser Kandogan, Ben Shneiderman:

Elastic Windows: Design, Implementation, and Evaluation of Multiwindow Operations. 225-248 - Vicki H. Allan, Steven J. Beaty, Bogong Su, Philip H. Sweany:

Building a Retargetable Local Instruction Scheduler. 249-283 - Colin C. Charlton, Paul H. Leng, R. K. Lloyd, R. Turnbull:

Maintaining Consistency in a Replicated Software Archive. 285-295 - Stephan Diehl

:
A Formal Introduction to the Compilation of Java. 297-327 - Stacy J. Prowell

, Jesse H. Poore:
Sequence-Based Software Specification of Deterministic Systems. 329-344
Volume 28, Number 4, April 1998
- W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur:

Effect of Test Set Minimization on Fault Detection Effectiveness. 347-369 - Loe M. G. Feijs, René L. Krikhaar, Rob C. van Ommering:

A Relational Approach to Support Software Architecture Analysis. 371-400 - Cindy Norris, Lori L. Pollock:

The Design and Implementation of RAP: A PDG-Based Register Allocator. 401-424 - Keith D. Cooper, Timothy J. Harvey, Linda Torczon:

How to Build an Interface Graph. 425-444 - Kyo Chul Kang, Kwan W. Lee, Ji Y. Lee, Gerard Jounghyun Kim:

ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications. 445-462
Volume 28, Number 5, May 1998
- Mehdi Badii:

Simulating the DYNIX Operating System Parallel Programming Interface on a UNIX System. 463-480 - Craig G. Nevill-Manning, Todd R. Reed, Ian H. Witten:

Extracting Text from PostScript. 481-491 - Miguel Filgueiras:

Implementing a Symbolic Music Processing System. 493-512 - F. George Wilkie, B. Hylands:

Measuring Complexity in C++ Application Software. 513-546 - Peter M. Fenwick:

Symbol Ranking Text Compressors: Review and Implementation. 547-559 - Thierry Lecroq

:
Experiments on String Matching in Memory Structures. 561-568
Volume 28, Number 6, June 1998
- Brett D. Fleisch, Mark Allan A. Co:

Workplace Microkernel and OS: A Case Study. 569-591 - William S. Miles, Leroy Johnson:

Implementing Generalized Operator Overloading. 593-610 - Peter Smith, Norman C. Hutchinson:

Heterogeneous Process Migration: The Tui System. 611-639 - Gene Saghi, Kirk Reinholtz

, Paul A. Savory:
A Multithreaded Scheduler for a High-Speed Spacecraft Simulator. 641-656 - Kai-Hsiung Chang, Liam Murphy, Jonathan D. Fouss, Timothy D. Dollar II, Byong G. Lee, Yifang Chang:

Software Development and Integration in a Computer Supported Cooperative Work Environment. 657-679
Volume 28, Number 7, June 1998
- Kam-Fai Wong

, Vincent Y. Lum, Wai-Ip Lam:
Chicon - A Chinese Text Manipulation Language. 681-701 - Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars:

Reusable Coordinator Modules for Massively Concurrent Applications. 703-735 - Rani Mikkilineni, Mohammad A. Ketabchi, Surapol Dasananda:

External Relationships of Objects. 737-747 - Peter Steenkiste

:
Design, Implementation, and Evaluation of a Single-Copy Protocol Stack. 749-772 - Chung-Hua Hu, Feng-Jian Wang:

Constructing an Integrated Visual Programming Environment. 773-798
Volume 28, Number 8, 10 July 1998
- Hsien-Chou Liao, Ming-Feng Chen, Feng-Jian Wang:

A Domain-Independent Software Reuse Framework Based on a Hierarchical Thesaurus. 799-818 - Brian W. Kernighan, Christopher J. Van Wyk:

Timing Trials, or the Trials of Timing: Experiments with Scripting and User-Interface Languages. 819-843 - Joseph Hoshen:

A Graph Theoretical Method for the Management and Synchronization of Large Software Updates. 845-857 - Preston Briggs, Keith D. Cooper, Timothy J. Harvey, L. Taylor Simpson:

Practical Improvements to the Construction and Destruction of Static Single Assignment Form. 859-881 - Adam M. Costello, George Varghese:

Redesigning the BSD Timer Facilities. 883-896
Volume 28, Number 9, 25 July 1998
- Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke:

The Mungi Single-Address-Space Operating System. 901-928 - David Petrou, Steven H. Rodrigues, Amin Vahdat, Thomas E. Anderson:

GLUnix: A Global Layer Unix for a Network of Workstations. 929-961 - Robbert van Renesse, Kenneth P. Birman

, Mark Hayden, Alexey Vaysburd, David A. Karr:
Building Adaptive Systems Using Ensemble. 963-979 - Anne-Marie Kermarrec

, Christine Morin, Michel Banâtre:
Design, Implementation and Evaluation of ICARE: An Efficient Recoverable DSM. 981-1010 - Dejan S. Milojicic

, Randall W. Dean, Michelle Dominijanni, Alan Langerman, Steven J. Sears:
Extended Memory Management (XMM): Lessons Learned. 1011-1031
Volume 28, Number 10, August 1998
- Edward P. K. Tsang, Jin Li, James M. Butler:

EDDIE Beats the Bookies. 1033-1043 - Graham N. C. Kirby, Ronald Morrison, David W. Stemple:

Linguistic Reflection in Java. 1045-1077 - Pierre Sens, Bertil Folliot:

The STAR Fault Manager for Distributed Operating Environments. Design, Implementation and Performance. 1079-1099 - Benjamin B. Bederson, Jonathan Meyer:

Implementing a Zooming User Interface: Experience Building Pad++. 1101-1135
Volume 28, Number 11, September 1998
- Giuseppe Attardi, Tito Flagella, Pietro Iglio:

A Customisable Memory Management Framework for C++. 1143-1183 - Tony Tsang, Richard Lai:

Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. 1185-1211 - Andrew A. Chien, Julian Dolby, Bishwaroop Ganguly, Vijay Karamcheti, Xingbin Zhang:

Evaluating High Level Parallel Programming Support for Irregular Applications in ICC++. 1213-1243 - Wilson C. Hsieh, Marc E. Fiuczynski, Przemyslaw Pardyak, Brian N. Bershad:

Type-Safe Casting. 1245-1252
Volume 28, Number 12, October 1998
- R. Nigel Horspool, Jason Corless:

Tailored Compression of Java Class Files. 1253-1268 - Kwong-Sak Leung, Kin-Hong Lee, Yuk-Yin Wong:

DJM: A Global Distributed Virtual Machine on the Internet. 1269-1297 - Phil Vines, Justin Zobel:

Compression Techniques for Chinese Text. 1299-1314 - Seng-cho Timothy Chou:

Managing Multi-Party Documents in a Network Computing Environment. 1315-1325 - Norman Ramsey

:
Unparsing Expressions with Prefix and Postfix Operators. 1327-1356
Volume 28, Number 13, November 1998
- Mehmet Bülent Özcan:

Use of Executable Formal Specifications in User Validation. 1359-1385 - Pathirage Gamini Wijayarathna, Y. Kawata, A. Santosa, K. Isogai, Mamoru Maekawa:

GSL: A Requirements Specification Language for End-User Intelligibility. 1387-1414 - Tommaso Bolognesi, Franco Accordino:

A Layer on Top of Prolog for Composing Behavioural Constraints. 1415-1435 - Agostino Poggi, Giovanni Rimassa:

An Efficient and Flexible C++ Library for Concurrent Programming. 1437-1463
Volume 28, Number 14, December 1998
- Sun-Jen Huang, Richard Lai:

Deriving Complexity Information from a Formal Communication Protocol. 1465-1491 - Antonio Corradi, Letizia Leonardi

, Franco Zambonelli:
Strategies and Protocols for Highly Parallel Linda Servers. 1493-1517 - Mark Burgess:

Automated System Administration with Feedback Regulation. 1519-1530 - Jean-Ferdy Susini:

The SugarCubes Tool Box: A Reactive Java Framework. 1531-1550

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














