researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal
Journal: Software: Practice and Experience
Home
Index
Info
Volume
Volume
23
, Issue
9
933
--
948
John Plaice
,
William W. Wadge
.
A Unix Tool for Managing Reusable Software Components
949
--
964
Deepak Gupta
,
Pankaj Jalote
.
On-line Software Version Change Using State Transfer Between Processes
965
--
979
Yung-Chen Hung
,
Gen-Huey Chen
.
Reverse Reachability Analysis a New Technique for Deadlock Detection on Communicating Finite State Machines
981
--
999
Douglas C. Kohlert
,
Kenneth J. Rodham
,
Dan R. Olsen
.
Implementing a Graphical Multi-user Interface Toolkit
1001
--
1041
Jeffrey H. Kingston
.
The Disign and Implementation of the Lout Document Formatting Language
1043
--
1058
Kirk Sayre
,
Michael A. Gray
.
Backtalk: A Generalized Dynamic Communication System for DAI
Volume
23
, Issue
8
817
--
827
Anthony Bloesch
.
Aestetic Layout of Generalized Trees
829
--
850
Gary H. Merrill
.
Parsing Non-LK( :::: k :::: ) Grammars with Yacc
851
--
869
Dirk Grunwald
,
Benjamin G. Zorn
.
CustoMalloc: Efficient Synthesized Memory Allocators
871
--
893
Michael Dunlavey
.
Differential Evaluation: a Cahe-based Technique for Incremental Update of Graphical Displays of Structures
895
--
931
Raymond J. A. Buhr
.
Pictures that Play: Design Notations for Real-time and Distributed Systems
Volume
23
, Issue
7
693
--
710
Richard B. Borie
,
Allen S. Parrish
,
Srinivas Mandyam
.
Lock-and-key Strategies for Handling Undefined Variables
711
--
731
Gerard J. Holzmann
.
Standardized Protocol Interfaces
733
--
756
Benjamin G. Zorn
.
The Measured Cost of Conservative Garbage Collection
757
--
771
Timothy C. Bell
,
David Kulp
.
Longest-match String Searching for Ziv-Lempel Compression
773
--
798
Santosh K. Shrivastava
,
Luigi V. Mancini
,
Brian Randell
.
The Duality of Fault-tolerant System Structures
799
--
811
Yezdezard Lashkari
,
Viswanath Ramachandran
,
Sanjay Malpani
,
S. L. Mehndiratta
.
Vartalaap: a Distributed Multicast Communication System
Volume
23
, Issue
6
567
--
588
Ahmed A. Rafea
,
Khaled F. Shaalan
.
Lexical Analysis of Inflected Arabic Words using Exhaustive Search of an Augmented Transition Network
589
--
616
Hiralal Agrawal
,
Richard A. DeMillo
,
Eugene H. Spafford
.
Debugging with Dynamic Slicing and Backtracking
617
--
628
David W. Flater
,
Yelena Yesha
,
E. K. Park
.
Extensions to the C Programming Language for Enhanced Fault Detection
629
--
653
Alfonso Fuggetta
,
Carlo Ghezzi
,
Dino Mandrioli
,
Angelo Morzenti
.
Executable Specifications with Data-flow Diagrams
655
--
675
Bernard Thirion
.
Construction of an Interactive Programming Environment for Control of Theatrical-set Effects via Object-oriented Methods
677
--
692
Michael Franz
.
Emulating an Operating System on Top of Another
Volume
23
, Issue
5
465
--
475
Don Libes
.
Kibitz-Connecting Multiple Interactive Programs Together
477
--
485
Tamiya Onodera
.
Reducing Compilation Time by a Compilation Server
487
--
510
Aloke Gupta
,
Wen-mei W. Hwu
.
An execution Profiler for Window-oriented Applications
511
--
527
Donald D. Cowan
,
C. M. Durance
,
E. Giguère
,
G. M. Pianosi
.
CIRL/PIWI: a GUI Toolkit Supporting Retargetability
529
--
566
Michael Sannella
,
John Maloney
,
Bjørn N. Freeman-Benson
,
Alan Borning
.
Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm
Volume
23
, Issue
4
351
--
367
William G. Griswold
,
Gregg M. Townsend
.
The Design and Implementation of Dynamic Hashing for Sets and Tables in Icon
369
--
382
Jim Bell
,
Gopal K. Gupta
.
An Evaluation of Self-adjusting Binary Search Tree Techniques
383
--
404
Edward M. Reingold
,
Nachum Dershowitz
,
Stewart M. Clamen
.
Calendrical Calculations, II: Three Historical Calendars
405
--
418
Larry Hughes
.
Object Identification in the Lego Kernel
419
--
459
Vincent Englebert
,
Baudouin Le Charlier
,
Didier Roland
,
Pascal Van Hentenryck
.
Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation
461
--
463
Dominic A. Varley
.
Practical Experience of the Limitations of Gprof
Volume
23
, Issue
3
235
--
241
Pete Boysen
,
Pinaki Shah
.
Reducing Object Storage Requirements in a Multi-user Environment
243
--
253
William E. Wright
,
Sakthirel Jeyaratnam
.
Success Rate of Interpolation in Subsegment Prediction
255
--
275
Donald D. Cowan
,
Terry M. Stepien
,
Roberto Ierusalimschy
,
Carlos José Pereira de Lucena
.
Application Integration: Constructing Composite Applications from Interactive Components
277
--
291
John J. Darragh
,
John G. Cleary
,
Ian H. Witten
.
Bonsai: a Compact Representation of Trees
293
--
315
Reda A. Ammar
,
Carolyn Pe Rosiene
.
Visualizing a Hierarchy of Performance Models for Software Systems
317
--
340
Giuseppe Santucci
,
Pier Angelo Sottile
.
Query by Diagram: a Visual Environment for Querying Databases
341
--
350
Andy Litman
.
An Implementation of Precompiled Headers
Volume
23
, Issue
2
119
--
150
Vincenzo Loia
,
Michel Quaggetto
.
High-level Management of Computation History for the Design and Implementation of a Prolog System
151
--
175
Michael J. Wise
.
Experience with PMS-Prolog: a Distributed Coarse-grain-parallel Prolog with Processes, Modules and Streams
177
--
200
Michel Rueher
.
A First Exploration of PrologIII s Capabilities
201
--
221
David B. Johnson
,
Willy Zwaenepoel
.
The Peregrine High-performance RPC System
223
--
234
Pierre N. Robillard
,
Mario Simoneau
.
Iconic Control Graph Representation
Volume
23
, Issue
12
1285
--
1303
Alexandros Biliris
,
Shaul Dar
,
Narain H. Gehani
.
Making C++ Objects Persistent: the Hidden Pointers
1305
--
1336
.
Utopia: a Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems
1337
--
1360
Saumya K. Debray
.
QD-Janus: a Sequential Implementation of Janus in Prolog
1361
--
1377
Eric N. Hanson
,
Tina M. Harvey
,
Mark A. Roth
.
Experiences in Database System Implementation Using a Persistent Programming Language
1379
--
1397
Ken Slonneger
.
Executing Continuation Semantics
Volume
23
, Issue
11
1175
--
1200
Peter Schnorf
,
Mahadevan Ganapathi
,
John L. Hennessy
.
Compile-time Copy Elimination
1201
--
1233
Herbert G. Mayer
,
Michael Wolfe
.
InterProcedural Alias Analiysis: Implementation and Empirical Results
1235
--
1248
Jyh-Jang Lim
,
Jai Menon
,
David Palmer
.
A Distributed Development Environment for Embedded Software
1249
--
1265
Jon Louis Bentley
,
M. Douglas McIlroy
.
Engineering a Sort Function
1267
--
1283
Faris N. Abuali
,
Roger L. Wainwright
.
ISA[ :::: k :::: ] Trees: a Class of Binary Search Trees with Minimal or Near Minimal Internal Path Length
Volume
23
, Issue
10
1059
--
1075
Shivakant Mishra
,
Larry L. Peterson
,
Richard D. Schlichting
.
Experience with Modularity in Consul
1077
--
1093
Tamiya Onodera
.
A Generational and Conservative Copying Collector for Hybrid Objectoriented Languages
1095
--
1105
James S. Collofello
,
Bakul P. Gosalla
.
An Application of Causal Analysis to the Software Modification Process
1107
--
1138
Ke-Hsiung Chung
,
Janche Sang
,
Vernon Rego
.
A Performance Comparison of Event Calendar Algorithms: an Empirical Approach
1139
--
1156
Richard A. Frost
.
Guarded Attribute Grammars
1157
--
1174
Carl F. Schaefer
,
Gary N. Bundy
.
Static Analysis of Exception Handling in Ada
Volume
23
, Issue
1
1
--
14
Paola Inverardi
,
Franco Mazzanti
.
Experimenting with Dynamic Linking with Ada
15
--
30
Claudio L. Lucchesi
,
Tomasz Kowaltowski
.
Applications of Finite Automata Representing Large Vocabularies
31
--
54
Adriano Valenzano
,
Riccardo Sisto
,
Luigi Ciminiera
.
Rapid Prototyping of Protocols from LOTOS Specifications
55
--
73
Maria Concetta Maccarone
,
Mario Tripiciano
,
Vito Di Gesù
,
Domenico Tegolo
.
PDB: a Pictorial Database Oriented to Data Analysis
75
--
93
Prasun Dewan
.
Designing and Implementing Multi-user Applications: a Case Study
95
--
118
David B. Whalley
.
Techniques for Fast Instruction Cache Performance Evaluation