Concept

Système logiciel

Publications associées (37)

The Navigation of Robotic Fiber Positioners in SDSS-V Project: Design and Implementation

Denis Gillet, Jean-Paul Richard Kneib, Matin Macktoobian

SDSS-V project is one of the major observational cosmological projects which aims to generate the map of the observable universe by collecting spectroscopic data from the sky using optical fibers. Each optical fiber is attached to a robotic positioner to b ...

IEEE2019

The Navigation of Robotic Fiber Positioners in SDSS-V Project: Design and Implementation

Jean-Paul Richard Kneib, Matin Macktoobian

IEEE2019

Elastic Program Transformations

Jonas Benedict Wagner

Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...

EPFL2017

Round robin on local stress evaluation for fatigue by various FEM software

Alain Nussbaumer, Vasileios Grigoriou

The objective of this Round Robin is to assess the software influence on the structural/local stress values as determined by means of various methods. In particular the influence of (a) FEM software solver, (b) potentially software-depending element charac ...

2016

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

Fast black-box testing of system recovery code

George Candea, Radu Banabic

Fault injection-a key technique for testing the robustness of software systems-ends up rarely being used in practice, because it is labor-intensive and one needs to choose between performing random injections (which leads to poor coverage and low represent ...

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

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

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

An Interactive Performance-Based Expert System for Daylighting Design

Marilyne Andersen

Architects are increasingly using digital tools during the design process, particularly as they approach complex problems such as designing for successful daylighting performance. However, while simulation tools may provide the designer with valuable infor ...

2011

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