Journal of Systems and Software (JSS), Volume 6

Volume 6, Numbers 1-2, May 1986

• From the editor. 1
  Electronic Edition (link) BibTeX
• Editor's corner. 3
  Electronic Edition (link) BibTeX
• Monique Becker:
  Introduction to the special issue. 5
  Electronic Edition (link) BibTeX
• Ann H. Hayes:
  Parallel-processing experiences on the denelcor HEP computer. 7-10
  Electronic Edition (link) BibTeX
• D. Parkinson:
  Performance analysis in a 4096 processor environment. 11-15
  Electronic Edition (link) BibTeX
• Yves Chauvet, Gérard Meurant:
  Multitasking on the CRAY X-MP. 17-20
  Electronic Edition (link) BibTeX
• Duncan Roweth:
  Design and performance analysis of Transputer arrays. 21-22
  Electronic Edition (link) BibTeX
• Serge Fdida, D. Mailles, Guy Pujolle:
  Queueing systems with resource sharing. 23-29
  Electronic Edition (link) BibTeX
• Raymond A. Marie, Gerardo Rubino:
  An approximation for a multiclass./M/1/FIFO queue imbedded in a closed Queueing Network. 31-39
  Electronic Edition (link) BibTeX
• Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta:
  The solution of homogeneous queueing networks with many job classes. 41-53
  Electronic Edition (link) BibTeX
• J. P. Claude:
  Discrete time queues for modelling an HDLC coupler. 55-59
  Electronic Edition (link) BibTeX
• Anna Hác:
  Modelling parallel access to shared resources in a distributed file system using queueing networks. 61-69
  Electronic Edition (link) BibTeX
• P. A. Grasso, Tharam S. Dillon, Kevin E. Forward:
  Performance analysis of common bus multimicroprocessor systems. 71-79
  Electronic Edition (link) BibTeX
• M. Becker, G. Pion:
  Simulation of an Apollo network in order to evaluate response-time speedup of parallel algorithms. 81-91
  Electronic Edition (link) BibTeX
• M. Tricot:
  Classification algorithms. 93
  Electronic Edition (link) BibTeX
• Philippe Chrétienne:
  Timed petri nets: A solution to the minimum-time-reachability problem between two states of a timed-event graph. 95-101
  Electronic Edition (link) BibTeX
• Gerard Florin, Stéphane Natkin:
  One-place unbounded stochastic petri nets: Ergodic criteria and steady-state solutions. 103-115
  Electronic Edition (link) BibTeX
• Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Susanna Donatelli:
  On the product-form solution of a class of multiple-bus multiprocessor system models. 117-124
  Electronic Edition (link) BibTeX
• C. Murray Woodside, E. Neron, E. D.-S. Ho, B. Mondoux:
  An "Active Server" model for the performance of parallel programs written using rendezvous. 125-131
  Electronic Edition (link) BibTeX
• Satish K. Tripathi:
  On detecting parallelism in software. 133-135
  Electronic Edition (link) BibTeX
• Alain Dupuis, Gérard Hébuterne, Jean-Marc Pitie:
  A comparison of two mutual-exclusion algorithms for computer networks. 137-145
  Electronic Edition (link) BibTeX
• Garry H. Rodrigue:
  Solving partial differential equations on multiprocessors. 147-154
  Electronic Edition (link) BibTeX
• Yves Robert, Maurice Tchuente:
  Parallel solution of band triangular linear systems on VLSI arrays with limited fan-out. 155-163
  Electronic Edition (link) BibTeX
• P. Fraisse:
  An efficient parallel algorithm for the transitive closure of a graph. 165-168
  Electronic Edition (link) BibTeX
• Jean Claude Miellou, Guy-René Perrin, Pierre Spitéri:
  An inexpensive method of performance evaluation for subdomain decomposition parallel algorithms of three-dimensional elliptical problems. 169-173
  Electronic Edition (link) BibTeX
• Vidyadhar G. Kulkarni, Victor F. Nicola, Kishor S. Trivedi:
  On modelling the performance and reliability of multimode computer systems. 175-182
  Electronic Edition (link) BibTeX
• D. R. Powell:
  A hierarchical approach to distributed computer-system dependability evaluation. 183-198
  Electronic Edition (link) BibTeX
• Bruno Müller:
  A decomposition approach for the stationary analysis of fault tolerant queueing systems. 199-204
  Electronic Edition (link) BibTeX
• Jean-Serge Banino:
  Parallelism and fault-tolerance in the CHORUS. 205-211
  Electronic Edition (link) BibTeX
• M. Morganti:
  Communications in distributed fault-tolerant computing systems. 213-216
  Electronic Edition (link) BibTeX

Volume 6, Number 3, August 1986

• Robert L. Glass:
  Editor's corner : "Dangerous and misleading": A look at software research via the parnas papers. 217-218
  Electronic Edition (link) BibTeX
• Anna Hác:
  Performance-reliability issues in distributed file systems. 219-224
  Electronic Edition (link) BibTeX
• W. J. Barr:
  A UNIX-based gateway to distributed database systems. 225-235
  Electronic Edition (link) BibTeX
• Yuksel Uckan, William D. Haseman:
  An optimal access path handling strategy in a database environment. 237-249
  Electronic Edition (link) BibTeX
• Ronen Barzel, David Salesin:
  Patchwork: A fast interpreter for a restricted dataflow language. 251-259
  Electronic Edition (link) BibTeX
• Bruce I. Blum:
  Four yrs of experience with an environment for implementing information systems. 261-271
  Electronic Edition (link) BibTeX
• R. N. Sum Jr., R. H. Campbell, William J. Kubitz:
  An approach to operating system testing. 273-284
  Electronic Edition (link) BibTeX
• Margaret J. Davis, David R. Addleman:
  A practical approach to specification technology selection. 285-294
  Electronic Edition (link) BibTeX

Volume 6, Number 4, November 1986

• Rubén Prieto-Díaz, James M. Neighbors:
  Module interconnection languages. 307-334
  Electronic Edition (link) BibTeX
• Warren Harrison, Curtis R. Cook:
  Are deeply nested conditionals less readable? 335-341
  Electronic Edition (link) BibTeX
• Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel:
  Test sets generation from algebraic specifications using logic programming. 343-360
  Electronic Edition (link) BibTeX
• Andreas S. Pombortsis, Constantinos Halatsis:
  Analysis of a modified model for synchronous multiprocessor systems. 361-365
  Electronic Edition (link) BibTeX
• Dennis D. Doe, Edward H. Bersoff:
  The Software Productivity Consortium (SPC): An industry initiative to improve the productivity and quality of mission-critical software. 367-378
  Electronic Edition (link) BibTeX
• Ben G. Matley:
  A modest proposal: Computer education can be raised to professional status. 379-389
  Electronic Edition (link) BibTeX