A programming notation is introduced to describe the behavior of groups of parallel processes, communicating with each other over a network of named channels. An assertion is a predicate with free channel names, each ...
详细信息
A programming notation is introduced to describe the behavior of groups of parallel processes, communicating with each other over a network of named channels. An assertion is a predicate with free channel names, each of which stands for the sequence of values which have been communicated along that channel up to some moment in time. A process invariantly satisfies an assertion if that assertion is true before and after each communication by that process. A system of inference rules is presented for proving that processes satisfy assertions, and their use is illustrated. The validity of the inference rules is established by constructing a model of the programming notation, and by proving each inference rule as a theorem about the model. Limitations of the model and proof system are discussed.
A new scheduling algorithm is described for a multicomputer connected in a point-to-point fashion. The algorithm is both distributed (every processor runs the same algorithm) and stable (collective load balancing deci...
详细信息
A new scheduling algorithm is described for a multicomputer connected in a point-to-point fashion. The algorithm is both distributed (every processor runs the same algorithm) and stable (collective load balancing decisions will not cause unnecessary overloading of a processor in the network). It is assumed that process execution times are not known in advance and that inter-processor transfer times are non-trivial. Load is balanced by migrating suitable jobs after they have been run long enough to obtain an estimate of their required service time. The algorithm is suitable for job scheduling in a distributed time-sharing system implemented on a multicomputer. Performance of the algorithm is investigated through simulation.
The translation of decision tables in a program is considered, and various algorithms are comared, while recommendations are made on the choice of algorithm on the basis of performance criteria and computer resources.
The translation of decision tables in a program is considered, and various algorithms are comared, while recommendations are made on the choice of algorithm on the basis of performance criteria and computer resources.
In solving problems of multicriterion optimization, different portions of the data in the computer must often undergo cumbersome calculations which leads to an inadmissible delay in the response. One way to shorten th...
详细信息
In solving problems of multicriterion optimization, different portions of the data in the computer must often undergo cumbersome calculations which leads to an inadmissible delay in the response. One way to shorten the response time is to organize parallel processing. The realization of parallel computation requires both the creation of computersystems (CS) with special structures and the corresponding software. Several groups of adaptive methods for multicriterion optimization are surveyed.
The authors introduce a new transition system - Petri queue networks - and show that this models is as powerful as a Turing machine and that moreover a utilization method exists which makes possible the analysis of su...
详细信息
The authors introduce a new transition system - Petri queue networks - and show that this models is as powerful as a Turing machine and that moreover a utilization method exists which makes possible the analysis of such properties as absence of deadlock or coherence of message exchanged. In dealing with a concrete example arising out of the problem of telephone switching, the authors endeavor to show the extent to which formal analysis is useful in designing a real-time system.
In order to establish a more comfortable user interface, a system should inform the user the behavior of his program during execution. For this purpose, a mechanism for monitoring a program during execution is impleme...
详细信息
In order to establish a more comfortable user interface, a system should inform the user the behavior of his program during execution. For this purpose, a mechanism for monitoring a program during execution is implemented, and examples of the monitoring are given for several practical cases in an experimental system.
Transfer facilities are discussed of a ″Real-Time Superviser″ applications program package which provide automatic data exchange between arbitrary peripheral devices and in particular between devices of the Unified ...
详细信息
Transfer facilities are discussed of a ″Real-Time Superviser″ applications program package which provide automatic data exchange between arbitrary peripheral devices and in particular between devices of the Unified computer System.
暂无评论