3399031
On 2-factors in claw-free graphs
Abstract A graph is said claw-free if it contains no induced subgraph isomorphic to K 1,3 . We prove that if G is a claw-free graph with minimum degree δ ⩾4, then G contains a 2-factor with at most 6 n /( δ +2)−1 components. Moreover, together with a theorem of Choudoum and Paulraj (J. Graph Theory 15 (1991) 259–265) and one of Anstee (J. Algorithms 6 (1985) 112–131), it is polynomial (in O( n 3 )) to construct such a 2-factor.
42940477
Hamiltonian iterated line graphs
The n-iterated line graph of a graph G is Ln(G) = L(Ln-1(G)), where L1(G) denotes the line graph L(G) of G, and Ln-1(G) is assumed to be nonempty. Harary and Nash-Williams characterized those graphs G for which L(G) is hamiltonian. In this paper, we will give a characterization of those graphs G for which Ln(G) is hamiltonian, for each n ≥ 2. This is not a simple consequence of Harary and Nash-Williams' result. As an application, we show two methods for determining the hamiltonian index of a graph and enhance various results on the hamiltonian index known earlier.
16579361
A Theory of Reactive Components
We present a theory of reactive components. We identify a component by its provided services, and specify the individual services by a guarded-design, which enables one to separate the responsibility of clients from the commitment made by the component, and model the behaviour of a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component and its environment. We adopt the notion of process refinement to formalise the substitutivity of components, and provide a complete proof method based on the notion of simulations. We also study the algebraic properties of component combinators.
17111860
Texture segmentation using directional empirical mode decomposition
In this paper the technique of directional empirical mode decomposition (DEMD) and its application to texture segmentation are presented. Empirical mode decomposition (EMD) decomposes signals by sifting and then analyzes the instantaneous frequency of the obtained components called intrinsic mode functions (IMF). As a new form of extending 1D EMD to the 2D case, DEMD considers the directional frequency and envelope at each point. One type of 2D Hilbert transform is introduced to compute the analytical functions for the frequency and envelope. The technique of selecting directions for DEMD based on texture's Wold theory is also presented. Experimental results indicate the effectiveness of the method for texture segmentation.
3758350
An Analytical Approach to the Performance Evaluation of Master-Slave Computational Models
Abstract Many stochastic models and analysis techniques have been proposed in the literature during the last two decades for the performance evaluation of parallel and distributed systems. However, few of them are directly applicable to practical systems which are generally too complex. In this paper, we analyze performances of the master–slave computational model, one of the most commonly used models in parallel and distributed computations. We propose a hybrid analytical approach by using techniques from the theories of both stochastic task graphs and queueing networks. We apply this method to the analysis of a computational chemistry application running on a Transputer based system. The proposed method turns out to be not only very efficient in time for large systems but also very accurate compared to measuring.
3730862
Distributed Resource Allocation in Stream Processing Systems
Distributed stream processing architecture has emerged as appealing solution to coping with the analysis of large amount of data from dispersed sources. A fundamental problem in such stream processing systems is how to best utilize the available resources so that the overall system performance is optimized. We consider a distributed stream processing system that consists of a network of cooperating servers, collectively providing processing services for multiple data streams. Each stream is required to complete a series of operations on various servers. We assume all servers have finite computing resources and all communication links have finite available bandwidth. The problem is to find distributed schemes to allocate the limited computing resources as well as the communication bandwidth in the system so as to achieve a maximum concurrent throughput for all output streams. We present a generalized multicommodity flow model for the above problem. We develop a distributed resource allocation algorithm that guarantees the optimality. We also provide detailed analysis on the complexity of the algorithm and demonstrate the performance using numerical experiments.
13004956
Consistency checking of UML requirements
This paper discusses how to check consistency of UML requirements model which consists of a use case model and a conceptual class model with system constraints. Based on a given semantics, the requirements consistency can be defined and checked formally. The consistency among use cases and constraints are classified into five types. A system operation of interaction between actor and system is formally defined as a pair of pre and post conditions. An atomic use case is described as one system operation, and a composed use case may be defined as several system operations described by an activity diagram. Thus, each use case can also be modelled as a pair of pre and post conditions by composing the pre and post conditions of system operations by introducing a sequence composition operation. Requirement consistency can be logically checked based on the semantics. A simple library system is used as a case study to illustrate the feasibility of the method.