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.
Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...
Two-phase flow boiling of R245fa, R236fa, and R1234ze(E) in 100 × 100 μm2 parallel microchannels for cooling of future 3D-ICs has been investigated. Significant flow instabilities, back flow, and non-uniform flow distribution among the channels were observ ...
While the advancement of computing hardware now enables accurate predictions of flutter and forced response at normal flow conditions during the compressor design phase, aeroelastic computations at off-design or reverse flow conditions remain a challenging ...
This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...
Compressor surge events are unsafe operating regimes yielding highly unsteady flow fields in which complex aeroelastic phenomena occur. If the blade flutter and forced response behaviour (i.e. aeroelastic stability) can be predicted reliably for normal flo ...
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 ...
Due to indirect branch instructions, analyses on executables commonly suffer from the problem that a complete control flow graph of the program is not available. Data flow analysis has been proposed before to statically determine branch targets in many cas ...
Despite the rapid evolution of computational power, simulation of meander dynamics by means of reduced and computationally less expensive models remains practically relevant for investigation of large-scale and long-term processes, probabilistic prediction ...
This chapter presents a new development of rapid prototyping tools for system design based on data-flow specifications. In this context, the efficiency of tools for the automatic translation from the data-flow programs to C and/or HDL are assessed by means ...
Coarse-grained reconfigurable arrays (CGRAs) are a promising class of architectures conjugating flexibility and efficiency. Devising effective methodologies to map applications onto CGRAs is a challenging task, due to their parallel execution paradigm and ...
Institute of Electrical and Electronics Engineers2012
