default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware - Practice and Experience (SPE), Volume 25, 1995
Volume 25, Number 1, January 1995
- Geoffrey H. Kuenning:
Kitrace: Precise Interactive Measurement of Operating System Kernels. 1-21 - Phillip R. Romig III, Ashok Samal:
DeViouS: A Distributed Environment for Computer Vision. 23-45 - Thomas Leo McCluskey
, J. M. Porteous, Y. Naik, C. N. Taylor, Sara Jones:
A Requirements Capture Method and its use in an Air Traffic Control Application. 47-71 - Malcolm Wallace, Colin Runciman:
Extending a Functional Programming System for Embedded Applications. 73-96 - Gwendolyn H. Walton, Jesse H. Poore, Carmen J. Trammell:
Statistical Testing of Software Based on a Usage Model. 97-108 - Per Brinch Hansen:
The Long Division Algorithm of Linger, Mills and Witt. 109
Volume 25, Number 2, February 1995
- Johannes Sametinger, Stefan Schiffer:
Design and Implementation Aspects of an Experimental C++ Programming Environment. 111-128 - Arne Andersson, Stefan Nilsson:
Efficient Implementation of Suffix Trees. 129-141 - Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini:
Declarative Specification of the Architecture of a Software Development Environment. 143-174 - Patrick G. Robinson, James D. Arthur:
Distributed Process Creation within a Shared Data Space Framework. 175-191 - Yi-Bing Lin, Dan Daly:
A Flexible Graphical User Interface for Performance Modeling. 193-216 - G. F. Levy:
Improving the Output of the FORTRAN to C translator, f2c. 217-227
Volume 25, Number 3, March 1995
- Masataka Sassa, Harushi Ishizuka, Ikuo Nakata:
Rie, a Compiler Generator Based on a One-pass-type Attribute Grammar. 229-250 - Vashti C. Galpin, S. T. Rock:
A Lift Simulation Prototype. 251-270 - Ari Jaaksi:
Implementing Interactive Applications in C++. 271-289 - Volker Strumpen:
Coupling Hundreds of Workstations for Parallel Molecular Sequence Analysis. 291-304 - Ian Toyn, John A. McDermid:
CADiZ: An Architecture for Z Tools and its Implementation. 305-330 - Justin Zobel, Philip W. Dart:
Finding Approximate Matches in Large Lexicons. 331-345
Volume 25, Number 4, April 1995
- Richard G. Hamlet:
Implementing Prototype Testing Tools. 347-371 - Sarah E. Chodrow, Mohamed G. Gouda:
Implementation of the Sentry System. 373-387 - Willard Korfhage, Arthur P. Goldberg:
Hermes Language Experiences. 389-402 - Michel Gauthier:
The Avatars of a Package for Calendars in Ada. 403-427 - Jerry C. Yan, Sekhar R. Sarukkai, Pankaj Mehra:
Performance Measurement, Visualization and Modeling of Parallel and Distributed Programs using the AIMS Toolkit. 429-461
Volume 25, Number 5, May 1995
- Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Operational Machine Specification in a Functional Programming Language. 463-499 - Paolo Corsini, Lanfranco Lopriore:
An Implementation of Storage Management in Capability Environments. 501-520 - Guido Russo, Stefano Russo, Benoît Pirenne:
An Operating System Independent WORM Archival System. 521-531 - Ee-Peng Lim, San-Yih Hwang, Jaideep Srivastava, Dave Clements, M. Ganesh:
Myriad: Design and Implementation of a Federated Database Prototype. 533-562 - Jon P. Knight, Steve Guest:
Using Multicast Communications to Distribute Code and Data in Wide Area Networks. 563-577
Volume 25, Number 6, June 1995
- André Arnold, Srecko Brlek:
Automatic Verification of Properties in Transition Systems. 579-596 - Yuan-Shin Hwang, Bongki Moon, Shamik D. Sharma, Ravi Ponnusamy, Raja Das, Joel H. Saltz:
Runtime and Language Support for Compiling Adaptive Irregular Programs on Distributed-memory Machines. 597-621 - Kai Tödter, Carsten Hammer, Werner Struckmann:
PARC++: A Parallel C++. 623-636 - Clinton L. Jeffery, Ralph E. Griswold, Gregg M. Townsend:
Adding Graphics to a High-level Programming Language. 637-655 - Pierpaolo Degano, Corrado Priami:
Comparison of Syntactic Error Handling in LR Parsers. 657-679 - Antonino Mazzeo, Umberto Villano:
Parallel 1D-FFT Computation on Constant-valence Multicomputers. 681-704
Volume 25, Number 7, July 1995
- Alan Burns, Andy J. Wellings:
Engineering a Hard Real-time System: From Theory to Practice. 705-726 - Thierry Lecroq:
Experimental Results on String Matching Algorithms. 727-765 - Rok Sosic:
A Procedural Interface for Program Directing. 767-787 - Terence John Parr, Russell W. Quong:
ANTLR: A Predicated- LL(k) Parser Generator. 789-810 - Cristina Cifuentes, K. John Gough:
Decompilation of Binary Programs. 811-829
Volume 25, Number 8, August 1995
- Randall A. Helzerman, Carla B. Zoltowski, Boon-Lock Yeo, Yin Chan, Todd Stewart, Bryan L. Pellom:
Implementation Issues in the Development of the PARSEC Parser. 831-862 - Gerald Baumgartner, Vincent F. Russo:
Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++. 863-889 - Justin Zobel, Alistair Moffat:
Adding Compression to a Full-text Retrieval System. 891-903 - Keld Helsgaun:
CBack: A Simple Tool for Backtrack Programming in C. 905-934 - Mark Kahrs:
The Heart of IGES. 935-946
Volume 25, Number 9, September 1995
- Philip W. Grant, John A. Sharp, Michael F. Webster, Xiaoming Zhang:
Experiences of Parallelising Finite-element Problems in a Functional Style. 947-974 - Ole Agesen, Jens Palsberg, Michael I. Schwartzbach:
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. 975-995 - Amiram Yehudai, Fernando Libedinsky:
On Tuning Recursive Procedures. 997-1002 - Rod Adams, Sue M. Gray:
Using Conditional Execution to Exploit Instruction Level Concurrency. 1003-1020 - Richard Lai:
Using PROTEAN for Verifying a Complex Protocol - A Case Study. 1021-1044 - H. K. Wang, Jean-Lien C. Wu:
Interactive Hypermedia Applications: A Model and its Implementation. 1045-1063
Volume 25, Number 10, October 1995
- Christian Huemer, Gerti Kappel, Stefan Vieweg:
Migration in Object-oriented Database Systems - A Practical Approach. 1065-1096 - William H. Hsu, Amy E. Zwarico:
Automatic Synthesis of Compression Techniques for Heterogeneous. 1097-1116 - Paul J. Ashton, John P. Penny:
A Tool for Visualizing the Execution of Interactions on a Loosely-coupled Distributed System. 1117-1140 - Neil Dunstan, Ivan Fris:
Process Scheduling and UNIX Semaphores. 1141-1153 - Samuel A. Ajila:
Software Maintenance: An Approach to Impact Analysis of Objects Change. 1155-1181
Volume 25, Number 11, November 1995
- Peter Lüders, Rolf Ernst, Stefan Stille:
An Approach to Automatic Display Layout Using Combinatorial Optimization Algorithms. 1183-1202 - Ari Jaaksi:
Object-oriented Specification of User Interfaces. 1203-1221 - Sunil Magavi, Johnny Wong, Prakash Bodla:
Design and Implementation of Heterogeneous Distributed Multimedia System using Mosaic GSQL. 1223-1241 - Johnson M. Hart:
Experience with Logical Code Analysis in Software Maintenance. 1243-1262 - Peter T. Breuer, Jonathan P. Bowen:
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. 1263-1297
Volume 25, Number 12, December 1995
- Gordon Lyon, Raghu Kacker, Arnaud Linz:
A Scalability Test for Parallel Code. 1299-1314 - Hans-Juergen Boehm, Russell R. Atkinson, Michael F. Plass:
Ropes: An Alternative to Strings. 1315-1330 - Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ:
The Oberon System Family. 1331-1366 - Wayne Citrin, Alistair Cockburn, Jürg von Känel, Rainer Hauser:
Using Formalized Temporal Message-flwo Diagrams. 1367-1401
Volume 25, Number S4, December 1995
- Ole Lehrmann Madsen:
Open Issues in Object-Oriented Programming - A Scandinavian Perspective. Softw. Pract. Exp. 25(S4): S4 (1995) - Andrew Koenig, Bjarne Stroustrup:
Foundations for Native C++ Styles. Softw. Pract. Exp. 25(S4): S4 (1995) - Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber:
Network Objects. Softw. Pract. Exp. 25(S4): S4 (1995) - Michael L. Powell:
Alternative Perspectives on Object Technology. Softw. Pract. Exp. 25(S4): S4 (1995)
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 2025-11-01 22:09 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:
