By Topic

IEEE Transactions on Software Engineering

Issue 3 • Date March 2000

Filter Results

Displaying Results 1 - 7 of 7
  • Guest editors' introduction: special issues on architecture-independent languages and software tools for parallel processing

    Publication Year: 2000, Page(s):193 - 196
    Request permission for commercial reuse | PDF file iconPDF (110 KB)
    Freely Available from IEEE
  • A programming methodology for dual-tier multicomputers

    Publication Year: 2000, Page(s):212 - 226
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB)

    Hierarchically organized ensembles of shared memory multiprocessors possess a richer and more complex model of locality than previous generation multicomputers with single processor nodes. These dual-tier computers introduce many new factors into the programmer's performance model. We present a methodology for implementing block-structured numerical applications on dual-tier computers and a run-ti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient interprocedural array data-flow analysis for automatic program parallelization

    Publication Year: 2000, Page(s):244 - 261
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (960 KB)

    Since sequential languages such as Fortran and C are more machine-independent than current parallel languages, it is highly desirable to develop powerful parallelization tools which can generate parallel codes, automatically or semi-automatically, targeting different parallel architectures. Array data-flow analysis is known to be crucial to the success of automatic parallelization. Such an analysi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ZPL: a machine independent programming language for parallel computers

    Publication Year: 2000, Page(s):197 - 211
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    The goal of producing architecture-independent parallel programs is complicated by the competing need for high performance. The ZPL programming language achieves both goals by building upon an abstract parallel machine and by providing programming constructs that allow the programmer to “see” this underlying machine. This paper describes ZPL and provides a comprehensive evaluation of t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallaxis-III: architecture-independent data parallel processing

    Publication Year: 2000, Page(s):227 - 243
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1404 KB)

    Parallaxis-III is an architecture-independent data parallel programming language based on Modula-2. It has been designed for teaching data parallel concepts and is in use at a large number of institutions. Compilers exist for data parallel systems, as well as for a sequential simulation system. A data parallel graphics debugger allows efficient source level analysis for parallel programs View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic mapping of system of N-dimensional affine recurrence equations (SARE) onto distributed memory parallel systems

    Publication Year: 2000, Page(s):262 - 275
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (252 KB)

    The automatic extraction of parallelism from algorithms, and the consequent parallel code generation, is a challenging problem. We present a procedure for automatic parallel code generation in the case of algorithms described through a SARE (Set of Affine Recurrence Equations). Starting from the original SARE description in an N-dimensional iteration space, the algorithm is converted into a parall... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward formally-based design of message passing programs

    Publication Year: 2000, Page(s):276 - 288
    Cited by:  Papers (10)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (264 KB)

    Presents a systematic approach to the development of message passing programs. Our programming model is SPMD, with communications restricted to collective operations: scan, reduction, gather, etc. The design process in such an architecture-independent language is based on correctness-preserving transformation rules that are provable in a formal functional framework. We develop a set of design rule... View full abstract»

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

Aims & Scope

The IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Matthew B. Dwyer
Dept. Computer Science and Engineering
256 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588-0115 USA
tse-eic@computer.org