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

Concept

Software framework

Related publications (27)

Neuromapp: A Mini-application Framework to Improve Neural Simulators

Felix Schürmann, Judit Planas Carbonell, Fabien Jonathan Delalondre, Francesco Cremonesi, Timothée Ewart

The increasing complexity and heterogeneity of extreme scale systems makes the optimization of large scale scientific applications particularly challenging. Efficiently leveraging these complex systems requires a great deal of technical expertise and a con ...

Springer International Publishing2017

The Mach-Zehnder Interferometer: A smart remote experiment based on a software template

Denis Gillet, Christophe Salzmann, Wissam Halimi

Hands-on laboratory sessions are one of the pillars of science and engineering education. It is reputed that institu- tions find it difficult to provide enough laboratory setups that cover all taught scientific topics due to logistical and budgetary limita ...

IEEE2016

A General Framework for Architecture Composability

Simon Bliudze, Joseph Sifakis, Eduard Baranov

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

Springer Verlag2016

Real-Time Control Framework for Active Distribution Networks Theoretical Definition and Experimental Validation

Lorenzo Enrique Reyes Chamorro

The great challenge of massively integrating the volatile distributed power-generation into the power system is strongly related to the evolution of their operation and control. The literature of the last decade has suggested two models for such an evoluti ...

EPFL2016

A Theory Agenda for Component-Based Design

Simon Bliudze, Joseph Sifakis

The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...

Springer International Publishing2015

Programming with Enumerable Sets of Structures

Viktor Kuncak, Ivan Kuraj

We present an efficient, modular, and feature-rich framework for automated generation and validation of complex structures, suitable for tasks that explore a large space of structured values. Our framework is capable of exhaustive, incremental, parallel, a ...

Assoc Computing Machinery2015

A General Framework for Architecture Composability

Simon Bliudze, Joseph Sifakis, Eduard Baranov

Springer International Publishing2014