948 research outputs found
Array operators using multiple dispatch: a design methodology for array implementations in dynamic languages
Arrays are such a rich and fundamental data type that they tend to be built
into a language, either in the compiler or in a large low-level library.
Defining this functionality at the user level instead provides greater
flexibility for application domains not envisioned by the language designer.
Only a few languages, such as C++ and Haskell, provide the necessary power to
define -dimensional arrays, but these systems rely on compile-time
abstraction, sacrificing some flexibility. In contrast, dynamic languages make
it straightforward for the user to define any behavior they might want, but at
the possible expense of performance.
As part of the Julia language project, we have developed an approach that
yields a novel trade-off between flexibility and compile-time analysis. The
core abstraction we use is multiple dispatch. We have come to believe that
while multiple dispatch has not been especially popular in most kinds of
programming, technical computing is its killer application. By expressing key
functions such as array indexing using multi-method signatures, a surprising
range of behaviors can be obtained, in a way that is both relatively easy to
write and amenable to compiler analysis. The compact factoring of concerns
provided by these methods makes it easier for user-defined types to behave
consistently with types in the standard library.Comment: 6 pages, 2 figures, workshop paper for the ARRAY '14 workshop, June
11, 2014, Edinburgh, United Kingdo
BIT-WISE BASED MULTI-DIMENSIONAL ARRAY
A method for generating large .Net arrays which are bigger than 2GB (.Net size limitation) and are
performance oriented is disclosed. The method involves using multiple arrays and bitâwise operations
for array indexing in order to create a new form of a container which functions as array with 64 bit
indexer (as opposed to 32 bit indexing of .Net arrays), based on multiple dimensions
Geometry in Medical Imaging: DICOM and NIfTI formats
The spatial relation between the pixels in a medical image and their real-world
position is important for clinical image display, surgery planning, image fusion
and comparison of images acquired with diâerent pixel sizes, orientations, scan-
ners or time points.
The correct manipulation of this `geometry' or `spatial referencing' can be
challenging. This paper aims to provide a clear description of the link between
the data in the computer, array indexing and the 3D location where the image
data was acquired
A fast empirical method for galaxy shape measurements in weak lensing surveys
We describe a simple and fast method to correct ellipticity measurements of
galaxies from the distortion by the instrumental and atmospheric point spread
function (PSF), in view of weak lensing shear measurements. The method performs
a classification of galaxies and associated PSFs according to measured shape
parameters, and corrects the measured galaxy ellipticites by querying a large
lookup table (LUT), built by supervised learning. We have applied this new
method to the GREAT10 image analysis challenge, and present in this paper a
refined solution that obtains the competitive quality factor of Q = 104,
without any shear power spectrum denoising or training. Of particular interest
is the efficiency of the method, with a processing time below 3 ms per galaxy
on an ordinary CPU.Comment: 8 pages, 6 figures. Metric values updated according to the final
GREAT10 analysis software (Kitching et al. 2012, MNRAS 423, 3163-3208), no
qualitative changes. Associated code available at
http://lastro.epfl.ch/megalu
Brook Auto: High-Level Certification-Friendly Programming for GPU-powered Automotive Systems
Modern automotive systems require increased performance to implement Advanced Driving Assistance Systems (ADAS). GPU-powered platforms are promising candidates for such computational tasks, however current low-level programming models challenge the accelerator software certification process, while they limit the hardware selection to a fraction of the available platforms. In this paper we present Brook Auto, a high-level programming language for automotive GPU systems which removes these limitations. We describe the challenges and solutions we faced in its implementation, as well as a complete evaluation in terms of performance and productivity, which shows the effectiveness of our method.This work has been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence.Peer ReviewedPostprint (author's final draft
Recommended from our members
Integrity static analysis of COTS/SOUP
This paper describes the integrity static analysis approach developed to support the justification of commercial off-the-shelf software (COTS) used in a safety-related system. The static analysis was part of an overall software qualification programme, which also included the work reported in our paper presented at Safecomp 2002. Integrity static analysis focuses on unsafe language constructs and âcovertâ flows, where one thread can affect the data or control flow of another thread. The analysis addressed two main aspects: the internal integrity of the code (especially for the more critical functions), and the intra-component integrity, checking for covert channels. The analysis process was supported by an aggregation of tools, combined and engineered to support the checks done and to scale as necessary. Integrity static analysis is feasible for industrial scale software, did not require unreasonable resources and we provide data that illustrates its contribution to the software qualification programme
- âŠ