1353091
A Lightweight Approach to Semantic Web Service Synthesis
Web service technologies are becoming a new paradigm for distributed computing. With increasing number of web services available on the internet, there is an urgent need for information brokers that can autonomously integrate web services on behalf of a user. To this end, we propose web service specification, which defines what the service is but not how the service is implemented, and service synthesizer, which can dynamically synthesize the implementation of the specification from existing web services over the web.
1921065
Partitioning loops with variable dependence distances
A new technique to parallelize loops with variable distance vectors is presented. The method extends previous methods in two ways. First, the present method makes it possible for array subscripts to be any linear combination of all loop indices. The solutions to the linear dependence equations established from such array subscripts are characterized by a pseudo distance matrix (PDM). Second, it allows us to exploit loop parallelism from the PDM by applying unimodular and partitioning transformations that preserve the lexicographical order of the dependent iterations. The algorithms to derive the PDM, to find a suitable loop transformation and to generate parallel code are described, showing that it is possible to parallelize a wider range of loops automatically.
1624571
Non-uniform dependences partitioned by recurrence chains
Nonuniform distance loop dependences are a known obstacle to find parallel iterations. To find the outermost loop parallelism in these "irregular" loops, a novel method is presented based on recurrence chains. The scheme organizes nonuniformly dependent iterations into lexicographically ordered monotonic chains. While the initial and final iterations of monotonic chains form two parallel sets, the remaining iterations form an intermediate set that can be partitioned further. When there is only one pair of coupled array references, the nonuniform dependences are represented by a single recurrence equation. In that case, the chains in the intermediate set do not bifurcate and each can be executed as a WHILE loop. The independent and the initial iterations of monotonic dependence chains constitute the outermost parallelism. The proposed approach compares favorably with other treatments of nonuniform dependences in the literature. When there are multiple recurrence equations, a dataflow parallel execution can be scheduled using the technique to find maximum loop parallelism.
9459993
From goals to aspects: discovering aspects from requirements goal models
Aspect-oriented programming (AOP) has been attracting much attention in the software engineering community by advocating that programs should be structured according to programmer concerns, such as "efficient use of memory". However, like other programming paradigms in their early days, AOP hasn't addressed yet earlier phases of software development. In particular, it is still an open question how one identifies aspects early on in the software development process. This work proposes an answer to this question. Specifically, we show that aspects can be discovered during goal-oriented requirements analysis. Our proposal includes a systematic process for discovering aspects from relationships between functional and nonfunctional goals. We illustrate the proposed process with a case study adapted from the literature.
866390
Comparing Web Services with other Software Components
Software metrics are vital for the management of software development, especially when a new technology is being adopted and established practices have yet to emerge. As a kind of software components, Web service technology has flourished and attracted a flurry of research activities. Despite the vast amount of research on mechanisms of Web services, there have been little investigations of the overall nature of existing Web services from a software component point of view. This paper is the first attempt to compare Web services with other software components in terms of established metrics in software engineering, including object oriented metrics and interface metrics. In this study we conclude that there are statistical differences between the interface, variable name and other OO metrics when one compares a large sample of Web services with typical OO systems. The distributions obtained give insight into the typical characteristics of Web services and can be used to identify candidates for wrapping into Web services.
11507388
JPT: A Java Parallelization Tool
PVM is a succesfull programming environment for distributed computing in the languages C and Fortran. Recently several implementations of PVM for Java have been added, making PVM programming accessible to the Java community. 
 
