Sign In

Communications of the ACM

Table of Contents


Authors


President's letter


ACM forum


Tablet: personal computer of the year 2000

A design represents a compromise between conflicting goals, and the design of the personal computer of the year 2000 is no exception. We seek something that will fit comfortably into people's lives while dramatically changing …

Computer graphics tools for the study of minimal surfaces

Recent research indicates machine computation and mathematical theory have proceeded hand in hand and have proved to be of great benefit to one another.

Introduction to special section on software testing

The field of software testing spans mathematical theory, the art and practice of validation, and methodology of software development. To cover this range would require a textbook (or several texts), not a trio of articles. But …

The evaluation of program-based software test data adequacy criteria

In earlier work, a preliminary set of axioms for software test data adequacy was introduced in order to formalize properties which should be satisfied by any good program-based adequacy criterion. Here, we extend this work by …

The category-partition method for specifying and generating fuctional tests

A method for creating functional test suites has been developed in which a test engineer analyzes the system specification, writes a series of formal test specifications, and then uses a generator tool to produce test descriptions …

The growth of software testing

We can trace the evolution of software test engineering by examining changes in the testing process model and the level of professionalism over the years. The current definition of a good software testing practice involves some …

Self-timing programs and the quantum scheduler

Using an internally generated program clock in conjunction with a quantum scheduler creates self-timing programs that are useful in building deterministic computer systems.

Model management and structured modeling: the role of an information resource dictionary system

Models have historically occupied an ambiguous position within organizations. Management acceptance of management science and operations research models for decision-making has lagged far behind technical advances in these areas …

Garbarge collection for Prolog based on WAM

The Warren abstract machine (WAM) has become a generally accepted standard Prolog implementation technique. Garbage collection is an important aspect in the implementation of any Prolog system. A synopsis of the WAM is presented …

Efficient and portable combined random number generators

In this paper we present an efficient way to combine two or more Multiplicative Linear Congruential Generators (MLCGs) and propose several new generators. The individual MLCGs, making up the proposed combined generators, satisfy …

The equivalence of the subregion representation and the wall representation for a certain class of rectangular dissections

A rectangular dissection is a partition of a rectangular space R info n ≱ 1 disjoint rectangles {r1, r2, . . ., rn. Two classes of dissections that are of particular interest in floor-space design and very-large-scale integration …

Graphics and managerial decision making: research-based guidelines

Graphical charts are generally thought to be a superior reporting technique compared to more traditional tabular representations in organizational decision making. The experimental literature, however, demonstrates only partial …

Edmund C. Berkeley—ACM founder