37789043
On the development paradigm of distributed applications
We propose an ideal development paradigm facilitating the implementation of distributed applications. In this paradigm a developer focuses his mind only on the application itself and does not need to spend time on application-unrelated activities. The programming style is nearly consistent with that of centralized system. The mechanism of the general support environment to this paradigm is described. An example explaining the implementation for an environment using the Sun RPC facility as the underlying communication component is also presented.
22379683
Analyzing reconfigurable algorithms for managing replicated data
We analyze reconfigurable algorithms for managing replicated data to determine how often one should detect and react to failure conditions so that reorganization operations can be performed at the appropriate time to improve the availability of replicated data. We use dynamic voting as a case study to reveal design trade-offs for designing such reconfigurable algorithms and illustrate how often failure detection and reconfiguration activities should be performed so as to maximize data availability. Stochastic Petri nets are used as a tool to facilitate our analysis.
37782928
A multi-dimensional version of the I test
Abstract Two-dimensional arrays with linear subscripts occur quite frequently in real programs. In general, for multi-dimensional linear arrays under constant bounds the Lambda test is an efficient data dependence method to check whether there exist real solutions. In this paper, we propose a multi-dimensional version of the I test, the multi-dimensional I test, that can be applied to testing whether there are integer solutions for multi-dimensional linear arrays under constant limits. Experiments with benchmark showing the effects of the multi-dimensional I test on testing precision and testing efficiency are also presented.
16852145
The infinity Lambda test
In this paper, WC proposed the infinity Lambda test. The infinity Lambda test can be applied IO deal with data dependence of coupled arrays with symbolic (urrknowr, at compile time) bounds. Experimental data reflecting the effect of the infinity Lambda test are also presented.
6546539
The generalized lambda test
We generalize the /spl lambda/ test. The generalized /spl lambda/ test can be applied towards determining whether there exist data dependencies for coupled arrays with both constant and variable limits under any given direction vectors, improving the applicable range of the /spl lambda/ test. Experimental data reflecting the effect of the generalized /spl lambda/ test are also presented.
7900750
A Web-service oriented framework for building SCORM compatible learning management systems
Managing the large amount of learning content involved in the development of an expandable learning management system (LMS) is a critical task for most educational organizations. In designing such a system, consideration must be given not only to the requirement of instructors and students, but also to the adaptive qualities of the system itself, because of the rapidly changing software environment. Unlike most enterprises, educational organization can't afford high system maintenance. Development of a flexible, expandable and reliable learning management system is, therefore, imperative. This paper proposes a Web service oriented framework in building a sharable content object reference model (SCORM) compatible LMS. We integrated the SCORM concept with distributed computing technologies to build the components of the LMS and demonstrate how these services can be configured to create a complete system. This framework increases reusability and reduces the maintenance requirements of the LMS. It provides a way for small educational organizations, with limited resources, to build a complete SCORM compatible LMS. In such an ideal situation, the content provider not only provides the content, but also the service for the consumers of that content.
41639900
An Evolutionary Fuzzy Multi-objective Approach to Cell Formation
Fuzzy mathematical programming (FMP) has been shown not only providing a better and more flexible way of representing the cell formation (CF) problem of cellular manufacturing, but also improving solution quality and computational efficiency. However, FMP cannot meet the demand of real-world applications because it can only be used to solve small-size problems. In this paper, we propose a heuristic genetic algorithm (HGA) as a viable solution for solving large-scale fuzzy multi-objective CF problems. Heuristic crossover and mutation operators are developed to improve computational efficiency. Our results show that the HGA outperforms the FMP and goal programming (GP) models in terms of clustering results, computational time, and user friendliness.
18525423
An efficient and optimal algorithm for simultaneous buffer and wire sizing
In this paper, we consider the problem of interconnect delay minimization by simultaneous buffer and wire sizing under the Elmore delay model. We first present a polynomial time algorithm SBWS to minimize the delay of an interconnect wire. Previously, no polynomial time algorithm for the problem has been reported in the literature. SBWS is an iterative algorithm with guaranteed convergence to the optimal solution. It runs in quadratic time and uses constant memory for computation. Experimental results show that SBWS is extremely efficient in practice. For example, for an interconnect of 10000 segments and buffers, the CPU time is only 0.255 s. We then extend our result to handle interconnect trees. We present an algorithm SBWS-T which always gives the optimal solution. Experimental results show that SBWS-T is faster than the greedy wire sizing algorithm in practice.
776801
Optimizing SOC Test Resources using Dual Sequences
In this paper, we propose a new data structure called dual sequences to represent SOC test schedules. Dual sequences are used together with a simulated annealing based procedure to optimize the SOC test application time and tester resources. The problems we consider are generation of optimal test schedules for SOCs and minimizing tester memory and test channels. Results of experiments conducted on ITC’02 benchmark SOCs show the effectiveness of the proposed method.
13097054
RQL: Global Placement via Relaxed Quadratic Spreading and Linearization
This paper describes a simple and effective quadratic placement algorithm called RQL. We show that a good quadratic placement, followed by local wirelength-driven spreading can produce excellent results on large-scale industrial ASIC designs. As opposed to the current top performing academic placers [4,7,11], RQL does not embed a linearization technique within the solver. Instead, it only requires a simpler, pure quadratic objective function in the spirit of [8,10,23]. Experimental results show that RQL outperforms all available academic placers on the ISPD-2005 placement contest benchmarks. In particular, RQL obtains an average wire- length improvement of 2.8%, 3.2%, 5.4%, 8.5%, and 14.6% versus mPL6 [5], NTUPlaceS [7], Kraflwerk [20], APlace2.0 [11], and Capo10.2 [18], respectively. In addition, RQL is three, seven, and ten times faster than mpL6, Capo10.2, and APlace2.0, respectively. On the ISPD-2006 placement contest benchmarks, on average, RQL obtains the best scaled wirelength among all available academic placers.
34361185
Dilation-5 embedding of 3-dimensional grids into hypercubes
We present an algorithm to map the nodes of a 3-dimensional grid to the nodes of its optimal hypercube on a one-to-one basis with dilation at most 5.<<ETX>>