With PVM for Java however, the user still needs to partition the problem, calculate the data partitioning and program the message passing and synchronization. In this paper, JPT is introduced, a parallelization tool which generates PVM code from a serial Java program. JPT automatically detects parallel loops and generates master and slave PVM programs.
37474982
A Study on a Path-based Strategy for Selecting Black-box Generated Test Cases
Various black-box methods for the generation of test cases have been proposed in the literature. Many of these methods, including the category-partition method and the classification-tree method, follow the approach of partition testing, in which the input domain is partitioned into subdomains according to important aspects of the specification, and test cases are then derived from the subdomains. Though comprehensive in terms of these important aspects, execution of all the test cases so generated may not be feasible under the constraint of tight testing resources. In such circumstances, there is a need to select a smaller subset of test cases from the original test suite for execution. In this paper, we propose the use of white-box information to guide the selection of test cases from the original test suite generated by a black-box testing method. Furthermore, we have developed some techniques and algorithms to facilitate the implementation of our approach, and demonstrated its viability and benefits by means of a case study.
13369249
Reconstruction of 3-D Symmetric Curves from Perspective Images without Discrete Features
The shapes of many natural and man-made objects have curved contours. The images of such contours usually do not have sufficient distinctive features to apply conventional feature-based reconstruction algorithms. This paper shows that both the shape of curves in 3-D space and the camera poses can be accurately reconstructed from their perspective images with unknown point correspondences given that the curves have certain invariant properties such as symmetry. We show that in such cases the minimum number of views needed for a solution is remarkably small: one for planar curves and two for nonplanar curves (of arbitrary shapes), which is significantly less than what is required by most existing algorithms for general curves. Our solutions rely on minimizing the L 2-distance between the shapes of the curves reconstructed via the “epipolar geometry” of symmetric curves. Both simulations and experiments on real images are presented to demonstrate the effectiveness of our approach.
14491026
An iterative method for optimizing FIR filters synthesized using the two-stage frequency-response masking technique
An efficient technique for drastically reducing the number of multipliers and adders in narrow-transition band linear-phase finite-impulse response filters is to use one-stage or multistage frequency-response masking (FRM) approaches as originally introduced by Lim. It has been observed recently that for the one-stage FRM approach the filter complexity can be considerably reduced by iteratively optimizing the periodic filter and masking filters by properly sharing the frequency-response-shaping responsibilities in their respective frequency regions. In this paper, a similar iterative method is applied to the two-stage FRM structure to reduce the filter complexity even more. An example taken from the literature is included illustrating that the number of adders and multipliers for the resulting filters are less than 75 percent compared with the original designs.
26872843
Promoting the use of information technology in education via lightweight authoring tools
The potential benefits of using information technology in classrooms for enhancing students' learning have been well known, but the realisation of these benefits is often hindered by a number of factors, notably the lack of knowledge/skills of teachers, the lack of appropriate software, insufficient teacher time, and the limitation of hardware and network infrastructure. In this paper, we introduce the approach of using lightweight authoring tools to address the difficulties faced by teachers. This approach has been adopted on many occasions for the continuing development of primary school teachers in Hong Kong, including many workshops and a formal in-service teacher education course. This paper describes how the approach works, and reports our experiences and the very encouraging feedback we received with the use of lightweight authoring tools.
11395837
Information-Bearing Noncoherently Modulated Pilots for MIMO Training
In this correspondence, we deal with noncoherent communications over multiple-input-multiple-output (MIMO) wireless links. For a Rayleigh flat block-fading channel with M transmit- and N receive-antennas and a channel coherence interval of length T, it is well known that for TGtM, or, at high signal-to-noise-ratio (SNR) rhoGt1 and Mlesmin{N,lfloorT/2rfloor}, unitary space-time modulation (USTM) is capacity-achieving, but incurs exponential demodulation complexity in T. On the other hand, conventional training-based schemes that rely on known pilot symbols for channel estimation simplify the receiver design, but they induce certain SNR loss. To achieve desirable tradeoffs between performance and complexity, we propose a novel training approach where USTM symbols over a short length Ttau(<T) are used as pilots which carry information to the receiver, and coherent communication is used for the remainder of the block. This new approach considerably reduces the receiver complexity when Ttau is a small fraction of T, and recovers part of the SNR loss experienced by the conventional training-based schemes. When rhorarrinfin and TgesTtau ges2M=2Nrarrinfin, but the ratios alpha=M/T, alpha1 =Ttau/T are fixed, we obtain analytical expressions of the asymptotic SNR loss for both the conventional and new training-based approaches, serving as a guideline for practical designs