Concept
Chaise électrique
Publications associées (13)
Tunnel in urban site - Lausanne Metro m3 Section Casernes – Blécherette
The objective of this scientific paper is to present the m3 metro project, in particular the Casernes-Blécherette section. The article is a summary of the final project development based on the technical report [1]. It includes the geological and hydrogeol ...
2021Fast Energy Estimation Through Partial Execution of HPC Applications
Marina Zapater Sancho, José Luis Ayala Rodrigo
In order to optimize the energy use of servers in Data Centers, techniques such as power capping or power budgeting are usually deployed. These techniques rely on the prediction of the power and execution time of applications. These data are obtained via d ...
IEEE2018The Complexity of Reliable and Secure Distributed Transactions
The use of transactions in distributed systems dates back to the 70's. The last decade has also seen the proliferation of transactional systems. In the existing transactional systems, many protocols employ a centralized approach in executing a distributed ...
EPFL2018Parallel symbolic execution on cluster of commodity hardware
George Candea, Cristian Zamfir, Stefan Bucur
A symbolic execution task is dynamically divided among multiple computing nodes. Each of the multiple computing nodes explores a different portion of a same symbolic execution tree independently of other computing nodes. Workload status updates are receive ...
2014Execution Synthesis: A Technique for Automating the Debugging of Software
Debugging real systems is hard, requires deep knowledge of the target code, and is time-consuming. Bug reports rarely provide sufficient information for debugging, thus forcing developers to turn into detectives searching for an explanation of how the prog ...
EPFL2013Symbolic execution of Reo circuits using constraint automata
Reo is a coordination language that can be used to model different systems. We propose a technique for symbolic execution of Reo circuits using the symbolic representation of data constraints in Constraint Automata. This technique enables us to obtain the ...
2012Striking a New Balance Between Program Instrumentation and Debugging Time
Willy Zwaenepoel, Ricardo Bianchini, Olivier Crameri
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the developer in locating the problem. In this paper, we explore a new approach to b ...
Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011A Data-oriented Transaction Execution Engine and Supporting Tools
Anastasia Ailamaki, Miguel Sérgio De Oliveira Branco, Frederick Ryan Johnson, Pinar Tözün, Ippokratis Pandis, Danica Porobic, Dimitrios Karampinas
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work assignment policy leads to unpredictable accesses. The unpredictability forces e ...
2011Debugging by lastChange
Claude Petitpierre, Salman Mirghasemi
Developers often seek the origins of wrong values they see in their debugger. Their search must be backwards in time: the code causing the wrong value executed before the wrong value appeared. Searching with breakpoint- or log- based debuggers demands pers ...
2011Execution Synthesis: A Technique for Automated Software Debugging
George Candea, Cristian Zamfir
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn into detectives searching for an explanation of how the program could have arrive ...
2010