We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty processors. In particular, we prove that...
详细信息
This paper gives out the definition of switched systems and those solution structure. Using railway signal systems, we put out a switched computation method of railway route. The macro route and cent route are compute...
详细信息
Performance engineering for informational and transactional distributedsystems must take into account both the development and runtime information about the target system and its environment. At development time, the...
详细信息
ISBN:
(纸本)9781424486366
Performance engineering for informational and transactional distributedsystems must take into account both the development and runtime information about the target system and its environment. At development time, the architects have to choose from many architecture styles and consider all performance requirements across a multitude of workload. At runtime, an Autonomic Manager has to compensate for changing operating and environment conditions not accounted for at the design time and make decisions about changes in architecture so the performance requirements are met. This paper proposes a formal framework, SPAC, for making decisions with regard to a possible set of candidate architectures: usage scenarios are criteria according to which architectures are evaluated;actual performance metrics, such as response time or throughput, are obtained by solving performance models and then matched against the performance requirements;performance requirements are defined by modeling user satisfaction with a utility function. Criteria can be weighted to reflect their importance. The framework can be used both at design and run time.
The design of complex softwaresystems is a challenging task because it involves a wide range of quality attributes such as security, performance, reliability, to name a few. Dealing with each of these attributes requ...
详细信息
ISBN:
(纸本)9781617387036
The design of complex softwaresystems is a challenging task because it involves a wide range of quality attributes such as security, performance, reliability, to name a few. Dealing with each of these attributes requires specific set of skills, which quite often, involves making various trade-offs. This paper proposes a novel Model-Driven software Performance engineering (MDSPE) process that can be used for performance analysis requirements of distributedsoftwaresystems. An example assessment is given to illustrate how our MDSPE process can comply with well-known performance models to assess the performance measures.
In this paper we present a fine grained parallel architecture that performs meaning comparison using vector cosine similarity (dot product). Meaning comparison assigns a similarity value to two objects (e.g. text docu...
详细信息
Conventional privilege separation can effectively reduce the TCB size by granting privilege to only the privileged compartments. However, since they this approach relies on process isolation to ensure security assuran...
详细信息
This paper deals with the problem of identifying faulty nodes (or units) in diagnosable distributed and parallelsystems under the PMC model. In this model, each unit is tested by a subset of the other units, and it i...
详细信息
Multi-cores are the contemporary solution to satisfy high performance and low energy demands in general and embedded computing domains. However, currently available multi-cores are not feasible to be used in safety-cr...
详细信息
Networked computer systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these environments. Failure occurrence as well ...
详细信息
In this paper, we present a new heuristic that generates broadcast schemes in arbitrary networks. The heuristic gives optimal broadcast time for ring, tree and grid if the originator is on the corner. Extensive simula...
详细信息
暂无评论