Publications associées à Parallélisation automatique

Beyond Spectral Gap: The Role of the Topology in Decentralized Learning

Martin Jaggi, Thijs Vogels, Hadrien Hendrikx

In data-parallel optimization of machine learning models, workers collaborate to improve their estimates of the model: more accurate gradients allow them to use larger learning rates and optimize faster. In the decentralized setting, in which workers commu ...

Brookline2023

Machine-learning predictor of nerve fiber firing rate allows the automatic optimization of electrical stimulation protocols

Silvestro Micera, Simone Romeni, Luca Pierantoni, Gabriele Marino

Computational models have been widely employed to study the electrical stimulation of the nervous system. Still, most applications either study fundamental mechanisms underlying stimulation, or address qualitative scientific questions. When quantitative qu ...

IEEE2023

Dalton: Learned Partitioning for Distributed Data Streams

Anastasia Ailamaki, Eleni Zapridou, Ioannis Mytilinis

To sustain the input rate of high-throughput streams, modern stream processing systems rely on parallel execution. However, skewed data yield imbalanced load assignments and create stragglers that hinder scalability. Deciding on a static partitioning for a ...

2022

Fully-Asynchronous Fully-Implicit Variable-Order Variable-Timestep Simulation of Neural Networks

Felix Schürmann, Michael Lee Hines, Bruno Ricardo Da Cunha Magalhães

State-of-the-art simulations of detailed neurons follow the Bulk Synchronous Parallel execution model. Execution is divided in equidistant communication intervals, with parallel neurons interpolation and collective communication guiding synchronization. Su ...

2020

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation

Bas Ketsman

Single-round multiway join algorithms first reshuffle data over many servers and then evaluate the query at hand in a parallel and communication-free way. A key question is whether a given distribution policy for the reshuffle is adequate for computing a g ...

ASSOC COMPUTING MACHINERY2019

Safe and Efficient Deployment of Data-Parallelisable Applications on Many-Core Platforms: Theory and Practice

Giovanni De Micheli, Federico Angiolini, Alena Simalatsar, Stefanos Skalistis

The safe and, at the same time, efficient deployment of parallelisable applications on many-core platforms is a challenging task. Theoretical Models of Computation (MoC) require the realistic estimation of task Worst-Case Execution Time (WCET ...

2017

Vector-Based 3D Graphic Statics (Part II): Construction of Force Diagrams

Corentin Jean Dominique Fivet, Pierluigi D'Acunto

This paper presents an approach to the extension of graphic statics force diagrams to the third dimension. The main focus is to build 3D force diagrams out of vectors, so that each edge in the form diagram corresponds to two parallel vectors in the force d ...

IASS2016

SMT-Based Checking of Predicate-Qualified Types for Scala

Viktor Kuncak, Georg Stefan Schmid

We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions. We implemented a type checker for qualified types that is embedded in ...

Assoc Computing Machinery2016

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.

Parallélisation automatique

Beyond Spectral Gap: The Role of the Topology in Decentralized Learning

Machine-learning predictor of nerve fiber firing rate allows the automatic optimization of electrical stimulation protocols

Dalton: Learned Partitioning for Distributed Data Streams

Fully-Asynchronous Fully-Implicit Variable-Order Variable-Timestep Simulation of Neural Networks

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation

Safe and Efficient Deployment of Data-Parallelisable Applications on Many-Core Platforms: Theory and Practice

Towards Real-Time High-Resolution Interferometric Imaging with Bluebild

Unsupervised Learning of Long-Term Motion Dynamics for Videos

Vector-Based 3D Graphic Statics (Part II): Construction of Force Diagrams

SMT-Based Checking of Predicate-Qualified Types for Scala

Graph Chatbot

Chattez avec Graph Search

Beyond Spectral Gap: The Role of the Topology in Decentralized Learning

Machine-learning predictor of nerve fiber firing rate allows the automatic optimization of electrical stimulation protocols

Safe and Efficient Deployment of Data-Parallelisable Applications on Many-Core Platforms: Theory and Practice

Dalton: Learned Partitioning for Distributed Data Streams

Towards Real-Time High-Resolution Interferometric Imaging with Bluebild

Unsupervised Learning of Long-Term Motion Dynamics for Videos

Vector-Based 3D Graphic Statics (Part II): Construction of Force Diagrams

Fully-Asynchronous Fully-Implicit Variable-Order Variable-Timestep Simulation of Neural Networks

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation

SMT-Based Checking of Predicate-Qualified Types for Scala