New Algorithms for Bin Packing
In the bin-packing problem a list L of n numbers are to be packed into unit-capacity bins. For any algorithm S, let r(S) be the maximum ratio S(L)/L* for large L*, where S(L) denotes the number of bins used by S and L* denotes the minimum number needed. ...
Reaching Agreement in the Presence of Faults
The problem addressed here concerns a set of isolated processors, some unknown subset of which may be faulty, that communicate only by means of two-party messages. Each nonfaulty processor has a private value of information that must be communicated to ...
Equality and Domain Closure in First-Order Databases
A class of first-order databases with no function signs is considered. A closed database DB is one for which the only existing individuals are those explicitly referred to in the formulas of DB. Formally, this is expressed by including in DB a domain ...
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
An algorithm is given for deciding whether a functional or a multivalued dependency σ (with a right-hand side Y) is implied by a set of functional and multivalued dependencies Σ. The running time of the algorithm is O(| Y |‖Σ‖), where Y is the number of ...
Can Any Stationary Iteration Using Linear Information Be Globally Convergent?
All known globally convergent iterations for the solution of a nonlinear operator equation ƒ(x) = 0 are either nonstationary or use nonlinear information. It is asked whether there exists a globally convergent stationary iteration which uses linear ...
Testing Deadlock-Freedom of Computer Systems
The problem of determining whether it is possible for a set of “free-running” processes to become deadlocked is considered. It is assumed that any request by a process is immediately granted as long as there are enough free resource units to satisfy the ...
The Cycle Time Distribution of Exponential Cyclic Queues
The cycle time distribution of a cyclic queue with two exponential servers is derived. Results show that when the population size N is large enough, the cycle time distribution is not sensitive to the ratio of service rates and asymptotically approaches ...
A New Algorithm for Preemptive Scheduling of Trees
An algorithm which schedules forests of n tasks on m identical processors in O(n log m) time, offline, is given. The schedules are optimal with respect to finish time and contain at most n - 2 preemptions, a bound which is realized for all n. Also given ...
Mean-Value Analysis of Closed Multichain Queuing Networks
It is shown that mean queue sizes, mean waiting times, and throughputs in closed multiple-chain queuing networks which have product-form solution can be computed recursively without computing product terms and normalization constants. The resulting ...
Queuing Network Models with State-Dependent Routing
A model of a closed queuing network within which customer routing between queues may depend on the state of the network is presented. The routing functions allowed may be rational functions of the queue lengths of various downstream queues which reside ...
On the Correctness of Semantic-Syntax-Directed Translations
The correctness of semantic-syntax-directed translators (SSDTs) is examined. SSDTs are a generalization of syntax-directed translators in which semantic information is employed to partially direct the translator. Sufficient conditions for an SSDT to be “...
Fast Decision Procedures Based on Congruence Closure
The notion of the congruence closure of a relation on a graph is defined and several algorithms for computing it are surveyed. A simple proof is given that the congruence closure algorithm provides a decision procedure for the quantifier-free theory of ...
A Syntactic Theory of Message Passing
Recent developments by Hewitt and others have stimulated interest in message-passing constructs as an alternative to the more conventional applicative semantics on which most current languages are based. The present work illuminates the distinction ...
Lower Bounds on Information Transfer in Distributed Computations
Lower bounds on the interprocessor communication required for computing a differentiable real-valued function in a distributed network are derived. These bounds are independent of the network interconnection configuration, and they impose no assumptions ...
GO Is Polynomial-Space Hard
It is shown that, given an arbitrary GO position on an n × n board, the problem of determining the winner is Pspace hard. New techniques are exploited to overcome the difficulties arising from the planar nature of board games. In particular, it is ...