Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Control-flow graph

Related publications (23)

A Verification Toolkit for Numerical Transition Systems

Viktor Kuncak, Hossein Hojjat

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 ...

2012

A Qos-Enabled On-Die Interconnect Fabric For Kilo-Node Chips

Boris Robert Grot

To meet rapidly growing performance demands and energy constraints, future chips will likely feature thousands of on-die resources. Existing network-on-chip solutions weren't designed for scalability and will be unable to meet future interconnect demands. ...

2012

Experimental Investigation of the Aeroelastic Stability of an Annular Compressor Cascade at Reverse Flow Conditions

Virginie Anne Chenaux

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 ...

EPFL2012