Concept

Heapsort

Related publications (24)

Epidemic Learning: Boosting Decentralized Learning with Randomized Communication

Rachid Guerraoui, Anne-Marie Kermarrec, Sadegh Farhadkhani, Rafael Pereira Pires, Rishi Sharma, Marinus Abraham de Vos

We present Epidemic Learning ( EL ), a simple yet powerful decentralized learning (DL) algorithm that leverages changing communication topologies to achieve faster model convergence compared to conventional DL approaches. At each round of EL, each node sen ...

2023

On Verified Scala for STIX File System Embedded Code using Stainless

Viktor Kuncak, Jad Hamza

We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...

2022

Environmental policies: designing acceptable road pricing and voluntary waste sorting schemes

Linda Melina Tesauro

Growing urban population implies many challenges for the municipalities in terms of mobility, housing, waste management or infrastructures. Public policies are thus needed to ensure a sustainable development. The main objective of this thesis is to analyze ...

EPFL2022

A method for voxel ray-casting of scenes on a whole screen

Robin Mange

A method for screen-space voxel ray-casting of scenes on a whole screen. The method comprises providing a graphics card; rendering seamlessly any one of the following list of primitives containing at least polygons, voxels; using a GPU pipeline of the grap ...

2019

Time- and Space-Efficient Spatial Data Analytics

Mirjana Pavlovic

Advances in data acquisition technologies and supercomputing for large-scale simulations have led to an exponential growth in the volume of spatial data. This growth is accompanied by an increase in data complexity, such as spatial density, but also by mor ...

EPFL2019

Detailed Heap Profiling

James Richard Larus, Stuart Anthony Byma

Modern software systems heavily use the memory heap. As systems grow more complex and compute with increasing amounts of data, it can be difficult for developers to understand how their programs actually use the bytes that they allocate on the heap and whe ...

ACM2018

Detailed heap profiling

James Richard Larus, Stuart Anthony Byma

ACM2018

QUASII: QUery-Aware Spatial Incremental Index

Anastasia Ailamaki, Darius Sidlauskas, Thomas Heinis, Mirjana Pavlovic

With large-scale simulations of increasingly detailed models and improvement of data acquisition technologies, massive amounts of data are easily and quickly created and collected. Traditional systems require indexes to be built before analytic queries can ...

2018

Limitations of Partial Compaction: Towards Practical Bounds

Nachshon Cohen

Compaction of a managed heap is a costly operation to be avoided as much as possible in commercial runtimes. Instead, partial compaction is often used to defragment parts of the heap and avoid space blowup. Previous study of compaction limitation provided ...

Assoc Computing Machinery2017

Multi-Objective Optimization Programs and their Application to Amine Absorption Process Design for Natural Gas Sweetening

François Maréchal, Shivom Sharma

This chapter presents three MS Excel programs, namely, EMOO (Excel based Multi-Objective Optimization), NDS (Non-Dominated Sorting) and PM (Performance Metrics) useful for Multi-Objective Optimization (MOO) studies. The EMOO program is for finding non-domi ...

Rangaiah G. P.2017

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.