Publications associées à Programmation logique

Real-Scenario Testing of an Active Phasor Data Concentrator

Mario Paolone, Asja Derviskadic, Guglielmo Frigo

The privileged position of the Phasor Data Concentrator (PDC) in a synchrophasor-based monitoring system can be exploited to make this device the core of a distributed measurement architecture suitable for control and protection applications in power syste ...

IEEE2019

Logic Optimization of Majority-Inverter Graphs

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Eleonora Testa, Heinz Riener, Winston Jason Haaswijk

Majority-inverter graphs (MIGs) are a multi-level logic representation of Boolean functions with remarkable algebraic and Boolean properties that enable efficient logic optimizations beyond the capabilities of conventional logic representations. In this pa ...

VDE Verlag2019

Size Optimization of MIGs with an Application to QCA and STMG Technologies

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Eleonora Testa, Heinz Riener

Majority-inverter graphs (MIGs) are a logic representation with remarkable algebraic and Boolean properties that enable efficient logic optimizations beyond the capabilities of traditional logic representations. Further, since many nano-emerging technologi ...

ASSOC COMPUTING MACHINERY2018

Integrated ESOP Refactoring for Industrial Designs

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Winston Jason Haaswijk

We present a multi-level logic refactoring algorithm based on exclusive sum-of-product (ESOP) expressions. ESOP expressions are two-level logic representation forms, similar to sum of -product (SOP) expressions. However, ESOPs use EXOR instead of OR operat ...

IEEE2018

Foundations of Implicit Function Types

Martin Odersky, Fengyun Liu, Olivier Eric Paul Blanvillain

Implicit parameters are used pervasively in Scala and are also present in a number of other programming and theorem proving languages. This paper describes a generalization of implicit parameters as they are currently found in Scala to implicit function ty ...

2017

Digital transformation and  open innovation ecosystems in the tilm industry: the case of the Movieday platform

Christopher Tucci, Gianluigi Viscusi

Digital technologies are transforming the film industry. Up until roughly a decade ago, the business model for film exhibition was based on theatrical release in combination with television sales and home cinema releases (video and DVD). Recently, many que ...

2017

Digital transformation and open innovation ecosystems in the tilm industry: the case of the Movieday platform

Christopher Tucci, Gianluigi Viscusi

2017

Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies

Giovanni De Micheli, Mathias Soeken, Eleonora Testa, Odysseas Zografos

Traditional logic synthesis faces challenges of meeting the requirements demanded by the many emerging nanotech-nologies that are based on logic models different from standard CMOS. Several emerging nanodevices including Quantum-dot Cellular Automata (QCA) ...

IEEE2017

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.

Programmation logique

Real-Scenario Testing of an Active Phasor Data Concentrator

Logic Optimization of Majority-Inverter Graphs

Size Optimization of MIGs with an Application to QCA and STMG Technologies

Nonsilicon, Non-von Neumann Computing—Part I

Integrated ESOP Refactoring for Industrial Designs

Foundations of Implicit Function Types

Digital transformation and  open innovation ecosystems in the tilm industry: the case of the Movieday platform

Digital transformation and open innovation ecosystems in the tilm industry: the case of the Movieday platform

Monotonicity Types

Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies

Graph Chatbot

Chattez avec Graph Search

Integrated ESOP Refactoring for Industrial Designs

Logic Optimization of Majority-Inverter Graphs

Real-Scenario Testing of an Active Phasor Data Concentrator

Monotonicity Types

Digital transformation and open innovation ecosystems in the tilm industry: the case of the Movieday platform

Nonsilicon, Non-von Neumann Computing—Part I

Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies

Size Optimization of MIGs with an Application to QCA and STMG Technologies

Foundations of Implicit Function Types

Digital transformation and  open innovation ecosystems in the tilm industry: the case of the Movieday platform