By Topic

IEEE Transactions on Software Engineering

Issue 1 • Date Jan. 1987

Filter Results

Displaying Results 1 - 20 of 20
  • IEEE Transactions on Software Engineering - Table of contents

    Publication Year: 1987, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (375 KB)
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1987, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (192 KB)
    Freely Available from IEEE
  • Foreword Special Issue on Distributed Systems

    Publication Year: 1987, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (1536 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • List of referees

    Publication Year: 1987, Page(s): 2
    Request permission for commercial reuse | PDF file iconPDF (1295 KB)
    Freely Available from IEEE
  • Local Distributed Deadlock Detection by Cycle Detection and Clusterng

    Publication Year: 1987, Page(s):3 - 14
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3856 KB)

    A distributed algorithm for the detection of deadlocks in store-and-forward communication networks is presented. At first, we focus on a static environment and develop an efficient knot detection algorithm for general graphs. The knot detection algorithm uses at most O(n2+ m) messages and O(log (n)) bits of memory to detect all deadlocked nodes in the static network. Using the knot dete... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Companson and Diagnosis of Large Replicated Files

    Publication Year: 1987, Page(s):15 - 22
    Cited by:  Papers (2)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3680 KB)

    This paper examines the problem of comparing large replicated files in a context in which communication dominates the cost of comparison. A low-cost checking matrix is proposed for comparison of these replicated files. The checking matrix is composed of check symbols generated by a divide-and-conquer encoding algorithm. The matrix allows for detection and diagnosis of disagreeing pages with very l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Checkpointing and Rollback-Recovery for Distributed Systems

    Publication Year: 1987, Page(s):23 - 31
    Cited by:  Papers (382)  |  Patents (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3048 KB)

    We consider the problem of bringing a distributed system to a consistent state after transient failures. We address the two components of this problem by describing a distributed algorithm to create consistent checkpoints, as well as a rollback-recovery algorithm to recover the system to a consistent state. In contrast to previous algorithms, they tolerate failures that occur during their executio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Gradient Model Load Balancing Method

    Publication Year: 1987, Page(s):32 - 38
    Cited by:  Papers (132)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2536 KB)

    A dynamic load balancing method is proposed for a class of large-diameter multiprocessor systems. The method is based on the "gradient model," which entails transferring backlogged tasks to nearby idle processors according to a pressure gradient indirectly established by requests from idle processors. The algorithm is fully distributed and asynchronous. Global balance is achieved by successive ref... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Discarding Obsolete Information in a Replicated Database System

    Publication Year: 1987, Page(s):39 - 47
    Cited by:  Papers (24)  |  Patents (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3103 KB)

    A replicated database architecture is described in which updates processed at a site must be saved to allow reconcilliation of newly arriving updates in a way that preserves mutual consistency. The storage space occupied by the saved updates increases indefinitely, and periodic discarding of old updates is needed to avoid running out of storage. A protocol is described which allows sites in the sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Caching Hints in Distributed Systems

    Publication Year: 1987, Page(s):48 - 54
    Cited by:  Papers (26)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2912 KB)

    Caching reduces the average cost of retrieving data by amortizing the lookup cost over several references to the data. Problems with maintaining strong cache consistency in a distributed system can be avoided by treating cached information as hints. A new approach to managing caches of hints suggests maintaining a minimum level of cache accuracy, rather than maximizing the cache hit ratio, in orde... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Version Management for Read-Only Actions

    Publication Year: 1987, Page(s):55 - 64
    Cited by:  Papers (22)  |  Patents (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3592 KB)

    Typical concurrency control protocols for atomic actions, such as two-phase locking, perform poorly for long read-only actions. We present four new concurrency control protocols that eliminate all interference between read-only actions and update actions, and thus offer significantly improved performance for read-only actions. The protocols work by maintaining multiple versions of the system state... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distrbution and Abstract Types in Emerald

    Publication Year: 1987, Page(s):65 - 76
    Cited by:  Papers (139)  |  Patents (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3968 KB)

    Emerald is an object-based language for programming distributed subsystems and applications. Its novel features include 1) a single object model that is used both for programming in the small and in the large, 2) support for abstract types, and 3) an explicit notion of object location and mobility. This paper outlines the goals of Em-erald, relates Emerald to previous work, and describes its type ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Stub Generator for Multilanguage RPC in Heterogeneous Environments

    Publication Year: 1987, Page(s):77 - 87
    Cited by:  Papers (43)  |  Patents (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3096 KB)

    A stub generator for marshalling the arguments and results of remote procedure calls in heterogeneous environments is presented. The stub generator is itself language and machine independent, and derives all its knowledge of source languages and machine types from a set of language and machine specifications. These specifications can be paired in any combination to accommodate interlanguage calls ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Language Support for Loosely Coupled Distributed Programs

    Publication Year: 1987, Page(s):88 - 103
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4528 KB)

    A distributed operating system encourages a style of programming in which independently developed processes interact in a nontrivial fashion at run time. Server processes, for example, must deal with clients that they do not understand, and certainly cannot trust. Interprocess communications can be written in a traditional, sequential language with direct calls to kernel primitives, but the result... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Design of the Saguaro Distributed Operating System

    Publication Year: 1987, Page(s):104 - 118
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4960 KB)

    This paper describes the design of the Saguaro operating system for computers connected by a local-area network. Systems constructed on such an architecture have the potential advantages of concurrency and robustness. In Saguaro, these advantages are made available to the user through several mechanisms. One is channels, an interprocess communication and synchronization facility that allows the in... View full abstract»

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

    Publication Year: 1987, Page(s): 119
    Request permission for commercial reuse | PDF file iconPDF (319 KB)
    Freely Available from IEEE
  • The Third International Conference on Data Engineering

    Publication Year: 1987, Page(s): 119
    Request permission for commercial reuse | PDF file iconPDF (388 KB)
    Freely Available from IEEE
  • The One Leveraged Investment With a Guaranteed Return

    Publication Year: 1987, Page(s):119-d - 119-e
    Request permission for commercial reuse | PDF file iconPDF (312 KB)
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1987, Page(s): 119-f
    Request permission for commercial reuse | PDF file iconPDF (248 KB)
    Freely Available from IEEE
  • Information for authors

    Publication Year: 1987, Page(s): 119
    Request permission for commercial reuse | PDF file iconPDF (203 KB)
    Freely Available from IEEE

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