Publications related to Bit array

On algebraic array theories

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

Elsevier Science Inc2023

Bit-Line Computing for CNN Accelerators Co-Design in Edge AI Inference

David Atienza Alonso, Giovanni Ansaloni, Alexandre Sébastien Julien Levisse, Marco Antonio Rios, Flavio Ponzina

By supporting the access of multiple memory words at the same time, Bit-line Computing (BC) architectures allow the parallel execution of bit-wise operations in-memory. At the array periphery, arithmetic operations are then derived with little additional o ...

2023

Overflow-free compute memories for edge AI acceleration

David Atienza Alonso, Giovanni Ansaloni, Alexandre Sébastien Julien Levisse, Marco Antonio Rios, Flavio Ponzina

Compute memories are memory arrays augmented with dedicated logic to support arithmetic. They support the efficient execution of data-centric computing patterns, such as those characterizing Artificial Intelligence (AI) algorithms. These architectures can ...

2023

Oracular Byzantine Reliable Broadcast

Rachid Guerraoui, Martina Camaioni, Matteo Monti, Manuel José Ribeiro Vidigueira

Byzantine Reliable Broadcast (BRB) is a fundamental distributed computing primitive, with applications ranging from notifications to asynchronous payment systems. Motivated by practical consideration, we study Client-Server Byzantine Reliable Broadcast (CS ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2022

JET ILA full array and polychromatic operation

Paulo Giovane Paschoali Pereira Puglia

The JET ILA is an Ion Cyclotron Resonance Heating (ICRH) antenna composed of four resonant double loops (RDLs) arranged in a 2 toroidal by 2 poloidal compact array. It has been operated in a range of frequencies from 29 to 51 MHz, but mostly on half array. ...

2021

Full key recovery side-channel attack against ephemeral SIKE on the Cortex-M4

Aymeric Genet, Natacha Yolande Emmanuel Marie Linard de Guertechin, Novak Kaluderovic

This paper describes the first practical single-trace side-channel power analysis of SIKE. While SIKE is a post-quantum key exchange, the scheme still relies on a secret elliptic curve scalar multiplication which involves a loop of a double-and-add procedu ...

2021

Origin of enhancement in Raman scattering from Ag-dressed carbon-nanotube antennas: experiment and modelling

Olivier Martin

The D- and G-band Raman signals from random arrays of vertically aligned, multi-walled carbon nanotubes are significantly enhanced (up to ∼14×) while the signal from the underlying Si substrate is simultaneously attenuated (up to ∼6×) when the nanotubes ar ...

2018

Turbulent Flows within Random Arrays of Rigid and Emergent Cylinders with Varying Distribution

Mário Jorge Rodrigues Pereira Da Franca, Ana Margarida Da Costa Ricardo

The spatial distribution of emergent vegetation in rivers is frequently nonuniform. Here, spatial nonuniformity is simulated in the laboratory by varying longitudinally the stem areal number density (m). Time- and space-averaged flow variables, correspondi ...

Asce-Amer Soc Civil Engineers2016

Optical Design of Multisource High-Flux Solar Simulators

Sophia Haussener

We present a systematic approach to the design of a set of high-flux solar simulators (HFSSs) for solar thermal, thermochemical, and materials research. The generic simulator concept consists of an array of identical radiation modules arranged in concentri ...

American Society of Mechanical Engineers2015

The terms of turbulent kinetic energy budget within random arrays of emergent cylinders

Anton Schleiss, Mário Jorge Rodrigues Pereira Da Franca, Ana Margarida Da Costa Ricardo

This article is aimed at quantifying and discussing the relative magnitude of key terms of the equation of conservation of turbulent kinetic energy (TKE) in the inter-stem space of a flow within arrays of vertical cylinders simulating plant stems of emerge ...

American Geophysical Union2014

Large Arrays Of Inkjet-Printed Mems Microbridges On Foil

Nico de Rooij, Danick Briand, Francisco Molina Lopez

This works describes the fabrication process of an array of printed MEMS microbridges on polymeric foil, performed in only four easy steps. Each functional material was deposited exclusively by inkjet-printing technique, compatible with large-area fabricat ...

IEEE2014

Turbulent flow within a random array of rigid, emergent stems : Laboratory characterization of the drag coefficient

Anton Schleiss, Mário Jorge Rodrigues Pereira Da Franca, Ana Margarida Da Costa Ricardo

Within the bioengineering framework, designing a non-erodible channel is a complex fluid dynamics problem as it involves knowing the drag exerted on the boundary, the drag exerted on the plant stems and the overall friction slope. Most of the existing desi ...

TPU2013

Optimal polarization synthesis of arbitrary arrays with focused power pattern

Benjamin Fuchs

The joint synthesis of the spatial power pattern and polarization of arbitrary arrays is addressed. Specifically, the proposed approach gives the solution to a frequently encountered problem, namely the array design (i.e., the determination of the radiatin ...

Institute of Electrical and Electronics Engineers2011

Combined Antenna and Localized Plasmon Resonance in Raman Scattering from Random Arrays of Silver-Coated, Vertically Aligned Multiwalled Carbon Nanotubes

Olivier Martin, Andreas Kern

The electric field enhancement associated with detailed structure within novel optical antenna nanostructures is modeled using the surface integral equation technique in the context of surface-enhanced Raman scattering (SERS). The antennae comprise random ...

American Chemical Society (ACS)2011

Architecture of a Real-Time Platform Independant GPS L1 Software Receiver

Personal digital assistants or mobile phones applications are not anymore restricted to multimedia or wireless communications, but have been extended to handle Global Positioning System (GPS) functionalities. Consequently, the growing market of GPS capable ...

EPFL2010

Another Glance at Double-Length Hashing

Martijn Stam, Onur Özen

We propose a novel framework for blockcipher-based double-length hash functions by extending the recent generalization presented by Stam at FSE '09 for single-call hash functions. We focus on compression functions compressing 3n bits to 2n bits that use on ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009

Type-based event dissemination

Sébastien Bähni

With the explosion of broadband Internet connections in the late 80s, new types of applications, called distributed applications, came to light. These applications typically seek to provide a user with remote services that appear to that user as if they we ...

EPFL2006

Laser perfusion imaging system for acquiring flow-related images of object for medical diagnosis comprises coherent light source and image sensor(s) made by randomly addressed two-dimensional array of integrating photodetectors

Theo Lasser

An instrument for high-speed laser perfusion imaging comprises a laser source, a detector, a signal-processing unit, data memory, and a screen to display the results. A section of the sample surface is illuminated with laser light; the reemitted light from ...

2006

Fabrication of large-area ordered arrays of nanoparticles on patterned substrates

Heinrich Hofmann, Paul Bowen, Frédéric Juillerat

Many potential applications in nanotechnology require virtually defect-free arrays of nanometre-scale particles over large areas. Guided self-assembly of colloidal particles on patterned templates has been shown to produce ordered arrays of colloidal parti ...

2005