default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Parallel Programming, Volume 9
Volume 9, Number 1, February 1980
- Julius T. Tou:
An approach to understanding geometrical configurations by computer. 1-13 - C. J. Stephenson:
A method for constructing binary search trees by making insertions at the root. 15-29 - T. S. E. Maibaum, Carlos José Pereira de Lucena:
Higher order data types. 31-53 - Tsong Yueh Chen
:
Formalization of correctness of recursive definitions. 55-61 - James M. Lemme, John R. Rice:
Adaptive quadrature algorithms for the ILLIAC IV. 63-72
Volume 9, Number 2, April 1980
- Gerald S. Shedler:
Response-time simulation of multivariate point process models for multiprogrammed jobstreams. 73-91 - Judy A. Townley:
A pragmatic approach to resolution-based theorem proving. 93-116 - Chao-Chih Yang, Charmane P. May:
Algorithms for finding directed graph isomorphisms by finite automata. 117-140 - Marco Bernorio, Marco Bertoni, Arnaldo Dabbene, Marco Somalvico:
Querying databases with a domain-oriented natural language understanding system. 141-159
Volume 9, Number 3, June 1980
- Paulo Roberto Freire Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum:
On the design and specification of message oriented programs. 161-191 - Jacques Cohen, Robert Stachel:
An interpreter for a nondeterministic language. 193-217 - D. T. Lee, Bruce J. Schachter:
Two algorithms for constructing a Delaunay triangulation. 219-242 - Dhananjay M. Dhamdhere, J. R. Isaac:
A composite algorithm for strength reduction and code movement optimization. 243-273
Volume 9, Number 4, August 1980
- Julius T. Tou:
Knowledge engineering. 275-285 - Sudhir K. Arora, Kenneth C. Smith:
Wcrl: A data model independent language for database systems. 287-305 - Johnson M. Hart:
Fast recognition of Baxter permutations using syntactical and complete bipartite composite dag's. 307-321 - James C. Bezdek, Michael P. Windham, Robert Ehrlich:
Statistical parameters of cluster validity functionals. 323-336 - Robert Brian Cutler, Saburo Muroga:
Useless prime implicants of incompletely specified multiple-output switching functions. 337-350
Volume 9, Number 5, October 1980
- Anne Putkonen:
The order of merging operations for queries in inverted file systems. 351-369 - Paulo A. S. Veloso:
Characterizations for the regular prefix codes and related families. 371-382 - Mamoru Maekawa:
A classification of process coordination schemes in descriptive power. 383-406 - Peter A. Ng, Lun Tsai:
The design and implementation of a scheme for large ordered indices. 407-434
Volume 9, Number 6, December 1980
- Jozo J. Dujmovic:
Computer selection and criteria for computer performance evaluation. 435-458 - John A. Moyne:
Language use: A performance model. 459-481 - Abraham Charnes, William W. Cooper, Salih O. Duffuaa, Moshe Kress:
Complexity and computability of solutions to linear programming systems. 483-506
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-12-02 23:31 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:
