Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Turing machine

Related publications (29)

Placement of Virtual Containers on NUMA systems: A Practical and Comprehensive Model

Baptiste Joseph Eustache Lepers

Our work addresses the problem of placement of threads, or virtual cores, onto physical cores in a multicore NUMA system. Different placements result in varying degrees of contention for shared resources, so choosing the right placement can have a large ef ...

USENIX ASSOC2018

Distributed Optimization with Arbitrary Local Solvers

Martin Jaggi

With the growth of data and necessity for distributed optimization methods, solvers that work well on a single machine must be re-designed to leverage distributed computation. Recent work in this area has been limited by focusing heavily on developing high ...

Taylor & Francis Ltd2017

STEP-NC machine tool data model and its applications

Ian Anthony Stroud, Jumyung Um

The machine tool data model of STEP-NC (ISO 14649) was conceived as a necessary extension to the original STEP-NC set of standards to make efficient control possible. The intention of this paper is to describe the background to the data model as well as re ...

Taylor & Francis Ltd2016

Dynamics of the cavitation precessing vortex rope for Francis turbines at part load operating conditions

Arthur Tristan Favrel

The massive penetration of the existing electrical grid by renewable energy sources requires a continuous extension of the operating range of hydroelectric powerplants, which can lead to cavitation flow instabilities inducing undesirable mechanical vibrati ...

EPFL2016

High Frequency Effects of Impedances and Coatings in the CLIC Damping Rings

Eirini Koukovini Platia

The Compact Linear Collider (CLIC) is a 3 TeV e+e- machine, currently under design at CERN, that targets to explore the terascale particle physics regime. The experiment requires a high luminosity of 2x10^34 cm^2 s^-1, which can be achieved with ultra low ...

EPFL2015

A Decision Procedure for (Co)datatypes in SMT Solvers

Andrew Joseph Reynolds

We present a decision procedure that combines reasoning about datatypes and codatatypes. The dual of the acyclicity rule for datatypes is a uniqueness rule that identifies observationally equal codatatype values, including cyclic values. The procedure deci ...

Springer-Verlag Berlin2015

Function Computation over Networks : Efficient Information Processing for Cache and Sensor Applications

Chien-Yi Wang

This thesis looks at efficient information processing for two network applications: content delivery with caching and collecting summary statistics in wireless sensor networks. Both applications are studied under the same paradigm: function computation ove ...

EPFL2015

Computational Shifts in Theatrical Space

Andrew James Sempere

This dissertation describes a set of research projects that were conducted between 2012 and 2014 in order to answer the question how do computational ideas alter our understanding of place? Each project was produced in the context of the performing arts an ...

EPFL2015

Robust, High-Speed Interest Point Matching for Real-Time Applications

Michael Calonder

A typical Computer Vision system needs to process vast amounts of data as captured by one or more cameras, constantly testing the capabilities of today's hardware. Yet such systems face an ever-growing computational load caused by the more and more demandi ...

EPFL2010

Related publications (29)