Software: Practice & Experience 1998: Vol 28 Table of Contents

7 Pages·1998·1.9 MB·English

CONTENTS
Volume 28, Issue Nos. 1-15
SOFTWARE—PRACTICE & EXPERIENCE
Issue No. 1, JANUARY
Active Objects Made Easy: M. D. Carroll
Design of a Remote Procedure Call System for Object-oriented Distributed
Programming: A. R. Tripathi and T. Noonan
Integrating Constraint Logic Programming and Operations Research Techniques
for the Crew’ Rostering Problem: A. Caprara, FF. Focacci,
E. Lamma, P. Mello, M. Milano, P. Toth and D. Vigo
Semantic ACID Properties in Multidatabases Using Remote Procedure Calls and
Update Propagations: L. Frank and T. U. Zahle
Memory Optimization in Function and Set Manipulation with BDDs:
G. Cabodi, S. Quer and P. Camurati
Letter to the Editor
J. P. Linderman
Issue No. 2, FEBRUARY
An Approach for Decomposing N-ary Data Relationships: A. J. McAllister and D.
Perspectives on Optimistically Replicated, Peer-to-peer Filing:
T. W. Page, Jr, R. G. Guy, J. S. Heidemann, D. H. Ratner, P. L. Reiher,
A. Goel, G. H. Kuenning and G. J. Popek
Visit Wiley Journals Online
@WILEY
www.interscience.wiley.com
Indexed or abstracted by ANTE: Abstracts in New Technology and Engineering, Applied Science and
Technology Index, Cambridge Scientific Abstracts, CompuMath Citation Index (ISI), Compuscience
Database, Computer Abstracts (Anbar), Computer Contents, Computer Literature Index, Computing
Reviews, Current Contents/Eng, Tech & Applied Sciences, Deadline Newsletter, Educational
Technology Abstracts (Carfax), Ei COMPENDEX PLUS, Ei Page One, Engineering Index, Engineering
Societies Library, IBZ(International Bibliography of Periodical Literature), Information Science
Abstracts (Plenum), INSPEC, Knowledge Engineering Review, Nat Centre for Software Technology,
Research Alert (ISI), SCISEARCH Database (ISI), Technology Education and Training Abstracts
(Carfax), Wilson Applied Science and Technology Abstracts and Zentralblatt fur Mathematik.
Vv
vi VOLUME CONTENTS
Very Fast YACC-Compatible Parsers (For Very Little Effort):
A. Bhamidipaty and T. A. Proebsting
An Improved Adaptive String Searching Algorithm: Z. Liu, X. Du and
N. Ishii
A Practical Object-Oriented Analysis Engine for CLP: A. D. Kelly,
K. Marriott, H. S@ndergaard and P. J. Stuckey
Issue No. 3, MARCH
Elastic Windows: Design, Implementation, and Evaluation of Multi-
window Operations: E. Kandogan and B. Shneiderman
Building a Retargetable Local Instruction Scheduler: V. Allan, S. J. Beaty, B. Su
and P. H. Sweany
Maintaining Consistency in a_ Replicated Software Archive:
C. C. Chariton, P. H. Leng, R. K. Lloyd and R. Turnbull
A Formal Introduction to the Compilation of Java: S. Diehl
Sequence-based Software Specification of Deterministic Systems:
S. J. Prowell and J. H. Poore
Issue No. 4, 10 APRIL
Effect of Test Set Minimization on Fault Detection Effectiveness:
W. E. Wong, J. R. Horgan, S. London and A. P. Mathur
A Relational Approach to Support Software Architecture Analysis:
L. Feijs, R. Krikhaar and R. Van Ommering
The Design and Implementation of RAP: A PDG-based Register Allocator: C.
Norris and L. L. Pollock
How to Build an Interface Graph: K. D. Cooper, T. J. Harvey and L. Torczon
ASADAL/SIM: An Incremental Multi-level Simulation and Analysis Tool for Real-
time Software Specifications: K. C. Kang, K. W. Lee, J. Y. Lee and G. J. Kim...
Issue No. 5, 25 APRIL
Simulating the DYNIX Operating System Parallel Programming Interface on a
UNIX System: M. Badii
Extracting Text from PostScript: C. G. Nevill-Manning, T. Reed and
|. H. Witten
VOLUME CONTENTS
Measuring Complexity in C++ Application Software: F. G. Wilkie and
B. Hylands
Symbol Ranking Text Compressors: Review and _ Implementation:
P. Fenwick
Issue No. 6, MAY
Workplace Microkernel and OS: A Case Study: B. D. Fleisch and M. Allan A. Co.
Implementing Generalized Operator Overloading: W. S. Miles and
L. Johnson
Heterogeneous Process Migration: The Tui System: P. Smith and N. C.
Hutchinson
A Multithreaded Scheduler for a High-speed Spacecraft Simulator:
G. Saghi, K. Reinholtz and P. A. Savory
Software Development and Integration in a Computer Supported Cooperative
Work Environment: K. H. Chang, L. Murphy, J. OD. Fouss,
T. D. Doliar Il, B. G. Lee and Y. Chang
Issue No. 7, JUNE
Chicon—A Chinese Text Manipulation Language: K.-F. Wong, V. Y. Lum and W.-
Reusable Coordinator Modules for Massively Concurrent Applications:
F. Arbab, C. L. Blom, F. J. Burger and C. T. H. Everaars
External Relationships of Objects: R. Mikkilineni, M. A. Ketabchi and
S. Dasananda
Design, Implementation, and Evaluation of a Single-copy Protocol Stack: P.
Steenkiste
Constructing an Integrated Visual Programming Environment: C.-H. Hu and F.-J.
Issue No. 8, 10 JULY
A Domain-independent Software Reuse Framework Based on a Hierarchical
Thesaurus: H.-C. Liao, M.-F. Chen and F.-J. Wain ..........::ccccssssesesseseeneeesnsreneeeeeees 799
viii VOLUME CONTENTS
Timing Trials, or the Trials of Timing: Experiments with Scripting and User-inter-
face Languages: B. W. Kernighan and C. J. Van Wyk
A Graph Theoretical Method for the Management and Synchronization of Large
Software Updates: J. Hoshen
Practical Improvements to the Construction and Destruction of Static Single
Assignment Form: P. Briggs, K. D. Cooper, T. J. Harvey and
L. Taylor Simpson
Redesigning the BSD Timer Facilities: A. M. Costello and G. Varghese
BOOK REVIEW
Issue No. 9, 25 JULY
Guest Editorial: S. Chapin and A. B. Maccabe
The Mungi Single-Address-Space Operating System: G. _ Heiser,
K. Elphinstone, J. Vochteloo, S. Russell and J. Liedtke
GLUnix: A Global Layer Unix for a Network of Workstations: D. P. Ghormley, D.
Petrou, S. H. Rodrigues, A. M. Vahdat and T. E. Anderson
Building Adaptive Systems Using Ensemble: R. Van Renesse, K. Birman, M.
Hayden, A. Vaysburd and D. Karr
Design, Implementation and Evaluation of ICARE: An Efficient Recoverable
DSM: A.-M. Kermarrec, C. Morin and M. Banatre
Extended Memory Management (XMM): Lessons Learned: D. L. Black,
D. S. Milojitié, R. W. Dean, M. Dominijanni, A. Langerman and
Issue No. 10, AUGUST
EDDIE Beats the Bookies: E. P. K. Tsang, J. Li, and J. M. Butler
Linguistic Reflection in Java: G. Kirby, R. Morrison and D. Stemple
The STAR Fault Manager for Distributed Operating Environments. Design,
implementation and Performance: P. Sens and B. Folliot
Implementing a Zooming User Interface: Experience Building Pad++:
B. Bederson and J. Meyer
BOOK REVIEW
VOLUME CONTENTS
Issue No. 11, SEPTEMBER
A Customisable Memory Management Framework for C++: G. Attardi,
T. Flagella and P. Iglio
Specification and Verification of Multimedia Synchronization Scenarios Using
Time-Estelle: T. Tsang and R. Lai
Evaluating High Level Parallel Programming Support for Irregular Applications
in ICC++: A. A. Chien, J. Dolby, B. Gangul, V. Karamcheti and X. Zhang
Type-Safe Casting: W. Hsieh, M. Fiuczynski, P. Pardyak and B. Bershad
Issue No. 12, OCTOBER
Tailored Compression of Java Class Files: R. N. Horspool and J. Corless
DJM: A Global Distributed Virtual Machine on the Internet: K.-S. Leung, K.-H. Lee
and Y.-Y. Wong
Compression Techniques for Chinese Text: P. Vines and J. Zobel
Managing Multi-party Documents in a Network Computing Environment: S.-C.
Unparsing Expressions with Prefix and Postfix Operators: N. Ramsey
BOOK REVIEW
Issue No. 13, NOVEMBER
Use of Executable Formal Specifications in User Validation: M. B. Ozcan.
GSL: A Requirements Specification Language for End-user Intelligibility: P. G.
Wijayarathna, Y. Kawata, A. Santosa, K. lsogai and M. Maekawa
A Layer on Top of Prolog for Composing Behavioural Constraints:
T. Bolognesi and F. Accordino
An Efficient and Flexible C++ Library for Concurrent Programming:
A. Poggi and G. Rimassa
Issue No. 14, 10 DECEMBER
Deriving Complexity Information from a Formal Communication Protocol
Specification: S.-J. Huang and R. Lai
x VOLUME CONTENTS
Strategies and Protocols for Highly Parallel Linda Servers: A. Corradi,
L. Leonardi and F. Zambonelli
Automated System Administration with Feedback Regulation:
M. Burgess
The SugarCubes Tool Box: A Reactive Java Framework: F. Boussinot and J.-F.
Susini
Issue No. 15, 25 DECEMBER
Are Large Ct+ Classes Change-Prone? An _ Empirical Investigation:
M. Lindvall
Implementing Persistent Data Structures Using C++: A. Parrish, B. Dixon, D.
Cordes, J. Lusth and S. Vrbsky
Web Programming in Guide: M. R. Levy
An n-gram Hash and Skip Algorithm for Finding Large Numbers of Keywords in
Continuous Text Streams: J. D. Cohen
Book Review: J. Clarke
Author Index
Key Word Index