External Links

    Journal: International Journal of Parallel Programming

    Volume 13, Issue 6

    425 -- 460Timo Niemi. Specification of data restructuring software based on the attribute method
    461 -- 490Subrata Dasgupta, Alan Wagner. The use of hoare logic in the verification of horizontal microprograms
    491 -- 508A. R. Hurson. A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner
    509 -- 520Lena Chang, Arthur T. Poe. Surjections and coverings

    Volume 13, Issue 5

    327 -- 338Camilla Schwind. Embedding deductive capabilities in relational database systems
    339 -- 394Vason P. Srini, Bruce D. Shriver. A methodology for designing and modeling reconfigurable systems
    395 -- 412S. K. Chang, J. C. Dorng. Concatenated hash code selection
    413 -- 423Keisuke Tanatsugu. A grammatical inference for harmonic linear languages

    Volume 13, Issue 4

    237 -- 249Alex Kostovetsky. Frequency decomposition technique for large archivable databases
    251 -- 277Roy P. Pargas. Parallel solution of recurrences on a tree machine
    279 -- 290Mikhail J. Atallah. Checking similarity of planar figures
    291 -- 307Weidong Kou, Hu Zheng. CH transform
    309 -- 326Demetre C. Voukalis. Further remarks for the matrix type-B codes

    Volume 13, Issue 3

    131 -- 147Nicola Santoro. On the message complexity of distributed problems
    149 -- 175Levent Orman. Familial model of data
    177 -- 196H. Fukuda, K. Kamata. Inference of tree automata from sample set of trees
    197 -- 217Godfried T. Toussaint. Complexity, convexity, and unimodality
    219 -- 236W. Richard Stark. A glimpse into the paradise of combinatory algebra

    Volume 13, Issue 2

    77 -- 101Thomas Ottmann, Arnold L. Rosenberg, Hans-Werner Six, Derick Wood. Binary search trees with binary comparison cost
    103 -- 109Subhash C. Kak. On the method of puzzles for key distribution
    111 -- 121Ging-Shung Yu, Saburo Muroga. Parallel multipliers with NOR gates based on G-minimum adders
    123 -- 129M. C. Er. An iterative algorithm for the cyclic Towers of Hanoi problem

    Volume 13, Issue 1

    1 -- 21David Landskov, Joseph A. Fisher, Bruce D. Shriver. Microcode compaction: Extending the boundaries
    23 -- 32D. T. Lee. An optimal time and minimal space algorithm for rectangle intersection problems
    33 -- 58H. R. Lu, K. S. Fu. Inferability of context-free programmed grammars
    59 -- 76Chao-Chih Yang, Houkuan Huang. Algorithms for the inverse and a generalization of the state space approach to finite automata
    runs on