Framework

Applied sciences
Génie informatique
Génie logiciel
Programmation orientée comp...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (27)

Neuromapp: A Mini-application Framework to Improve Neural Simulators

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

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

Joseph Sifakis, Simon Bliudze, 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

Joseph Sifakis, Simon Bliudze

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, Daniel Jackson

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

Joseph Sifakis, Simon Bliudze, Eduard Baranov

Springer International Publishing2014

Page 2 sur 2