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

Concept

Programmation structurée

Publications associées (23)

Programming with Specifications

Philippe Paul Henri Suter

This thesis explores the use of specifications for the construction of correct programs. We go beyond their standard use as run-time assertions, and present algorithms, techniques and implementations for the tasks of 1) program verification, 2) declarative ...

EPFL2012

Functional Modeling and Energetic Macroscopic Representation of Modular Multilevel Converters

Alfred Rufer, Michail Vasiladiotis, Nicolas Cherix

A key feature of Modular Multilevel Converters (MMC) is the continuous and independent nature of the branch currents. Therefore, a decoupled control of the line and partial bus currents is possible, unlike for classical topologies. To this end, several con ...

2012

Atomic boxes: coordinated exception handling with transactional memory

Vincent Gramoli

In concurrent programs raising an exception in one thread does not prevent others from operating on an inconsistent shared state. Instead, exceptions should ideally be handled in coordination by all the threads that are affected by their cause. In this pap ...

2011