Concept

Virgule flottante

Publications associées (243)

On Sound Compilation of Reals

Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and sp ...

2013

Block-Floating-Point Enhanced MMSE Filter Matrix Computation for MIMO-OFDM Communication Systems

Andreas Peter Burg, Carl Christian Sten Dominic Senning

n this paper we present an architecture for an MMSE ﬁlter matrix computation unit for signal detection in MIMO-OFDM communication systems. We propose to compute the required matrix inverse based on a Cholesky decomposition, followed by a Gauss-Jordan matri ...

2013

Cracking The Complexity Of Fixed-Point Refinement In Complex Wireless Systems

Paolo Ienne, David Novo Bruna

Fixed-point arithmetic leads to efficient implementations. However, the optimization process required to size each of the implementation signals can be prohibitively complex. In this paper, we introduce a new divide-and-conquer method that is able to appro ...

Ieee2013

Fast Directional Spatially Localized Spherical Harmonic Transform

Yves Wiaux, Jason Douglas McEwen

We propose a transform for signals defined on the sphere that reveals their localized directional content in the spatio-spectral domain when used in conjunction with an asymmetric window function. We call this transform the directional spatially localized ...

Institute of Electrical and Electronics Engineers2013

Multi-dimensional hybrid Fourier continuation-WENO solvers for conservation laws

Jan Sickmann Hesthaven

We introduce a multi-dimensional point-wise multi-domain hybrid Fourier-Continuation/WENO technique (FC-WENO) that enables high-order and non-oscillatory solution of systems of nonlinear conservation laws, and essentially dispersionless, spectral, solution ...

Elsevier2013

Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations

Martin Odersky, Vlad Ureche, Cristian Talau

Parametric polymorphism enables code reuse and type safety. Underneath the uniform interface exposed to programmers, however, its low level implementation has to cope with inherently non-uniform data: value types of different sizes and semantics (bytes, in ...

2013

Shadows of the South. Venetian fragments from Ragnar Östberg’s travelogue

Chiara Monterumisi

After centuries of popularity, late 19th century educational travel began to change and lose something of the 18th century aristocratic Grand Tour. The South remained the focus of interest, the cradle of that culture from which Europe’s own had grown. Swed ...

2013

Near- and Sub-Threshold Design for Ultra-Low-Power Embedded Systems

Andreas Peter Burg

Ultra-low-power (ULP) software-programmable architectures are gradually replacing  dedicated VLSI circuits in many applications, including health care and other critical areas. However, the cost for more flexibility is the less frugal use of energy. This c ...

2013

An alternate point-wise scheme for Electric Field Integral Equations

Juan Ramon Mosig, Gabriele Rosati

A point-wise approach that can be used efficiently in the numerical solution of Electric Field Integral Equations is introduced. The algorithm is based on the so-called magic distance concept, which defines exactly the point-to-point equivalent of a four-d ...

Wiley-Blackwell2013

Sparse Iterative Closest Point

Mark Pauly, Sofien Bouaziz, Andrea Tagliasacchi

Rigid registration of two geometric data sets is essential in many applications, including robot navigation, surface reconstruction, and shape matching. Most commonly, variants of the Iterative Closest Point (ICP) algorithm are employed for this task. Thes ...

Wiley-Blackwell2013

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search