Publications related to Source-available software

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

Source-available software

Graph Chatbot

Chat with Graph Search

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

OGRS2012 Symposium Proceedings

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

Testing Closed-Source Binary Device Drivers with DDT

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

On Distributed Successive Refinement with Lossless Recovery

Code Sharing Is Associated with Research Impact in Image Processing

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