Publication

Linearizability Is Not Always a Safety Property

Publications associées (43)

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

Spores, Formally

Philipp Haller

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint (immutable data transformed by function application) ...

2013

Materials Taking a Lesson from Nature

Holger Frauenrath, Emmanuel Croisier, Liangfei Tian

Structural biomaterials with their often extraordinary properties and versatile functions are typically constructed from very limited sets of building blocks and types of supramolecular interactions. In this review we discuss how, inspired by nature's desi ...

Swiss Chemical Soc2013

Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthesizes ...

ACM2013

On Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...

2012

Techniques for modelling microstructure in metal forming processes

Roland Logé

This chapter discusses several types of numerical models for metallurgical evolution. First, some basic notions of microstructure representations and microstructure state variables, some features of hardening and recovery and some features of recrystalliza ...

Elsevier Ltd.2012

Structured Derivation of Semi-Synchronous Algorithms

André Schiper, Martin Hutle, Zarko Milosevic, Fatemeh Borran, Hagit Albo Attiya

The semi-synchronous model is an important middle ground between the synchronous and the asynchronous models of distributed computing. In this model, processes can detect (timeout) when other processes fail. However, since detection is done by timing out, ...

2011

The roles of mask luminance and perceptual grouping in visual backward masking

Michael Herzog, Gregory Francis

Visual backward masking is a commonly used technique in vision research and psychology. There are two distinct types of masking. Either masking is strongest for a simultaneous presentation of the target and the mask (A-type masking) or masking is strongest ...

Association for Research in Vision and Ophthalmology2009

Roving in perceptual learning: stimulus interference and overlapping neural populations

Michael Herzog, Elisa Tartaglia

Performance usually improves when observers train with one type of a visual stimulus. Roving denotes the situation when, instead of one, two or more types of stimuli are presented randomly interleaved (one per trial). For some stimulus types, performance i ...

Association for Research in Vision and Ophthalmology2008

Biphasic Electrospray Ionization for the Study of Interfacial Complexes

Hubert Girault, Manuel Alejandro Méndez Agudelo, Michel Prudent

Biphasic electrospray ionization (BESI) mass spectrometry is achieved by using a dual-channel microsprayer, where channels filled with different immiscible phases meet at the Taylor cone. Two types of interfacial complexation reactions have been studied: t ...

The Japan Society of Analytical Chemistry / The Japan Society for Analytical Chemistry2008

Object-oriented pattern matching

Burak Emir

Pattern matching is a programming language construct considered essential in functional programming. Its purpose is to inspect and decompose data. Instead, object-oriented programming languages do not have a dedicated construct for this purpose. A possible ...

EPFL2007