This paper describes memory access optimization in the context of pipeline vectorization, a method for synthesizing hardware pipelines in recon gurable systems from software program loops. Since many algorithms for recon gurable coprocessors are I/O bound, the throughput of the coprocessor is determined by the external memory accesses. Thus access optimizations directly improve the system's per...

Introduction
 Headache Medicine is the official scientific journal of Brazilian Society that has been publishing clinical and experimental, qualitative, quantitative research on headaches orofacial pain for 28 years, as well aspects related to may have implications headaches. In constant updating, demonstrates commitment ethics following international criteria publication in medical field....

The calculation of RTS amounts to measuring a relationship between inputs and outputs in a production structure. There are many methods to measure RTS in the primal space or the dual space. One of the main approaches is using the multiplier on the convexity constraint. But returns to scale measurements in DEA models are affected by the presence of regulatory constraints. These additional constr...

Dowser is a ‘guided’ fuzzer that combines taint tracking, program analysis and symbolic execution to find buffer overflow and underflow vulnerabilities buried deep in a program’s logic. The key idea is that analysis of a program lets us pinpoint the right areas in the program code to probe and the appropriate inputs to do so. Intuitively, for typical buffer overflows, we need consider only the ...

We characterize the number of remote accesses and the number of distinct remote sites accessed by global transactions in a distributed database environment. Both measures are important in determining the overhead of distributed transaction processing and are affected by the distribution of transaction size (number of distinct objects accessed by a transaction) and the distribution of remote acc...

We report on the process for formal concurrency modelling at Arm. An initial consistency model of Arm achitecture, written in cat language, was published and upstreamed to herd+diy tool suite 2017. Since then, we have extended original with extra features, example, mixed-size accesses, produced two provably equivalent alternative formulations. In this article, present a comprehensive review wor...

Let a tuple of n objects obeying a query graph (QG) be called the n-tuple. The “Ddistance-value” of this n-tuple is the value of a linear function of distances of the n objects that make up this n-tuple, according to the edges of the QG. This paper addresses the problem of finding the K n-tuples between n spatial datasets that have the smallest Ddistancevalues, the so-called K-Multi-Way Distanc...