By Topic

IEEE Software

Issue 1 • Date Jan. 1988

Filter Results

Displaying Results 1 - 7 of 7
  • Programming three parallel computers

    Publication Year: 1988, Page(s):11 - 22
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1107 KB)

    Three commercial systems are considered from a programmer's point of view. The three are the Intel iPSC, a network of Inmos transputers, and the Sequent Balance. The differences in overhead are examined by implementing a solution to the traveling-salesman problem on all three. The evaluation focuses on three major issues in parallel programming: (1) how execution is divided among processing elemen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Grain size determination for parallel processing

    Publication Year: 1988, Page(s):23 - 32
    Cited by:  Papers (134)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (865 KB)

    A method called grain packing is proposed as a way to optimize parallel programs. A grain is defined as one or more concurrently executing program modules. A grain begins executing as soon as all of its inputs are available, and terminates only after all of its outputs have been computed. Grain packing reduces total execution time by balancing execution time and communication time. Used with an op... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multiprocessor synchronization for concurrent loops

    Publication Year: 1988, Page(s):34 - 42
    Cited by:  Papers (19)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1083 KB)

    Execution of concurrent loops on multiprocessor computers often requires synchronizing the processors. Synchronization schemes are surveyed that are suitable for automatic problem decomposition. The model of a shared-memory multiprocessor is used, as is the concurrent-loop paradigm, which is to compile a loop so each processor is assigned a different loop iteration. The discussion covers data depe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A distributed Prolog system with AND parallelism

    Publication Year: 1988, Page(s):43 - 51
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1039 KB)

    Design details and benchmark results are given for a Prolog interpreter that can be executed across a network by using message passing to implement AND-parallelism. The system is simple and easy to use, yet significantly speeds up existing programs. The system hardware is a group of Sun 3/50 workstations connected to a 10-Mb/s Ethernet. The number of machines actually used by the system is determi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exploring parafunctional programming: separating the what from the how

    Publication Year: 1988, Page(s):54 - 61
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (671 KB)

    A method is presented that takes functional programming one step further by letting the programmer change operational (parafunctional) details without restructuring or rewriting the program. Parafunctional programming is based on the premise that the what (specification) and the how (implementation) are separately identifiable and maintainable system components. Unlike conventional programming met... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applicative parallelism on a shared-memory multiprocessor

    Publication Year: 1988, Page(s):62 - 70
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (688 KB)

    An applicative language, SISAL (streams and iteration in a single-assignment language), is used to examine how effective the applicative approach can be in programming parallel computers. SISAL is a research language for investigating issues in parallel processing, especially for numerical computing. A prototype implementation of SISAL is described, focusing on loops and streams and on microtaskin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test-case generation with IOGen

    Publication Year: 1988, Page(s):72 - 79
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (614 KB)

    The IOGen static-analysis tool for a subset of Ada addresses part of the problem of verification of software reliability. It uses a technique based on symbolic execution and produces a set of I/O pairs that represent execution paths through a program. The authors present IOGen's design and demonstrate how to use it to test programs and validate Ada software interfaces. Although IOGen is specific t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

IEEE Software delivers reliable, useful, leading-edge software development information to keep engineers and managers abreast of rapid technology change.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Diomidis Spinellis
Athens University of Economics and Business
28is Oktovriou 76
Athina 104 33, Greece
dds@computer.org