Isolates, channels, and event streams for composable distributed programming

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.

Billions of people now have conversations daily over the Internet. A large portion of this communication takes place via secure messaging protocols that offer "end-to-end encryption'" guarantees and resilience to compromise like the widely-used Double Ratc ...

Transmembrane protein 16 F (TMEM16F) is a Ca2+-activated homodimer which functions as an ion channel and a phospholipid scramblase. Despite the availability of several TMEM16F cryogenic electron microscopy (cryo-EM) structures, the mechanism of activation ...

Ordered two-dimensional (2D) materials hosting Å-scale pores are highly promising for enabling challenging separation, thanks to well-defined pore geometry resulting in tight confinement of ions when hosted inside the pore. In addition, the 2D nature of th ...

Numerical simulations have become one of the key tools used by theorists in all the fields of astrophysics and cosmology. The development of modern tools that target the largest existing computing systems and exploit state-of-the-art numerical methods and ...

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

Modern data center fabrics open the possibility of microsecond distributed applications, such as data stores and message queues. A challenging aspect of their development is to ensure that, besides being fast in the common case, these applications react fa ...

Dataflow programming is a methodology that enables the development of high-level, parametric programs that are independent of the underlying platform. This approach is particularly useful for heterogeneous platforms, as it eliminates the need to rewrite ap ...

Riparian vegetation, which is commonly found in natural rivers and open channels, has a strong influence on flow structures. This paper describes a laboratory experiment on velocity distributions, secondary currents, and coherent structures in narrow open- ...

Interactive mobile applications like web browsing and gaming are known to benefit significantly from low latency networking, as applications communicate with cloud servers and other users' devices. Emerging mobile channel standards have not met these needs ...

Today's continued increase in demand for processing power, despite the slowdown of Moore's law, has led to an increase in processor count, which has resulted in energy consumption and distribution problems. To address this, there is a growing trend toward ...

With the capabilities such as single-photon detection, time stamping and high-speed acquisition, time-resolved imaging based on single-photon avalanche diode (SPAD) detectors has found significant applications across diverse domains, including but not limi ...

The landscape of computing is changing, thanks to the advent of modern networking equipment that allows machines to exchange information in as little as one microsecond. Such advancement has enabled microsecond-scale distributed computing, where entire dis ...

Principal component analysis (PCA) is an essential algorithm for dimensionality reduction in many data science domains. We address the problem of performing a federated PCA on private data distributed among multiple data providers while ensuring data confi ...

The Supersingular Isogeny Diffie-Hellman (SIDH) protocol has been the main and most efficient isogeny-based encryption protocol, until a series of breakthroughs led to a polynomial-time key-recovery attack. While some countermeasures have been proposed, th ...

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Agent-based simulations have been widely applied in many disciplines, by scientists and engineers alike. Scientists use agent-based simulations to tackle global problems, including alleviating poverty, reducing violence, and predicting the impact of pandem ...

Transport through quantum coherent conductors, such as atomic junctions, is described by conduction channels. Information about the number of channels and their transmissions can be extracted from various sources, such as multiple Andreev reflections, dyna ...

Advances in mobile computing have paved the way for new types of distributed applications that can be executed solely by mobile devices on Device-to-Device (D2D) ecosystems (e.g., crowdsensing). Sophisticated applications, like cryptocurrencies, need distr ...

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

In the discussed paper [N. Starkman, H. Winch, J. S. Sidhu, and G. Starkman, Straight lightning as a signature of macroscopic dark matter, Phys. Rev. D 103, 063024 (2021)], the authors have made several assumptions and statements concerning the initiation ...

Isolates, channels, and event streams for composable distributed programming

Chattez avec Graph Search

On the Theory and Practice of Modern Secure Messaging

Structural heterogeneity of the ion and lipid channel TMEM16F

Crystal, defect, and morphology engineering of porous two-dimensional materials for ionic separation

Swift : a modern highly parallel gravity and smoothed particle hydrodynamics solver for astrophysical and cosmological applications

Formal Foundations of Capture Tracking

uKharon: A Membership Service for Microsecond Applications

Design Space Exploration for Partitioning Dataflow Program on CPU-GPU Heterogeneous System

Experimental study on velocity distributions, secondary currents, and coherent structures in open channel flow with submerged riparian vegetation

DChannel: Accelerating Mobile ApplicationsWith Parallel High-bandwidth and Low-latency Channels

Compilation and Design Space Exploration of Dataflow Programs for Heterogeneous CPU-GPU Platforms

Time-resolved imaging with SPAD detectors

Reliable Microsecond-Scale Distributed Computing

Scalable and Privacy-Preserving Federated Principal Component Analysis

New SIDH Countermeasures for a More Efficient Key Exchange

Dynamic Linkers Are the Narrow Waist of Operating Systems

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Extracting transport channel transmissions in scanning tunneling microscopy using superconducting excess current

Toward Mobile Distributed Ledgers

Hardware and Software Support for RPC-Centric Server Architecture

Comment on “Straight lightning as a signature of macroscopic dark matter”