Modelling and schedulling of remanufacturing systems

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (28)

Building Efficient Query Engines using High-Level Languages

Ioannis Klonatos

We are currently witnessing a shift towards the use of high-level programming languages for systems development. These approaches collide with the traditional wisdom which calls for using low-level languages for building efficient software systems. This sh ...

EPFL2017

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

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

Springer2016

Improving systems software security through program analysis and instrumentation

Volodymyr Kuznetsov

Security and reliability bugs are prevalent in systems software. Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management and type safety to programmers. This invites bugs that cause cra ...

EPFL2016

StreamFlow 1.0: an extension to the spatially distributed snow model Alpine3D for hydrological modelling and deterministic stream temperature prediction

Tristan Jonas Brauchli, Michael Lehning, Wolf Hendrik Huwald, Aurélien Gallice, Francesco Comola, Mathias Thierry Pierre Bavay

Climate change is expected to strongly impact the hydrological and thermal regimes of Alpine rivers within the coming decades. In this context, the development of hydrological models accounting for the specific dynamics of Alpine catchments appears as one ...

Copernicus Gesellschaft Mbh2016

Distributed Programming via Safe Closure Passing

Philipp Haller, Heather Christine Klug

Programming systems incorporating aspects of functional programming, e.g., higher-order func- tions, are becoming increasingly popular for large-scale distributed programming. New frameworks such as Apache Spark leverage functional techniques to provide hi ...

2015

Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages

Vlad Ureche

High-level languages allow programmers to express data structures and algorithms that abstract over the type of data they handle. This improves code reuse and makes it possible to develop general-purpose libraries. Yet, data abstractions slow down program ...

EPFL2015

Evaluation of characteristic parameters for high performance hall cells

Maher Kayal, Jean-Michel Sallese, Maria-Alexandra Paun

The current work focuses on presenting specific Hall cells with high performance, and their corresponding parameters. The design, integration, measurements and model development for their performance assessment are necessary stages considered in the genera ...

Elsevier Sci Ltd2014

Code-Pointer Integrity

George Candea, Volodymyr Kuznetsov, Mathias Josef Payer

Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management to programmers. This invites memory safety bugs that attackers can exploit to divert control flow and compromise the system. Depl ...

2014

Page 2 sur 2