Publications associées à Token ring

SMoTherSpectre: Exploiting Speculative Execution through Port Contention

Babak Falsafi, Mathias Josef Payer, Atri Bhattacharyya

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

Parameterized Systems in BIP: Design and Model Checking

Joseph Sifakis, Simon Bliudze, Qiang Wang

BIP is a component-based framework for system design that has important industrial applications. BIP is built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIP to system ...

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2016

SPADnet: a fully digital, scalable and networked photonic component for time-of-flight PET applications

Edoardo Charbon, Claudio Bruschini, John Richard Walker, Gabor Nemeth

The SPADnet FP7 European project is aimed at a new generation of fully digital, scalable and networked photonic components to enable large area image sensors, with primary target gamma-ray and coincidence detection in (Time-of-Flight) Positron Emission Tom ...

Spie-Int Soc Optical Engineering2014

Toward development of a biomimetic tensegrity footbridge

Ian Smith, Nicolas Willy Veuve, Seif Dalil Safaei

Biomimetic structures interact with their environment, change their properties, learn and self-repair, thereby providing properties that are similar to living organisms. Interactions with the environment involve unique challenges in the field of computatio ...

International Center for Numerical Methods in Engineering (CIMNE)2014

Synchronization for Impulse-Radio UWB With Energy-Detection and Multi-User Interference: Algorithms and Application to IEEE 802.15.4a

Jean-Yves Le Boudec, Ruben Merz, Manuel Flury

Energy-detection (ED) receivers can take advantage of the ranging and multipath resistance capabilities of impulse-radio ultra-wideband (IR-UWB) physical layers at a much lower complexity than coherent receivers. However, ED receivers are extremely vulnera ...

Institute of Electrical and Electronics Engineers2011

Hardware Implementation of an Omnidirectional Camera with Real-Time 3D Imaging Capability

Pierre Vandergheynst, Alexandre Schmid, Luigi Bagnato, Yusuf Leblebici, Laurent Jacques, Hossein Afshari

A novel hardware implementation of an omnidirectional image sensor is presented which is capable of acquiring and processing 3D image sequences in real time. The system consists of a hemispherical arrangement of a large number of CMOS imagers, connecting t ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Stretching BFT

Rachid Guerraoui, Marko Vukolic, Nikola Knezevic

State-of-the-art BFT protocols remain far from the maximum theoretical throughput. Based on exhaustive eval- uation and monitoring of existing BFT protocols, we highlight few impediments to their scaling. These include the use of IP multicast, the presence ...

2010

Concurrent Programming Paradigms, A Comparison in Scala

Rachid Guerraoui, Martin Odersky, Mohsen Lesani

There is a rapid rise of multi-cores in recent hardware architectures. To exploit computational power of multi-core architectures, software should shift to be as concurrent as possible; and therefore should have concurrency control mechanisms. There are di ...

2009

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.

Token ring

SMoTherSpectre: Exploiting Speculative Execution through Port Contention

Parameterized Systems in BIP: Design and Model Checking

SPADnet: a fully digital, scalable and networked photonic component for time-of-flight PET applications

Toward development of a biomimetic tensegrity footbridge

A High-Throughput Byzantine Fault-Tolerant Protocol

Synchronization for Impulse-Radio UWB With Energy-Detection and Multi-User Interference: Algorithms and Application to IEEE 802.15.4a

Hardware Implementation of an Omnidirectional Camera with Real-Time 3D Imaging Capability

Stretching BFT

Evaluating the Suitability of Server Network Cards for Software Routers

Concurrent Programming Paradigms, A Comparison in Scala

Graph Chatbot

Chattez avec Graph Search

Hardware Implementation of an Omnidirectional Camera with Real-Time 3D Imaging Capability

Toward development of a biomimetic tensegrity footbridge

Evaluating the Suitability of Server Network Cards for Software Routers

Stretching BFT

SPADnet: a fully digital, scalable and networked photonic component for time-of-flight PET applications

SMoTherSpectre: Exploiting Speculative Execution through Port Contention

Synchronization for Impulse-Radio UWB With Energy-Detection and Multi-User Interference: Algorithms and Application to IEEE 802.15.4a

A High-Throughput Byzantine Fault-Tolerant Protocol

Concurrent Programming Paradigms, A Comparison in Scala

Parameterized Systems in BIP: Design and Model Checking