13254850
Profile guided management of code partitions for embedded systems
Researchers have proposed to divide embedded applications into code partitions and to download partitions on demand from a wireless code server to enable a diverse set of applications for very tightly constrained embedded systems. This paper describes a new approach for managing the request and storage of code partitions and we explore the benefits of our scheme.
815725
Virtual Execution Environments: Support and Tools
In today's dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current trends in software development favor the flexibility and cost-effectiveness of dynamically loaded components and libraries. Because of these trends, there has been increased research interest in virtual execution environments (VEEs) for delivering adaptable software suitable for today's rapidly changing, heterogeneous computing environments. In this project, we have been investigating tools and techniques to support implementation of VEEs using software dynamic translation (SDT). This paper highlights some of our recent results. One significant result is that we have developed novel translation techniques that reduce the memory and runtime overhead of SDT to negligible levels. We have also developed innovative debugging and instrumentation tools for SDT-based software environments. Together, these results make SDT-based systems viable for solving a wide range of pressing problems. The paper concludes with a discussion of how SDT may offer a solution to one such problem-inherent process variation in emerging chip multiprocessors.
728
Analyzing and modelling the AS-level Internet topology
Recently we introduced the rich-club phenomenon as a quantitative metric to characterize the tier structure of the Autonomous Systems level Internet topology (AS graph) and we proposed the Interactive Growth (IG) model, which closely matches the degree distribution and hierarchical structure of the AS graph and compares favourble with other available Internet power-law topology generators. Our research was based on the widely used BGP AS graph obtained from the Oregon BGP routing tables. Researchers argue that Traceroute AS graph, extracted from the traceroute data collected by the CAIDA's active probing tool, Skitter, is more complete and reliable. To be prudent, in this paper we analyze and compare topological structures of Traceroute AS graph and BGP AS graph. Also we compare with two synthetic Internet topologies generated by the IG model and the well-known Barabasi-Albert (BA) model. Result shows that both AS graphs show the rich-club phenomenon and have similar tier structures, which are closely matched by the IG model, however the BA model does not show the rich-club phenomenon at all.
379157
From sample similarity to ensemble similarity: probabilistic distance measures in reproducing kernel Hilbert space
This paper addresses the problem of characterizing ensemble similarity from sample similarity in a principled manner. Using a reproducing kernel as a characterization of sample similarity, we suggest a probabilistic distance measure in the reproducing kernel Hilbert space (RKHS) as the ensemble similarity. Assuming normality in the RKHS, we derive analytic expressions for probabilistic distance measures that are commonly used in many applications, such as Chernoff distance (or the Bhattacharyya distance as its special case), Kullback-Leibler divergence, etc. Since the reproducing kernel implicitly embeds a nonlinear mapping, our approach presents a new way to study these distances whose feasibility and efficiency is demonstrated using experiments with synthetic and real examples. Further, we extend the ensemble similarity to the reproducing kernel for ensemble and study the ensemble similarity for more general data representations.
41942332
Exemplar-Based Face Recognition from Video
A new exemplar-based probabilistic approach for face recognition in video sequences is presented. The approach has two stages: First, Exemplars, which are selected representatives from the raw video, are automatically extracted from gallery videos. The exemplars are used to summarize the gallery video information. In the second part, exemplars are then used as centers for probabilistic mixture distributions for the tracking and recognition process. A particle method is used to compute the posteriori probabilities. Probabilistic methods are attractive in this context as they allow a systematic handling of uncertainty and an elegant way for fusing temporal information.Contrary to some previous video-based approaches, our approach is not limited to a certain image representation. It rather enhances known ones, such as the PCA, with temporal fusion and uncertainty handling. Experiments demonstrate the effectiveness of each of the two stages. We tested this approach on more than 100 training and testing sequences, with 25 different individuals.
12615212
Finite locally-quasiprimitive graphs
A finite graph is said to be locally-quasiprimitive relative to a subgroup G of automorphisms if, for all vertices α, the stabiliser in G of α is quasiprimitive on the set of vertices adjacent to α. (A permutation group is said to be quasiprimitive if all of its non-trivial normal subgroups are transitive.) The graph theoretic condition of local quasiprimitivity is strictly weaker than the conditions of local primitivity and 2-arc transitivity which have been studied previously. It is shown that the family of locally-quasiprimitive graphs is closed under the formation of a certain kind of quotient graph, called a normal quotient, induced by a normal subgroup. Moreover, a locally-quasiprimitive graph is proved to be a multicover of each of its normal quotients. Thus finite locally-quasiprimitive graphs which are minimal in the sense that they have no non-trivial proper normal quotients form an important sub-family, since each finite locally-quasiprimitive graph has at least one such graph as a normal quotient. These minimal graphs in the family are called "basic" locally-quasiprimitive graphs, and their structure is analysed. The process of constructing locally-quasiprimitive graphs with a given locally-quasiprimitive graph Σ as a normal quotient is then considered. It turns out that this can be viewed as a problem of constructing covering graphs of certain multigraphs associated with Σ. Further, it is shown that, under certain conditions, a locally-quasiprimitive graph can be reconstructed from knowledge of two of its normal quotients. Finally a series of open problems is presented.
6042519
Imprimitive symmetric graphs, 3-arc graphs and 1-designs
Let Γ be a G-symmetric graph admitting a nontrivial G-invariant partition B. For B ∈ B, let D(B)=(B,ΓB(B),I) be the 1-design in which αIC for α ∈ B and C ∈ ΓR(B) if and only if α is adjacent to at least one vertex of C, where ΓB(B) is the neighbourhood of B in the quotient graph ΓB of Γ relative to B. In a natural way the setwise stabilizer GB of B in G induces a group of automorphisms of D(B). In this paper, we study those graphs Γ such that the actions of GB on B and ΓB(B) are permutationally equivalent, that is, there exists a bijection ρ :B → ΓB(B) such that ρ(αx) = (ρ(α))x for α ∈ B and x ∈ GB. In this case the vertices of Γ can be labelled naturally by the arcs of B. By using this labelling technique we analyse ΓB, D(B) and the bipartite subgraph Γ[B, C] induced by adjacent blocks B, C of B, and study the influence of them on the structure of Γ. We prove that the class of such graphs Γ is precisely the class of those graphs obtained from G-symmetric graphs Σ and self-paired G-orbits on 3-arcs of Σ by a construction introduced in a recent paper of Li, Praeger and the author, and that Γ can be reconstructed from ΓB via this construction.