When analysing computer programs (especially numerical programs in which arrays are used extensively), one is often confronted with integer programming problems. These problems have three peculiarities: ffl feasible points are ranked according to lexicographic order rather than the usual linear

with the problem of finding closed form schedules as affine or piecewise affine functions of the iteration vector. An efficient algorithm is presented which reduces the scheduling problem to a parametric linear program of small size, which can be readily solved by an efficient algorithm.

Abstract: This paper is concerned with the design, testing and performance evaluation of parametric array proposed to be used for sub-bottom applications. Some of the main parameters to be considered while designing parametric arrays are primary frequencies, secondary frequencies, transducer array

Abstract—The feasibility of estimating and imaging scat-terer size using backscattered ultrasound signals and spec-tral analysis techniques was demonstrated previously. In many cases, size estimation, although computationally in-tensive, has proven to be useful for monitoring, diagnosing

as a significant moderator of effects sizes in our meta-analysis of eating disorder prevention programs Nested Data Modeled Incorrectly Virtually all parametric inferential tests, such as repeated measures analysis of variance, growth curve, and survival models, used to test for intervention effects

Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by array linearization, cache access optimization and memory size computation. Their formalization in the polyhedral model

In this article, we investigate the performance behavior of a hierarchical storage architecture. Considering both the size of video files and the skewed file access patterns over the available files, it is not cost-effective to store all video files on secondary storage such as disk arrays, since

Although many programs use multi-dimensional arrays, the multi-dimensional view of data is often not directly visible in the internal representation used by LLVM. In many situa-tions, the only information available is an array base pointer and a single dimensional offset. For problems with paramet-ric

Abstract-This paper presents a parametrized design technique for cellular permutation arrays based on coset decompositions of symmetric groups. A new type of permutation cell, referred to as a coset generator, is introduced to customize the propagation delay, fan-in, fan-out, and number of edges

on these parameters it can be varied in a very wide range, from #/2# # 1 THz in arrays of microscopic quantum dots in semiconductor heterostructures [1], down to #/2# # 1 kHz in 2D electron systems on the surface of liquid helium [2]. The second important property of EMPs is their small damping in strong magnetic