Publications associées à Proof (truth)

A Case for Heterogeneous Technology-Mapping: Soft versus Hard Multiplexers

Lookup table-based FPGAs offer flexibility but compromise on performance, as compared to custom CMOS implementations. This paper explores the idea of minimising this performance gap by using fixed, fine-grained, non-programmable logic structures in place o ...

Ieee2013

Byzantine Agreement with Homonyms

Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert

So far, the distributed computing community has either assumed that all the processes of a distributed system have distinct identifiers or, more rarely, that the processes are anonymous and have no identifiers. These are two extremes of the same general mo ...

Springer2013

Speculative Linearizability

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Linearizability is a key design methodology for reasoning about implementations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusion that operations execute sequentially and fault-free, despite the a ...

Assoc Computing Machinery2012

On Fast Code Completion using Type Inhabitation

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

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Boris Buffoni

The system {-u '' + u = u(3) + lambda v, u(x)= u(-x) is an element of R, x is an element of R, -v '' + v = v(3) + lambda u, v(x) = v(-x) is an element of R, x is an element of R, describes pulses in nonlinear fiber couplers. It has the family (U1+lambda, - ...

Advanced Nonlinear Studies, Inc2012

A Sub 100μW UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester

Nico de Rooij, Danick Briand, Pierre-André Farine, Cyril Botteron, Pattanaphong Janphuang, Christian Robert, Gabriele Tasselli

Piezoelectric harvesters are considered an alternative power source for applications that can support low to medium data rate transmissions in wireless sensor networks where ambient vibrations can provide microwatts to milliwatts of power. In this paper, w ...

IEEE2012

A Sub 100 µW UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester

Nico de Rooij, Danick Briand, Pierre-André Farine, Cyril Botteron, Pattanaphong Janphuang, Christian Robert

Ieee2012

A Sub 100 mu W UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester

Nico de Rooij, Danick Briand, Pierre-André Farine, Pattanaphong Janphuang

IEEE2012

Electrochemical Push–Pull Scanner with Mass Spectrometry Detection

Hubert Girault, Andreas Stephan Lesch, Liang Qiao, Fernando Cortes Salazar, Dmitry Momotenko, Gunther Wittstock

This manuscript presents a push-pull electrochem. scanner able to image reactivity of initially dry surfaces by scanning electrochem. microscopy (SECM) and to probe mols. present or generated at the surface by mass spectrometry (MS). The proof-of-concept i ...

Amer Chemical Soc2012

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.

Proof (truth)

A Case for Heterogeneous Technology-Mapping: Soft versus Hard Multiplexers

Byzantine Agreement with Homonyms

Passing to the limit in maximal slope curves: from a regularized Perona–Malik equation to the total variation flow

Speculative Linearizability

On Fast Code Completion using Type Inhabitation

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

A Sub 100μW UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester

A Sub 100 µW UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester

A Sub 100 mu W UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester

Electrochemical Push–Pull Scanner with Mass Spectrometry Detection

Graph Chatbot

Chattez avec Graph Search

Passing to the limit in maximal slope curves: from a regularized Perona–Malik equation to the total variation flow

Byzantine Agreement with Homonyms

On Fast Code Completion using Type Inhabitation

A Case for Heterogeneous Technology-Mapping: Soft versus Hard Multiplexers

Speculative Linearizability

Electrochemical Push–Pull Scanner with Mass Spectrometry Detection

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

A Sub 100μW UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester

A Sub 100 mu W UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester

A Sub 100 µW UWB Sensor-Node Powered by a Piezoelectric Vibration Harvester