International Journal of Parallel Programming, Volume 3

Volume 3, Number 1, March 1974

• Jacques Cohen, Laurent Trilling, Peter Wegner:
  A nucleus of a theorem-prover described inAlgol -68. 1-31
  
• Edward K. Bowdon Sr., Sandra A. Mamrak, Fred R. Salz:
  A simulation tool for performance evaluation of the IBM 360/75. 33-57
  
• James P. Ignizio, R. M. Harnett:
  Heuristically aided set-covering algorithms. 59-70
  
• André Bouckaert:
  Computer diagnosis of goiters. IV. Optimal planning of physical observations. 71-89
  
• Ben Shneiderman:
  A model for optimizing indexed file structures. 91-101
  

Volume 3, Number 2, June 1974

• Jack Minker, James R. McSkimin, Daniel H. Fishman:
  MRPPS - An interactive refutation proof procedure system for question-answering. 105-122
  
• Seiichi Nishihara, Hiroshi Hagiwara:
  A full table quadratic search method eliminating secondary clustering. 123-128
  
• Abraham Kandel:
  Application of fuzzy logic to the detection of static hazards in combinational switching systems. 129-139
  
• Eugene S. Santos:
  One-way acceptors and languages. 141-151
  
• C. A. Mateescu, Ion O. Stamatescu:
  On an information processing model applied to optical illusions and computer simulations. 153-166
  
• Michael Stonebraker:
  The choice of partial inversions and combined indices. 167-188
  

Volume 3, Number 3, September 1974

• Jay Earley:
  Syntax extension using a run time model. 189-196
  
• Gary Lindstrom:
  Algorithms for list structure condensation. 197-216
  
• Jack Minker, Gordon J. van der Brug:
  Representations of the language recognition problem for a theorem prover. 217-250
  
• Hung Chi Lai, Tomoyasu Nakagawa, Saburo Muroga:
  Redundancy check technique for designing optimal networks by branch-and-bound method. 251-271
  

Volume 3, Number 4, December 1974

• Flavio R. Dias Velasco, Celso de Renna e Souza:
  Sequential syntactical decoding. 273-287
  
• Sheila A. Greibach:
  Some restrictions onW-grammars. 289-327
  
• Bruce H. McCormick, Sadali N. Jayaramamurthy:
  Time series model for texture synthesis. 329-343
  
• André Bouckaert:
  Computer diagnosis of goiters. The optimal size of optimal subsymptomatologies. 345-362
  

Last update Thu May 23 18:57:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page