Publications associées à Réflexion (informatique)

Boosting Efficiency of External Pipelines by Blurring Application Boundaries

Anastasia Ailamaki, Periklis Chrysogelos, Anna Patricia Herlihy

Modern application development addresses increasingly specialized problems using domain-specific utilities, such as Optical Code Recognition and standalone statistical tools. The diversity of tooling, combined with the ever-growing volume of data, requires ...

2022

Extending Boolean Methods for Scalable Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Eleonora Testa

In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...

2020

FirmFuzz: Automated IoT Firmware Introspection and Analysis

Mathias Josef Payer, Hui Peng

While the number of IoT devices grows at an exhilarating pace their security remains stagnant. Imposing secure coding standards across all vendors is infeasible. Testing individual devices allows an analyst to evaluate their security post deployment. Any d ...

ASSOC COMPUTING MACHINERY2019

Block Oriented Programming: Automating Data-Only Attacks

Mathias Josef Payer

With the widespread deployment of Control-Flow Integrity (CFI), control-flow hijacking attacks, and consequently code reuse attacks, are significantly more difficult. CFI limits control flow to well-known locations, severely restricting arbitrary code exec ...

ASSOC COMPUTING MACHINERY2018

Circuit Designs of High-Performance and Low-Power RRAM-Based Multiplexers Based on 4T(ransistor)1R(RAM) Programming Structure

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

Routing multiplexers based on pass-transistors or transmission gates are an essential components in many digital integrated circuits. However, whatever structure is employed, CMOS multiplexers have two major limitations: 1) their delay is linearly related ...

Ieee-Inst Electrical Electronics Engineers Inc2017

How do participation of practice partners and societal impacts interrelate? Perspectives from sci- ence and practice actors in transdisciplinary sustainability research projects

Claudia Rebeca Binder Signer, Livia Bianca Fritz, Thorsten Schilling

In this contribution, we put the spotlight on the interlinkages between participatory knowledge production and sustainabili ty transformations by proposing an empirical enquiry into transdisciplinary (TD) research projects. With regard to (un)sustainab le ...

2017

Semantics-Driven Interoperability between Scala.js and JavaScript

Sébastien Jean R Doeraene, Nicolas Alexander Stucki, Tobias Schlatter

Hundreds of programming languages compile to JavaScript. Yet, most of them fail, at one level or another, to provide satisfactory interoperability with JavaScript APIs. This is limiting, as interoperability is at least required to manipulate web pages thro ...

Association for Computing Machinery2016

A Study on the Programming Structures for RRAM-based FPGA Architectures

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

Field Programmable Gate Arrays (FPGAs) can benefit non-volatility and high-performance by exploiting Resistive Random Access Memories (RRAMs). In RRAM-based FPGAs, the memories do not only replace the SRAMs and store configurations, but they can also repla ...

Ieee-Inst Electrical Electronics Engineers Inc2016

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

Viktor Kuncak, Nicolas Charles Yves Voirol

Procedures for first-order logic with equality are used in many modern theorem provers and solvers, yet procedure termination in case of interesting sub-classes of satisfiable formulas remains a challenging problem. We present an instantiation-based semi-d ...

2016

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.

Réflexion (informatique)

Boosting Efficiency of External Pipelines by Blurring Application Boundaries

Extending Boolean Methods for Scalable Logic Synthesis

FirmFuzz: Automated IoT Firmware Introspection and Analysis

Block Oriented Programming: Automating Data-Only Attacks

Extending Safe C Support In Leon

Circuit Designs of High-Performance and Low-Power RRAM-Based Multiplexers Based on 4T(ransistor)1R(RAM) Programming Structure

How do participation of practice partners and societal impacts interrelate? Perspectives from sci- ence and practice actors in transdisciplinary sustainability research projects

Semantics-Driven Interoperability between Scala.js and JavaScript

A Study on the Programming Structures for RRAM-based FPGA Architectures

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

Graph Chatbot

Chattez avec Graph Search

Boosting Efficiency of External Pipelines by Blurring Application Boundaries

How do participation of practice partners and societal impacts interrelate? Perspectives from sci- ence and practice actors in transdisciplinary sustainability research projects

Semantics-Driven Interoperability between Scala.js and JavaScript

Extending Boolean Methods for Scalable Logic Synthesis

Block Oriented Programming: Automating Data-Only Attacks

Circuit Designs of High-Performance and Low-Power RRAM-Based Multiplexers Based on 4T(ransistor)1R(RAM) Programming Structure

FirmFuzz: Automated IoT Firmware Introspection and Analysis

Extending Safe C Support In Leon

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

A Study on the Programming Structures for RRAM-based FPGA Architectures