Concept

Architecture néo-classique

Publications associées (58)

Les grandes idées d'une petite maison de quartier

Cyril Veillon, directeur d'Archizoom, la plateforme d’échanges sur l’architecture de l'École polytechnique fédérale de Lausanne, revient sur la victoire romande au Solar Decathlon. ...

2017

When the North meets the "key to everything". From Ragnar Östberg to Erik Gunnar Asplund

Chiara Monterumisi

«Beyond the city there was a wide plain, which sloped gently towards the sea and it was dominated by a semicircle of mountains. The soil of such plain was shimmering red, the sea looked blue enamel, the mountain slopes were brilliant yellow. It was a count ...

2017

A High-performance FPGA Architecture Using One-Level RRAM-based Multiplexers

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Xifan Tang

Resistive Random Access Memory (RRAM)-based routing multiplexers, built using a one-level structure, are significantly more delay efficient than state-of-art SRAM-based implementations thanks to their lower achievable on-state resistance. In addition, the ...

2017

Optimization Opportunities in RRAM-based FPGA Architectures

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Xifan Tang

Static Random Access Memory (SRAM)-based routing multiplexers, whatever structure is employed, share a common limitation: their area, delay and power increase linearly with the input size. This property results in most SRAM-based FPGA architectures ...

IEEE2017

Graph-based Isometry Invariant Representation Learning

Pascal Frossard, Renata Khasanova

Learning transformation invariant representations of visual data is an important problem in computer vision. Deep convolutional networks have demonstrated remarkable results for image and video classification tasks. However, they have achieved only limited ...

2017

Configuration logics: Modeling architecture styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Elsevier Science Inc2017

A Semantic Framework for Architecture Modelling

Eduard Baranov

Architectures are common means for organising coordination between components in order to build complex systems and to make them manageable. They allow thinking on a higher plane and avoiding low-level mistakes. Architectures provide means for ensuring cor ...

EPFL2017

Charge Neutralization and Direct Thrust Measurements from Bipolar Pairs of Ionic- Electrospray Thrusters

Herbert Shea, Daniel George Courtney

lectrospray (ES) thrusters are unique in their ability to emit both positive and negative beams, each contributing similarly to thrust. Spacecraft charging could be prevented without a dedicated neutralizer if currents of simultaneously emitted opposing po ...

2017

Parameterized Systems in BIP: Design and Model Checking

Joseph Sifakis, Simon Bliudze, Qiang Wang

BIP is a component-based framework for system design that has important industrial applications. BIP is built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIP to system ...

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2016

Architecture-based Design: A Satellite On-Board Software Case Study

Joseph Sifakis, Simon Bliudze, Anton Ivanov, Anastasia Mavridou

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

2016

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search