Concept

Logiciel système

Publications associées (32)

Framework for the Multi-period Sequential Synthesis of Heat Exchanger Networks with selection, design and scheduling of Multiple Utilities

François Maréchal, Alberto Mian, Emanuele Martelli

A novel sequential approach is proposed for the multiperiod synthesis of Heat Exchanger Networks (HEN) and Utility Systems of chemical processes and energy systems. The framework can be used also for single period problems. Given the set of hot and cold pr ...

American Chemical Society2015

Targeting the Retrofit of industrial utility system and heat exchanger network

François Maréchal, Nasibeh Pouransari

A new methodology is herein suggested to target the retrofit of utility system and heat exchanger network (HEN) of large-scale chemical plants for energy eciency improvement purposes. The methodology is based on the optimal site energy conversion unit inte ...

2014

Targeting the retrofit of large-scale industrial plant with multi-objective optimization

François Maréchal, Nasibeh Pouransari

A methodology is proposed to target the retrofit of utility system and heat exchanger network (HEN) of large-scale chemical plants. The methodology is based on the Mixed Integer Linear Programming (MILP) formulation for the optimal site utility integration ...

2014

Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer

Calin Iorgulescu

Live update is a promising solution to bridge the need to frequently update a software system with the pressing demand for high availability in mission-critical environments. While many research solutions have been proposed over the years, systems that all ...

The USENIX Association2013

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

It's the End of the World as We Know It (And I Feel Fine)

James Richard Larus

The end of Dennard scaling and the imminent end of semiconductor feature scaling means that software systems and applications will no longer benefit from 40% per annum performance increases, a continually rising tide that lifted all boats. Future software ...

Springer2012

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

ConfErr: A Tool for Assessing Resilience to Human Configuration Errors

George Candea, Lorenzo Keller

We present ConfErr, a tool for testing and quantifying the resilience of software systems to human-induced configuration errors. ConfErr uses human error models rooted in psychology and linguistics to generate realistic configuration mistakes; it then inje ...

2008

Topian 0.1 Reference Manual

Jean-Cédric Chappelier, Emmanuel Eckard

This document describes Topian ("Topic-based Model layer for Xapian"), a software layer intended to add support for topical models to Xapian. ...

2007

Definition and Correct Refinement of Operation Specifications

Slavisa Markovic, Frédéric Fondement

Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simplified and abstract model of the system which is then moved by applying a series of model improvements toward implementation. ...

Springer2006

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