27554160
Supporting Partial Component Matching
In this paper we define a formal framework for describing components and gaps or holes (where components can be plugged in) This is based on the theory of interface automata The main focus is to define a component partially satisfying the requirements of a hole A partial plug-in of a hole will result in other holes The definition of a partial plug-in does not result in a unique set of holes, i.e., the resulting holes can have different properties We define an software engineering process which uses the formal framework to complete the component selection and insertion process The process is defined in terms of the possible interactions between a component vendor and a customer seeking a component.
14258683
A framework for checking behavioral compatibility for component selection
Component selection and composition are the main issues in component-based development (CBD). Existing approaches suffer from the problem that the components retrieved usually do not exactly fit with other components in the system being developed. While formal methods can be used to describe and check semantic characteristics to better match components, there are practical limitations which restrict their adoption. In this paper, we propose a framework to support a semantic description and selection of components. Towards this we first introduce a Simple Component Interface Language (SCIL). SCIL files can be translated to a variety of models including those that have a formal basis. We report our experience with two specific tools, viz., Reactive Modules and Alloy with a view to using tools based on formal methods but without exposing the details of the tools
42292334
An Initial Framework for Collaboration-Based Component Selection
14600536
An Approach to Provisioning E-Commerce Applications with Commercial Components
Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used during the development. The reason is that existing approaches to selecting and composing components suffer from the problem that the components retrieved usually do not exactly fit with other components in the system being developed. While formal methods can be used to describe and check semantic characteristics to better match components, there are practical limitations which restrict their adoption. We have proposed a framework to support a semantic description and selection of components. We used Simple Component Interface Language (SCIL) to describe user requirements and pre-built components from the current component sources. Specifications in SCIL can be translated to a variety of models including those that have a formal basis. In this paper, we perform a case study of searching commercial components for a generic e-commerce application. We specify the commercial components in SCIL and use two specific tools: jMocha and Alloy Analyser to identify the correct components that suit a particular task
15937993
The Design and Optimization of H.264 Encoder Based on the Nexperia Platform
The Nexperia PNX1501 Media Processor is a complete Audio/Video/Graphics system on a chip that contains a high-performance 32-bit VLIW processor, capable of high quality software video, audio signal processing. Based on Philips Semiconductor's multimedia processing chip Nexperia PNX1501, designs a new H.264 encoder with high performance for real time signal processing. Chooses the rapid integral discrete cosine translation and the advanced Hexagon searching algorithm, accomplishes the intelligent optimization and comprehensive debugging for codes. The results of experiments indicate that the encoder can encode all kinds of video data rapidly, and can realize the real time processing for all kinds of video signals.
14183415
Context-aware application programming for mobile devices
This research aims at facilitating the development of context-aware application software for mobile devices by providing a programming model, an implementation framework and a development environment. The programming model provides a multi-layered software architecture for context-aware application programming. The model supports developers to define contexts, behaviors and context-behavior binding rules through specifications and automates generation of context-aware application code based on the specifications. The implementation framework is a backbone program that implements the programming model. It facilitates the development in reducing the effort on the common tasks of context-awareness and help developers focus on the application-specific components. The development environment provides a series of tools to support the development of context-aware applications. These tools simplify the development process and provide the developed applications with robustness and testability.
15438049
DECF: A Coarse-Grained Data-Parallel Programming Framework for Seismic Processing
In this paper, we present a distributed execution control framework (DECF) for seismic processing. The DECF framework employs a coarse-grained data-parallel execution model within a cluster environment and achieves high throughput. The DECF schedules processing modules written as sequential programs to run simultaneously on multiple computers, or multiple CPU cores. The DECF hides the messy details of scheduling the use of computers and their CPUs, recovering from communication or computer failures, and transporting data between processing modules.We also introduce a parallel implementation of 3D pre-stack kirchhoff time migration algorithm using MPI and share the practical lessons learned from the process of designing, implementing, and maintaining it, which are of great help to the future work of the DECF.
28547446
Low-Complex Equalization for Single Carrier Systems Employing Cyclic Prefix over Time-Variant Channels
A simplified equalization method based on the band structure of the frequency domain channel matrix is proposed for the single carrier systems employing cyclic prefix (SC-CP) over time-varying wireless channels. Using both theoretical analysis and computer simulation, it is shown that the complexity of this method is proportional to the number of symbols in one SC-CP block and is less than that of traditional block equalization methods. We also show that they have similar performance.
5365763
An extended approach to improving the semantic interoperation among reuse epositories
Software reuse is widely believed as a feasible way to improve both the productivity and quality of software development. The developers must be capable to acquire enough desired components before developing with reuse. Many Internet-enabled reuse repositories exist to provide access to reusable resources. It is necessary to eliminate the semantic gaps of the repositories to enable users to access resources from multiple repositories via a single representation view. In some sense, the only usable information to mine the semantics of the terms representing the resources is the mutual components stored in the repositories. In this paper, the extended improved relevancy matching and ranking (EIRMR) method is proposed to enhance the semantic interoperability of reuse repositories, based on our previous work (IRMR) and the mutual components in the third-party repositories. Experimental results on the data sets from the real repositories demonstrated an improvement in terms of searching effectiveness.