Concept

Windows Update

Related publications (34)

Status update through M/G/1/1 queues with HARQ

We consider a system where randomly generated updates are to be transmitted to a monitor, but only a single update can be in the transmission service at a time. Therefore, the source has to prioritize between the two possible transmission policies: preempt ...

2017

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Bryan Alexander Ford, Linus Gasser, Eleftherios Kokoris Kogias, Philipp Svetolik Jovanovic, Nicolas Gailly, Kirill Nikitin, Ismail Khoffi

Software-update mechanisms are critical to the security of modern systems, but their typically centralized design presents a lucrative and frequently attacked target. In this work, we propose CHAINIAC, a decentralized software-update framework that elimina ...

USENIX Association2017

Automating Live Update for Generic Server Programs

Calin Iorgulescu

The pressing demand to deploy software updates without stopping running programs has fostered much research on live update systems in the past decades. Prior solutions, however, either make strong assumptions on the nature of the update or require extensiv ...

Ieee Computer Soc2016

Information-Theoretic Caching

Michael Christoph Gastpar, Sung Hoon Lim, Chien-Yi Wang

Motivated by the caching problem introduced by Maddah-Ali and Niesen, a problem of distributed source coding with side information is formulated, which captures a distinct interesting aspect of caching. For the single-user case, a single-letter characteriz ...

2015

Online Updates on Data Warehouses via Judicious Use of Solid-State Storage

Anastasia Ailamaki, Manoussos Gavriil Athanassoulis, Radu Ioan Stoica

Data warehouses have been traditionally optimized for read-only query performance, allowing only offline updates at night, essentially trading off data freshness for performance. The need for 24x7 operations in global markets and the rise of online and oth ...

Assoc Computing Machinery2015

Mutable Checkpoint-Restart: Automating Live Update for Generic Server Programs

Calin Iorgulescu

ACM New York2014

Methods and Apparatus for Data Security in Mobile Ad Hoc Networks

Hamza Harkous, Valtteri Niemi

Systems and techniques for key management in mobile ad hoc networks are described. Pseudonyms are defined for group members of mobile ad hoc networks such that a pseudonym in a message can be deterministically identified with the sending device only by the ...

2014

Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer

Calin Iorgulescu

Live update is a promising solution to bridge the need to frequently update a software system with the pressing demand for high availability in mission-critical environments. While many research solutions have been proposed over the years, systems that all ...

The USENIX Association2013

Distinguishing Sitting and Standing Activities Using a Wearable Barometric Pressure Monitor

Kamiar Aminian, Anisoara Ionescu, Julien Chardonnens, Fabien Massé, Alan Kevin Bourke

Recent advancements in wearable inertial sensor technology have enabled extensive research into activity classification. However, the distinction between the sitting and standing activities using trunk-worn wearable monitoring systems remains challenging, ...

2013

Simulating Daylight Propagation through Complex Fenestration Systems in a Urban Context Using Variable Sampling Subdivision Scheme

Jean-Louis Scartezzini, Jérôme Henri Kämpf, Chantal Basurto Dávila

The use of Complex Fenestration Systems (CFS) within buildings can contribute to a significant reduction of cooling loads by the way of two assets: the redirection of daylight and the shading of sunrays. In order to back-up these features, daylight perform ...

EPFL Solar Energy and Building Physics Laboratory (LESO-PB)2013

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.