Volume 25,
Number 1,
January 1995
Volume 25,
Number 2,
February 1995
Volume 25,
Number 3,
March 1995
Volume 25,
Number 4,
April 1995
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 BibTeX
- Paolo Corsini, Lanfranco Lopriore:
An Implementation of Storage Management in Capability Environments.
501-520 BibTeX
- Guido Russo, Stefano Russo, Benôit Pirenne:
An Operating System Independent WORM Archival System.
521-531 BibTeX
- Ee-Peng Lim, San-Yih Hwang, Jaideep Srivastava, Dave Clements, M. Ganesh:
Myriad: Design and Implementation of a Federated Database Prototype.
533-562 BibTeX
- Jon Knight, Steve Guest:
Using Multicast Communications to Distribute Code and Data in Wide Area Networks.
563-577 BibTeX
Volume 25,
Number 6,
June 1995
- André Arnold, Srecko Brlek:
Automatic Verification of Properties in Transition Systems.
579-596 BibTeX
- 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 BibTeX
- Kai Tödter, Carsten Hammer, Werner Struckmann:
PARC++: A Parallel C++.
623-636 BibTeX
- Clinton L. Jeffery, Ralph E. Griswold, Gregg M. Townsend:
Adding Graphics to a High-level Programming Language.
637-655 BibTeX
- Pierpaolo Degano, Corrado Priami:
Comparison of Syntactic Error Handling in LR Parsers.
657-679 BibTeX
- Antonino Mazzeo, Umberto Villano:
Parallel 1D-FFT Computation on Constant-valence Multicomputers.
681-704 BibTeX
Volume 25,
Number 7,
July 1995
Volume 25,
Number 8,
August 1995
Volume 25,
Number 9,
September 1995
Volume 25,
Number 10,
October 1995
Volume 25,
Number 11,
November 1995
Volume 25,
Number 12,
December 1995
- Gordon Lyon, Raghu Kacker, Arnaud Linz:
A Scalability Test for Parallel Code.
1299-1314 BibTeX
- Hans-Juergen Boehm, Russell R. Atkinson, Michael F. Plass:
Ropes: An Alternative to Strings.
1315-1330 BibTeX
- Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ:
The Oberon System Family.
1331-1366 BibTeX
- Wayne Citrin, Alistair Cockburn, Jürg von Känel, Rainer Hauser:
Using Formalized Temporal Message-flwo Diagrams.
1367-1401 BibTeX
Volume 25, Number S4, December 1995
Copyright © Sun May 17 00:22:29 2009
by Michael Ley (ley@uni-trier.de)