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