Publications associées à Source-available software

On Distributed Successive Refinement with Lossless Recovery

Michael Christoph Gastpar, Chien-Yi Wang

The problem of successive refinement in distributed source coding and in joint source-channel coding is considered. The emphasis is placed on the case where the sources have to be recovered losslessly in the second stage. In distributed source coding, it i ...

2014

Spectral characterization of fully phase-matched high harmonics generated in a hollow waveguide for free-electron laser seeding

Christoph Peter Hauri, Fernando Ardana Lamas

We present a bright and coherent soft x-ray source based on high harmonic generation delivering up to 10(10) photons per second centered at 120 eV within an 80 eV bandwidth. The source profits from fully phase-matched harmonic generation in an unmodulated ...

Institute of Physics (IoP) and Deutsche Physikalische Gesellschaft2013

On Source Coding for Distributed Temperature Sensing with Shift-Invariant Geometries

Robert Konsbruck

We study the source coding problem in sensor networks deployed to monitor the evolution of spatio-temporal temperature distributions. The sensors sample the temperature field, quantize the samples and transmit the encoded samples through digital channels t ...

Institute of Electrical and Electronics Engineers2011

Polarization and randomness extraction

Emmanuel Abbé

This paper explores a connection between randomness extraction and channel (source) coding problems. It is explained how efficient extractors can be used to define efficient coding schemes and reciprocally, a new deterministic extractor based on a polar co ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Static Analysis of x86 Executables

Johannes Kinder

This dissertation is concerned with static analysis of binary executables in a theoretically well-founded, sound, yet practical way. The major challenge is the reconstruction of a correct control flow graph in presence of indirect jumps, pointer arithmetic ...

Technische Universität Darmstadt2010

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees

George Candea, Horatiu Jula, Silviu Andrica

Formally proving complex program properties is still considered impractical for systems with over a million lines of code (MLOC). We present iProve, an approach that enables the generation and verification of proofs for interesting program properties in la ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Sound Speed Estimation Using Wave-based Ultrasound Tomography: Theory and GPU Implementation

Martin Vetterli, Olivier Roy, Ali Hormati, Ivana Jovanovic, Reza Parhizkar

We present preliminary results obtained using a time domain wave-based reconstruction algorithm for an ultrasound transmission tomography scanner with a circular geometry. While a comprehensive description of this type of algorithm has already been given e ...

Spie-Int Soc Optical Engineering, Po Box 10, Bellingham, Wa 98227-0010 Usa2010

Testing Closed-Source Binary Device Drivers with DDT

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

DDT is a system for testing closed-source binary device drivers against undesired behaviors, like race conditions, memory errors, resource leaks, etc. One can metaphorically think of it as a pesticide against device driver bugs. DDT combines virtualization ...

2010

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.

Source-available software

On Distributed Successive Refinement with Lossless Recovery

Spectral characterization of fully phase-matched high harmonics generated in a hollow waveguide for free-electron laser seeding

Code Sharing Is Associated with Research Impact in Image Processing

OGRS2012 Symposium Proceedings

On Source Coding for Distributed Temperature Sensing with Shift-Invariant Geometries

Polarization and randomness extraction

Static Analysis of x86 Executables

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees

Sound Speed Estimation Using Wave-based Ultrasound Tomography: Theory and GPU Implementation

Testing Closed-Source Binary Device Drivers with DDT

Graph Chatbot

Chattez avec Graph Search

Testing Closed-Source Binary Device Drivers with DDT

On Distributed Successive Refinement with Lossless Recovery

Code Sharing Is Associated with Research Impact in Image Processing

OGRS2012 Symposium Proceedings

Spectral characterization of fully phase-matched high harmonics generated in a hollow waveguide for free-electron laser seeding

Polarization and randomness extraction

On Source Coding for Distributed Temperature Sensing with Shift-Invariant Geometries

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees

Static Analysis of x86 Executables

Sound Speed Estimation Using Wave-based Ultrasound Tomography: Theory and GPU Implementation