We have been investigating alternatives to conventional benchmarking that will allow users and machine designers to characterize the performance space of the memory hierarchy and the interconnection network of different shared memory machines in a uniform way, while providing a level of detail that is usually associated with hardware monitors. Our approach uses micro benchmarks (small benchmark...

Virtual machine systems have been implemented on a limited number of third generation computer systems, e.g. CP-67 on the IBM 360/67. From previous empirical studies, it is known that certain third generation computer systems, e.g. the DEC PDP-10, cannot support a virtual machine system. In this paper, model of a third-generation-like computer system is developed. Formal techniques are used to ...

The high performance demands on commercial computer numerical control (CNC) machine tools have led to the widespread adoption of direct-drive servo axes. In industrial machines, where the workpiece is manipulated by the axis, the plant dynamics seen by the control system may vary widely between different workpieces. These changing plant dynamics have been observed to lead to limit-cycle behavio...

This paper presents a new model for the speci cation of communicating X-machine systems (CXMS). In previous papers, systems of X-machines have been implemented in two ways: using an unique X-machine which simulates the concurrent behaviour of several processes [1], or using several X-machines which communicate through asynchronous channels [2]. This article introduces an X-machine system for wh...

We are interested in scheduling tasks from several selfish agents on a set of parallel identical machines. A coordination mechanism consists in giving a scheduling policy to each machine. Given these policies, each agent chooses the machines on which she assigns her tasks, and her aim is to minimize the average completion times of her tasks. The aim of the system (social cost) is to minimize th...

Introduction: Very low, Low and Medium X-ray machines are used extensively for Superficial Radiation Therapy mostly used for Basal Cell, Squamous Cell Carcinoma, and Melanoma skin cancers. In most of cases, Superficial X-ray Therapy (SXRT) is preferred to Electron beams generated using a linear accelerator. SXRT tube characteristics may vary with the use of the machine for a lo...

in this paper, a mixed-integer linearized programming (minlp) model is presented to design a group layout (gl) of a cellular manufacturing system (cms) in a dynamic environment with considering production planning (pp) decisions. this model incorporates with an extensive coverage of important manufacturing features used in the design of cmss. there are also some features that make the presented...

a survey of changes to virtual machine interfaces, implementation, architecture, and simulation techniques as they affect IBM System1370 and 303X (3031, 3032, 3033) processors, the system control program to which virtual machines interface, and other virtual machines executing on the same real computing system or elsewhere. The paper seeks to summarize such changes and provide a perspective on ...