Concept

Turing machine

Related publications (32)

HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services

Edouard Bugnion, Evangelos Marios Kogias

Cloud platform services must simultaneously be scalable, meet low tail latency service-level objectives, and be resilient to a combination of software, hardware, and network failures. Replication plays a fundamental role in meeting both the scalability and ...

2020

La phénoménotechnique questionnée par la médiation. L'exemple du showroom du Larsim.

Yohann Michel Franck Guffroy

The purpose of this article is to present a space of mediation developed by the astrophysicist Vincent Minier and the philosopher Vincent Bontems at the Commissariat à l’Énergie atomique et aux Énergies renouvelables. This room, called “showroom”, promotes ...

Presses universitaires du Midi2020

High Performance Computing for gravitational lens modeling: Single vs double precision on GPUs and CPUs

Jean-Paul Richard Kneib, Markus Rexroth

Strong gravitational lensing is a powerful probe of cosmology and the dark matter distribution. Efficient lensing software is already a necessity to fully use its potential and the performance demands will only increase with the upcoming generation of tele ...

ELSEVIER2020

Beam transfer function measurements used to probe the transverse Landau damping at the LHC

Xavier Buffat, Tatiana Pieloni, Javier Barranco Garcia, Claudia Tambasco

The Landau damping mechanism stabilizes the impedance driven head-tail modes in hadron synchrotrons. Because of the frequent coherent beam instabilities observed in the Large Hadron Collider in 2012, the Landau damping of the beams was doubted. Therefore, ...

AMER PHYSICAL SOC2020

Reconfigurable Logic Gates Based on Programable Multistable Mechanisms

Simon Nessim Henein, Hubert Pierre-Marie Benoît Schneegans, Ilan Vardi, Mohamed Gamal Abdelrahman Ahmed Zanaty

Binary logic gates are building blocks of computing machines, in particular, electronic computers. One variant is the programable logic gate, also known as the reconfigurable logic gate, in which the logical function implemented can be modified. In this pa ...

ASME2020

Dynamic behaviour of a Francis turbine during voltage regulation in the electrical power system

François Avellan, Elena Vagnoni

Hydroelectric units can be operated in synchronous condenser mode to provide reactive power to the electrical power system (EPS) for voltage regulation. In this operating mode, the hydraulic turbine consumes active power and in case of hydroelectric units ...

2020

Cirque /Machine.Circus as a space Machine

Au début des années 90, la ville industrielle de Bilbao ayant subi une crise économique, mise sur l’impact de l'édification du Guggenheim pour relancer la capitale basque. Ce projet envisage la possibilité inverse. L’architecture est mouvante, le spectateu ...

2019

System Support for Efficient Replication in Distributed Systems

Dragos-Adrian Seredinschi

Current online applications, such as search engines, social networks, or file sharing services, execute across a distributed network of machines. They provide non-stop services to their users despite failures in the underlying network. To achieve such a hi ...

EPFL2019

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

DEMO design activity in Europe: Progress and updates

Minh Quang Tran

This paper describes the progress of the DEMO Design Activities in Europe and particularly the work done to address critical design integration issues that affect the machine configuration and performance, the plant concept layout and the selection of syst ...

2018

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.