Grid applications can combine the use of compute, storage, network, and other resources. These resources are often geographically distributed, adding to application complexity and thus the difficulty of understanding application performance. We present GridMapper, a tool for monitoring and visualizing the behavior of such distributed systems. GridMapper builds on basic mechanisms for registerin...

Abstract Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational agents in uncertain probabilistic settings. Existing tools and focus on turn-based games, where each state of the game is controlled by a single player, zero-sum properties, two players coalitions have directly opposing objective...

Introduction: In this study the automatic separation of oral and salivary gland activity and spontaneous secretion by means of factor analysis for quantitative salivary gland scintigraphy is introduced. Methods: After intravenous administration of 99mTc sodium pertechnetate, dynamic scintigraphy was performed. 20 minutes after tracer application 2 ml of lemon juice was delivered to stimulate t...

Self-tuning adaptive control technique has the advantage of being able to track the system operating conditions so that satisfactory control action can always be produced. Self-tuning algorithms can be implemented easily. Because the power systems are usually time varying non-linear systems and their parameters vary, adaptive controllers are very suitable for power systems. Characteristics of a...

The efficiency requirements for hydraulic pumps applied in automatic transmissions future generations of automobiles will increase continuously. In addition, the must be able to cope with multiphase flows a certain extent. Given this background, balanced vane pump (BVP), an internal gear (IGP) and three-dimensional geared tumbling multi chamber (TMC) are analyzed compared by computational fluid...

− A technique for generating user interfaces in software frameworks for automatic measurement systems is proposed. The user interface is separated from the application logic with the aim of enhancing flexibility and reusability of the software. A Model-View-Interactor paradigm focuses on the “interaction” between the automatic measurement system, executing test script written by a test engineer...