1594579
GPSS Simulation Study of Quality Inspection System
4178545
Data placement and query processing based on RPE parallelisms
The basic idea behind parallel database systems is to perform operations in parallel to reduce the response time and improve the system throughput. Data placement is a key factor on the performance of parallel database systems. This paper proposes two data partition strategies to decluster XML documents with very large size, path schema based path instance balancing (PSPIB) strategy, in which all path instances with the same path schema in a data tree are declustered evenly over all sites, and node schema based node round-robin (NSNRR) strategy, in which all node objects with the same node schema in a data tree are declustered over all sites in a round-robin way. Accordingly, two query processing algorithms are proposed based on the two partition methods, parallel path merge (PPM) algorithm and parallel pipelining path join (PPPJ) algorithm. The performance analysis and evaluation on the two data placement strategies and corresponding query processing algorithms are given in this paper.
9960122
Dynamic Zone-Balancing of Topology-Aware Peer-to-Peer Networks
Building a topology-aware peer-to-peer overlay network can bring many advantages, such as providing locality-aware connectivity and reducing routing path length. While its benefits on performance have been recognized, an uneven overlay zone distribution has emerged. Recent work has shown that topology-aware neighbor selection during construction can aggravate the unbalance of zone distribution while it reduces routing path length. The imbalance in zone sizes may lead to performance decrease and an unfair load distribution. 
 
In this paper, we present an even topology-aware peer-to-peer network based on De Bruijn Graph by developing a dynamic zone-balancing approach.
18105952
Adapting Prime Number Labeling Scheme for Directed Acyclic Graphs
Directed Acyclic Graph(DAG) could be used for modeling subsumption hierarchies. Several labeling schemes have been proposed or tailored for indexing DAG in order to efficiently explore relationships in such hierarchy. However few of them can satisfy all the requirements in response time, space, and effect of updates simultaneously. In this paper, the prime number labeling scheme is extended for DAG. The scheme invests intrinsic mapping between integer divisibility and subsumption hierarchy, which simplifies the transitive closure computations and diminishes storage redundancy, as well as inherits the dynamic labeling ability from original scheme. Performance is further improved by introducing some optimization techniques. Our extensive experimental results show that prime number labeling scheme for DAG outperforms interval-based and prefix-based labeling schemes in most cases.
2388375
Congestion control via online sampling
We consider the congestion control problem in a communication network with multiple traffic sources, each modeled as a fully-controllable stream of fluid traffic. The controlled traffic shares a common bottleneck node with high-priority cross traffic described by a Markov-modulated fluid (MMF). Each controlled source is assumed to have a unique round-trip delay. We wish to maximize a linear combination of the throughput, delay, traffic loss rate, and a fairness metric at the bottleneck node. We introduce an online sampling-based burst-level congestion control scheme capable of performing effectively under rapidly-varying cross traffic by making explicit use of the provided MMF model of that variation. The control problem is posed as a finite-horizon Markov decision process and is solved heuristically using a technique called hindsight optimization. We provide a detailed derivation of our congestion control algorithm based on this technique. The distinguishing feature of our scheme relative to conventional congestion control schemes is that we exploit a stochastic model of the cross traffic. Our empirical study shows that our control scheme significantly outperforms the conventional proportional-derivative (PD) controller, achieving higher utilization, lower delay, and lower loss under reasonable fairness. The performance advantage of our scheme over the PD scheme grows as the rate variance of cross traffic increases, underscoring the effectiveness of our control scheme under variable cross traffic.
1677219
Application of Smodels in Quartet Based Phylogeny Construction
Evolution is an important sub-area of study in biological science, where given a set of taxa, the goal is to reconstruct their evolutionary history, or phylogeny. One very recent approach is to predict a local phylogeny for every subset of 4 taxa, called a quartet topology, and then to assemble a phylogeny for the whole set of taxa satisfying these predicted quartet topologies. In general, the predicted quartet topologies might not always agree with each other, and thus the objective function becomes to satisfy a maximum number of them. This is the well known Maximum Quartet Consistency (MQC) problem. In the past, the MQC problem has been solved by dynamic programming and the so-called fixed-parameter method. Recently, we have proposed to solve the MQC in answer set programming. In this note, we summarize the theoretical results of this approach and report new experimental results for the purpose of comparison, which show that our approach in answer set programming is favored over the existing approaches based on dynamic programming and fixed-parameter method. In particular, some of the hard instances (where the error ratio is high) that were not reported to be solved in other approaches can now be solved in our approach.
29806002
Prefix-Free Languages and Initial Segments of Computably Enumerable Degrees
We study prefix-free presentations of computably enumerable reals. In [2], Calude et. al. proved that a real α is c.e. if and only if there is an infinite, computably enumerable prefix-free set V such that α = Σσ∈V 2-|σ|. Following Downey and LaForte [5], we call V a prefixfree presentation of α. Each computably enumerable real has a computable presentation. Say that a c.e. real α is simple if each presentation of α is computable. Downey and LaForte [5] proved that simple reals locate on every jump class. In this paper, we prove that there is a noncomputable c.e. degree bounding no noncomputable simple reals. Thus, simple reals are not dense in the structure of computably enumerable degrees.
9720635
Regular reals
Say that α is an n-strongly c. e. (n-strongly computably enumerable) real if α is a sum of n many strongly c. e. reals, and that α is regular if α is n-strongly c. e. for some n. Let S be the set of all n-strongly c. e. reals, Reg be the set of regular reals and CE be the set of c. e. reals. Then we have: S ⊂ S ⊂ · · · ⊂ S ⊂ · · · ⊂ ⊂ Reg ⊂ CE. This gives a hierarchy of the c. e. reals. We also study the regularity of the d. c. e. reals.
7723209
1-Generic splittings of computably enumerable degrees
Say a set G⊆ω is 1-generic if for any e∈ω, there is a string σ⊂G such that {e}σ(e)↓ or ∀τ⊇σ({e}τ(e)↑). It is known that 0′ can be split into two 1-generic degrees. In this paper, we generalize this and prove that any nonzero computably enumerable degree can be split into two 1-generic degrees. As a corollary, no two computably enumerable degrees bound the same class of 1-generic degrees.
26204913
Nonisolated degrees and the jump operator
Abstract Say that a d.c.e. degree d is nonisolated if for any c.e. degree a d , there is another c.e. degree c such that a c d . In this paper, we investigate the relationship between the nonisolated degrees and the jump operator. We prove that there is a high nonisolated d.c.e. degree such that all c.e. degrees below it are bounded by a low d.c.e. degree.
1961392
Degrees of Weakly Computable Reals
This paper studies the degrees of weakly computable reals. It is shown that certain types of limit-recursive reals are Turing incomparable to all weakly computable reals except the recursive and complete ones. Furthermore, it is shown that an r.e. Turing degree is array-recursive iff every real in it is weakly computable.