Automated Classification of Data Races Under Both Strong and Weak Memory Models

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (29)

Ensemble modelling of ice cover for a reservoir affected by pumped-storage operation and climate change

Ulrike Kobler, Martin Schmid

Ensemble modelling was used to assess the robustness of projected impacts of pumped-storage (PS) operation and climate change on reservoir ice cover. To this end, three one-dimensional and a two-dimensional laterally averaged hydrodynamic model were set up ...

WILEY2019

Plastic and genetic responses of a common sedge to warming have contrasting effects on carbon cycle processes

Luca Bragazza, Richard David Bardgett, Constant Signarbieux, Thomas William Nicholas Walker

Climate warming affects plant physiology through genetic adaptation and phenotypic plasticity, but little is known about how these mechanisms influence ecosystem processes. We used three elevation gradients and a reciprocal transplant experiment to show th ...

2019

Life-history trade-offs and limitations associated with phenotypic adaptation under future ocean warming and elevated salinity

Emma Mary Gibbin, Félix Christen

Little is known about the life-history trade-offs and limitations, and the physiological mechanisms that are associated with phenotypic adaptation to future ocean conditions. To address this knowledge gap, we investigated the within-and trans-generation li ...

ROYAL SOC2019

SMoTherSpectre: Exploiting Speculative Execution through Port Contention

Babak Falsafi, Atri Bhattacharyya, Mathias Josef Payer

Spectre, Meltdown, and related attacks have demonstrated that kernels, hypervisors, trusted execution environments, and browsers are prone to information disclosure through micro-architectural weaknesses. However, it remains unclear as to what extent other ...

ACM2019

Using the Neurorobotics platform to explain global processing in visual crowding

Michael Herzog, Gregory Francis, Alban Bornet

The Neurorobotics Platform of the Human Brain Project hosts many different large-scale models that can easily be connected with each other. Here, we linked a deep neural network for saliency computation to a spiking cortical model for visual segmentation ( ...

2018

Global and local anthropogenic effects on hydrodynamics of lakes : applications to Lake Biel drinking water management

Carl Love Mikael Råman Vinnå

In many countries water quality is a major concern for drinking water management authorities. Freshwater is a limited resource and the demand for good-quality water from natural aquatic systems is therefore high. Additional stress arises from anthropogenic ...

EPFL2018

Seasonality alters drivers of soil enzyme activity in subalpine grassland soil undergoing climate change

Alexandre Buttler, Thomas Spiegelberger, Konstantin Svetlozarov Gavazov, Robert Thomas Edmund Mills, Vincent Eric Jules Jassey, Bjorn Jozef Maria Robroek

In mountain ecosystems with marked seasonality, climate change can affect various processes in soils, potentially modifying long-term key soil services via change in soil organic carbon (C) storage. Based on a four-year soil transplantation experiment in S ...

PERGAMON-ELSEVIER SCIENCE LTD2018

A Dynamically Reconfigurable Platform for High-Performance and Low-Power On-Board Processing

Paolo Ienne, Sahand Kashani, Andrea Guerrieri

FPGAs (Field Programmable Gate Array) are an attractive technology for high-speed data processing in space missions due to their unbeatable flexibility and best performance-to-power ratio in comparison to software. However FPGAs suffer from 3 major drawbac ...

IEEE2018

Theory and Practice of Coroutines with Snapshots

Aleksandar Prokopec, Fengyun Liu

While event-driven programming is a widespread model for asynchronous computing, its inherent control flow fragmentation makes event-driven programs notoriously difficult to understand and maintain. Coroutines are a general control flow construct that can ...

2018

Page 2 sur 2