In this paper, we introduce a novel approach to guide tile size selection by employing analytical models to limit empirical search within a subspace of the full search space. Two analytical models are used together: 1) an existing conservative model, based on the data footprint of a tile, which ignores intra-tile cache block replacement, and 2) an aggressive new model that assumes optimal cache...

Tile logic extends rewriting logic by taking into account side-eeects and rewriting synchronization. These aspects are very important when we model process calculi, because they allow us to express the dynamic interaction between processes and \the rest of the world". Since rewriting logic is the semantic basis of several language implementation eeorts, an executable speciication of tile system...

Installing subsurface tile drain systems in poorly drained claypan soils to improve corn ( L.) yields could potentially increase environmental phosphorus (P) loss through the tile drainage system. The objectives of the study were to quantify the average concentration and loss of ortho-P in tile drain water from a claypan soil and to determine whether managed subsurface drainage (MD) could reduc...

An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). We present a new construction of an aperiodic tile set that is based on Kleene’s fixed-point construction instead of geometric arguments. This constr...

Actinomvcosis is now so widely known as a patilological entity that the presentation of another series of cases should be justified by at least some unusual feature of the syndrome or a contribution to tile treatment of this difficult disease. The fact that over 80 per cent of cases in humans occur in tile gastro-intestinal or respiratory system (Boyd 1943) is strong evidence in favour of infec...

Discrete tomography deals with reconstructing finite spatial objects from their projections. The objects we study in this paper are called tilings or tile-packings, and they consist of a number of disjoint copies of a fixed tile, where a tile is defined as a connected set of grid points. A row projection specifies how many grid points are covered by tiles in a given row; column projections are ...

The work presented in this paper shows the way to generate colored paper mosaics using computer graphics techniques. Following two tasks need to be done to generate colored paper mosaic. The first one is to generate colored paper tile and the other one is to arrange the tile. Voronoi Diagram and Random Point Displacement have been used in this paper to come up with the shape of the tile. And, e...

We present the tile style, an architectural style that allows the creation of distributed software systems for solving NP-complete problems on large public networks. The tile style preserves the privacy of the algorithm and data, tolerates faulty and malicious nodes, and scales well to leverage the size of the public network to accelerate the computation. We exploit the known property of NP-com...

Instances <> Role Name Abstract State Strucuture Abstract Behavioral Semantics Abstract Interfaces <> Type Name Refined Abstract State Strucuture Refined Abstract Behavioral Semantics + Operation Interfaces Refined Abstract Interfaces <> Class Name Concrete State Strucuture Concrete Behavioral Semantics (Method Implementation) Instances <> <> The first la...