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.
We present an approach for finding errors in programs and specifications. We formulate our approach as an execution mechanism for a non-deterministic guarded-command language. Guarded commands have already proved useful for verification-condition generatio ...
We argue that the traditional notion of trust as a relation among entities, while useful, becomes insu±cient in ephemeral ad hoc networks. In this paper, we address the challenge of extending the traditional notion of trust to data-centric trust, that is, ...
New multimedia embedded applications are increasingly dynamic, and rely on Dynamically-allocated Data Types (DDTs) to store their data. The optimization of DDTs for each target embedded system is a time-consuming process due to the large design space of po ...
The present invention concerns a receiver and a method for retrieving data from Ultra wideband radio transmission signals received by a receiver and transmitted in packets containing at least a preamble known to the receiver and a payload containing data u ...
Aerucyclamides C and D were isolated from the cyanobacterium Microcystis aeruginosa PCC 7806, and their structures established by NMR spectroscopy and chemical transformation and degradation. Acidic hydrolysis of aerucyclamide C (CF3CO2H, H2O) resulted in ...
A novel design-for-test (DFT) method that requires minor modifications to the controller in the register-transfer level (RTL) description of a circuit is presented. The control/data flow graph representation of an RTL circuit is used for analysing the test ...
Many software model checkers are based on predicate abstraction. Values of variables in branching conditions are represented abstractly using predicates. The strength of this approach is its path-sensitive nature. However, if the control flow depends heavi ...
We propose several methods for speeding up the processing of particle physics data on clusters of PCs. We present a new way of indexing and retrieving data in a high dimensional space by making use of two levels of catalogues enabling an efficient data pre ...
The present invention concerns a receiver and a method for retrieving data from Ultra wideband radio transmission signals received by a receiver and transmitted in packets containing at least a preamble known to the receiver and a payload containing data u ...
A broadcasting system for communicating data to multiple receivers using information additive code includes one or more information additive code transmitters and one or more information additive code receivers. Each of the information additive code transm ...