The record-and-replay technique proved to be an effective solution to the cyclic debugging of nondeterministic parallel programs. Because of its nondeterminism, a parallel program given the same inputs on successive r...
详细信息
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structured around a hierarchy of performance ...
详细信息
In this paper, a new data structure called string-queue is proposed in order to implement more efficiently the selection rule and the elimination rule of the general branch-and-bound algorithm. A new general parallel ...
详细信息
Loop tiling is an effective way to improve the cache hit ratio. However, while eliminating self-interference misses, tiling may produce small tiling factors for the cases of some arrays. In order to obtain stable and ...
详细信息
ISBN:
(纸本)0769505892
Loop tiling is an effective way to improve the cache hit ratio. However, while eliminating self-interference misses, tiling may produce small tiling factors for the cases of some arrays. In order to obtain stable and proper tiling factors, a new method that automatically generates tiling factors is proposed in this paper. These tiling factors are independent of arrays and can completely eliminate self-interference misses and can also significantly reduce cross-interference misses.
Parallel programmers typically assume that all resources required for a program's execution are dedicated to that purpose. However, in local and wide area networks, contention for shared networks, CPUs, and I/O sy...
详细信息
The cover picture shows methanol molecules (ball and stick models in gray, white, and red) in the eight-ring channel of zeolite ferrierite (framework in orange, red, and blue) in the process of dehydration to dimethyl...
The cover picture shows methanol molecules (ball and stick models in gray, white, and red) in the eight-ring channel of zeolite ferrierite (framework in orange, red, and blue) in the process of dehydration to dimethyl ether. The valence-electronic charge densities are superimposed in green. A theorectical study on the formation of the first intermediate (dimethyl ether) in the methanol-to-gasoline conversion is presented in full detail by I. Štich et al. on p. 2521 ff.
We show that the efficient minus (resp., signed) domination problem is NP-complete for chordal graphs, chordal bipartite graphs, planar bipartite graphs and planar graphs of maximum degree 4 (resp., for chordal graphs...
详细信息
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since it suggests that faults should be inj...
详细信息
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since it suggests that faults should be injected based on the global state of the system. In Loki, fault injection is performed based on a partial view of the global state of a distributed system, i.e. faults injected in one node of the system can depend on the state of other nodes. Once faults are injected, a post-runtime analysis, using off-line clock synchronization, is used to place events and injections on a single global timeline and to determine whether the intended faults were properly injected. Finally, experiments containing successful fault injections are used to estimate the specified measures. In addition to briefly reviewing the concepts behind Loki and its organization, we detail Loki's user interface. In particular, we describe the graphical user interfaces for specifying state machines and faults, for executing a campaign and for verifying whether the faults were properly injected.
Roller coasters are an attractive, adventurous and exciting form of entertainment. In this paper, we present a virtual roller coaster system, which includes roller coaster simulation software, a motion platform and a ...
详细信息
Roller coasters are an attractive, adventurous and exciting form of entertainment. In this paper, we present a virtual roller coaster system, which includes roller coaster simulation software, a motion platform and a motion control unit. We investigate the track structure of the roller coaster and propose a methodology to generate the track automatically. We also simulate the forces exerted on the running carriage to give the user the impression he/she is riding a real roller coaster. A motion platform with two degrees of freedom is constructed using hydraulic cylinders for its actuators. An electronic circuit is designed to allow the motion platform to communicate with the host computer. We also provide flexibility for changing the track type and the surrounding scenery, in order to give the rider a variety of exciting experiences. This system also considers safety concerns in the design of the motion platform.
暂无评论