Dynamic scheduling algorithms are a powerful tool towards performance improvement via load balancing scientific applications in heterogeneous environments. However, these scheduling techniques employ heuristics that r...
详细信息
The design and prototype implementation of the XCAT Grid science Portal is described in this paper. The portal lets grid application programmers easily script complex distributed computations and package these applica...
详细信息
In this paper we propose a new approach to address the ramification problem in common-sense reasoning about action and change. We contrast the methods of McCain and Turner [6], Thielscher [10] and Sandewall [8] and, b...
详细信息
In this paper, we describe an improved method for generating a virtual stretched image of the stomach based on shape deformation. In observing large cavity organs, such as the stomach, a flattened view of the organs w...
详细信息
To evolove reactive system specifications, it is necessary to check properties of the specifications, such as satisfiability, stepwise satisfiability and strong satisfiability. We developed a verification method for c...
详细信息
To evolove reactive system specifications, it is necessary to check properties of the specifications, such as satisfiability, stepwise satisfiability and strong satisfiability. We developed a verification method for checking these properties of specifications described in Linear Temporal Logic. The most significant problem of the verification is that it needs huge computational resources. To solve the problem, we introduce an efficient procedure for checking these properties based on a tableau method using combination of Binary Decision Diagrams representing sets of states and coarse graphs representing transitions.
The toolkit for routing in optical networks (TRON) is a freely available library developed to facilitate research experiments on OSPF-based routing protocols for optical networks. Currently, TRON supports the lightwav...
详细信息
The toolkit for routing in optical networks (TRON) is a freely available library developed to facilitate research experiments on OSPF-based routing protocols for optical networks. Currently, TRON supports the lightwave-OSPF routing protocol, which is our adaptation of the optical extensions to OSPF proposed in the Internet drafts of Kompella et al and Wang et al. TRON is implemented in C++ using the component architecture for simulating network objects (CASiNO). TRON software can be used in either simulation or emulation mode. In this paper, we describe lightwave-OSPF and the architecture of the TRON software.
Recent advances in sensor technology have led to the development of hyperspectral sensors capable of collecting remote sensing imagery at several hundred bands over the spectrum. While these developments hold great pr...
详细信息
Cascadic multigrid algorithms have been shown by a number of researchers (e.g., Bornemann, Deuflhard, Shaidurov, Shi, and many others) to be useful in a number of application areas. Cascadic multigrid differs from tra...
详细信息
ISBN:
(纸本)8489925704
Cascadic multigrid algorithms have been shown by a number of researchers (e.g., Bornemann, Deuflhard, Shaidurov, Shi, and many others) to be useful in a number of application areas. Cascadic multigrid differs from traditional one way multigrid methods by over solving the problem on coarse grids in order to reduce the required work on the finest grids. Since there is a geometric growth in the number of unknowns as the grids get finer and finer, useful work done on the coarse grids has a significant impact on the work estimate for the entire process. We take the approach that solving a higher order problem on some of the coarse grids will be even better than over solving the problem with a standard order discretization. We combine our approach with higher order, operator based interpolation to get an inexpensive, high order cascadic multigrid algorithm.
暂无评论