This symposiumproceedings contains 19 papers dealing with various principles of Operating Systems. Two of the papers are in abstract form only. All of the papers are abstracted and indexed separately. Considered are:...
详细信息
ISBN:
(纸本)0897911741
This symposiumproceedings contains 19 papers dealing with various principles of Operating Systems. Two of the papers are in abstract form only. All of the papers are abstracted and indexed separately. Considered are: distributed operating systems, measured performance of systems;distributed file systems, replication, fault tolerance, facilities for supercomputing, atomic actions, alternative architectures and experiences with systems. Remote execution facilities, integration of virtual memory management and interprocess communication, concurrency control, recovery control, compiler-directed memory management, data-flow approach to multitasking, storage reliability and various research problems are discussed.
Easy proofs are given, of the impossibility of solving several consensus problems (Byzantine agreement, weak agreement, Byzantine firing squad, approximate agreement and clock synchronization) in certain communication...
详细信息
Similarity is introduced as a model-independent characterization of symmetry. It can be used to decide when a concurrent system has a solution to the selection problem. It can also be used to compare different models ...
Many fault-tolerant distributed algorithms assume a synchronous system. Another common assumption is that all processors begin the algorithm simultaneously, i. e. , at the same step. Typically an algorithm is executed...
详细信息
ISBN:
(纸本)0897911512
Many fault-tolerant distributed algorithms assume a synchronous system. Another common assumption is that all processors begin the algorithm simultaneously, i. e. , at the same step. Typically an algorithm is executed in response to a request from some specific processor, which may in turn be responding to some external request. If the given processor is correct then all correct processors learn of the request simultaneously, so they can indeed begin the algorithm in unison. However, if the processor is faulty then the correct processors may learn of the request at different steps. The authors justify the design assumption of simultaneous starts. Specifically, they provide algorithms to solve the associated synchronization problem, which they call the distributed firing squad problem.
This conference proceedings contains 28 papers, 3 of which are in abstract form only. The main theme of all the papers is the maturity of the world of microcomputers, in both hardware and software. The papers provide ...
详细信息
ISBN:
(纸本)0897911547
This conference proceedings contains 28 papers, 3 of which are in abstract form only. The main theme of all the papers is the maturity of the world of microcomputers, in both hardware and software. The papers provide a mixture of practical solutions to present problems and glimpses of the future. The main subjects are distributed databases, microprocessor-based workstations, computer graphics, operating systems and programming environments, office systems, and expert systems. Some general applications of innovative new software are also presented.
A distributed, log N algorithm to configure computer resources interconnected by regular SW-banyans into logical SISD machines is presented. The algorithm is written for a general, dynamic computing environment in whi...
详细信息
ISBN:
(纸本)0818606347
A distributed, log N algorithm to configure computer resources interconnected by regular SW-banyans into logical SISD machines is presented. The algorithm is written for a general, dynamic computing environment in which requests for resources and the release of allocated resources occur spontaneously. A request is always satisfied assuming it is physically possible to do so. The circuit built is the cheapest realization of the request in terms of network connectivity.
Described is a working cognitive robotics system that attempts to avoid rigid constraints imposed by current industrial applications, such as repeatability requirements and strict fixturing of task objects. The system...
详细信息
Described is a working cognitive robotics system that attempts to avoid rigid constraints imposed by current industrial applications, such as repeatability requirements and strict fixturing of task objects. The system exhibits flexibility with respect to error conditions that are typically unresolvable without human intervention. The authors propose to achieve these goals using an approach that appears to be a generic strategy underlying many aspects of intelligent behavior. The robot is driven by 'significant' events. The term 'significant' event is derived from physiological and psychological principles, and gives a general mechanism for focusing and directing the 'attention' of a system.
暂无评论