Topological order

In this paper, we propose a new method to optimize the occupied memory of embedded software in the design phase based on DSL, T4 and Topological sort. A program is specified as a chain of tasks and the relationship between the tasks. The program is expressed by the dependence graph as a directed graph.

11p binhminhmuatrenngondoithonggio 09-06-2017 40 4   Download

The following will be discussed in this chapter: Basic definitions and applications, graph connectivity and graph traversal, testing bipartiteness, connectivity in directed graphs, DAGs and topological ordering.

51p youcanletgo_03 14-01-2016 56 2   Download

The divalent metal transporter (DMT1) is a 12-transmem-brane domain protein responsible for dietary iron uptake in the duodenum and iron acquisition from transferrin in peripheral tissues. The transmembrane domain 4 (TM4) of DMT1 has been shown to be crucial for its biological function. Here we report the 3D structure and topology of the DMT1-TM4 peptide by NMR spectroscopy with simulated annealing calculations in membrane-mimetic environments, e.g. 2,2,2-trifluoroethanol and SDS micelles.

14p dell39 03-04-2013 35 3   Download

Given a compact four dimensional manifold, we prove existence of conformal metrics with constant Q-curvature under generic assumptions. The problem amounts to solving a fourth-order nonlinear elliptic equation with variational structure. Since the corresponding Euler functional is in general unbounded from above and from below, we employ topological methods and min-max schemes, jointly with the compactness result of [35]. 1.

48p dontetvui 17-01-2013 59 7   Download

Characteristic cohomology classes, defined in modulo 2 coefficients by Stiefel [26] and Whitney [28] and with integral coefficients by Pontrjagin [24], make up the primary source of first-order invariants of smooth manifolds. When their utility was first recognized, it became an obvious goal to study the ways in which they admitted extensions to other categories, such as the categories of topological or PL manifolds; perhaps a clean description of characteristic classes for simplicial complexes could even give useful computational techniques.

25p tuanloccuoi 04-01-2013 60 6   Download

We show that unital simple C ∗ -algebras with tracial topological rank zero which are locally approximated by subhomogeneous C ∗ -algebras can be classified by their ordered K-theory. We apply this classification result to show that certain simple crossed products are isomorphic if they have the same ordered K-theory. In particular, irrational higher dimensional noncommutative tori of the form C(Tk ) ×θ Z are in fact inductive limits of circle algebras. Introduction In recent years there has been rapid progress in classification of nuclear simple C ...

25p tuanloccuoi 04-01-2013 78 9   Download