Search

The article presents some abstracts of papers related to computer science which appeared in the publications of the Association for Computing Machinery. The first abstract entitled "A Complexity Theory Based on Boolean Algebra," by S. Skyum and L.G. Valiant, was published in the April 1985 issue of the "Journal of the ACM." According to the paper, a projection of a Boolean function is a function obtained by substituting for each of its variables a variable, the negation of a variable, or a constant. The abstract entitled"Optimal Static Load Balancing in Distributed Computer Systems," by Asser N. Tantawi and Don Towsley, was published in the April 1985 issue of the "Journal of the ACM." According to this paper, a distributed computer system that consists of a set of heterogeneous host computers connected in an arbitrary fashion by a communications network is considered. A general model is developed for such a distributed computer system, in which the host computers and the communications network are represented by product-form queuing networks.

The article presents abstracts of research papers related to computer science, which have been published in various publications of the Association for Computing Machinery. The research paper "Complexity of Network Synchronization," examines the problem of simulating a synchronous network by an asynchronous network. A new simulation technique, referred to as a synchronizer, which is a new, simple methodology for designing efficient distributed algorithms in asynchronous networks, has been proposed. The synchronizer exhibits a trade-off between its communication and time complexities, which is proved to be within a constant factor of the lower bound. The article "How to Assign Votes in a Distributed System," discusses distributed processing. In a distributed system, one strategy for achieving mutual exclusion of groups of nodes without communication is to assign to each node a number of votes. Only a group with a majority of votes can execute the critical operations, and mutual exclusion is achieved because at any given time there is at most one such group.

A calendar of international events related to computing from March to November 1982 is presented. The First Association of Computing Machinery (ACM) Conference on Security, Audit and Control in Office Systems will be held in Saint Louis, Missouri. The Computer Network Performance Symposium will be held in Washington, D.C. The ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing will be held in Ottawa, Ontario.