Publications related to The Algebra of Connectors — Structuring Interaction in BIP

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.

The Cost of Scaling a Reliable Interconnection Topology

Rachid Guerraoui, Alexandre David Olivier Maurer

In distributed computing, many papers try to evaluate the message complexity of a distributed system as a function of the number of nodes n. But what about the cost of building the distributed system itself? Assuming that we want to reliably connect n node ...

2020

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...

ACM2017

Scaling a Reliable Distributed System

Alexandre David Olivier Maurer

We consider the problem of reliably connecting an arbitrarily large set of computers (nodes) with communication channels. Reliability means here the ability, for any two nodes, to remain connected (i.e., their ability to communicate) with probability at le ...

LPD EPFL2016

A Theory Agenda for Component-Based Design

Joseph Sifakis, Simon Bliudze

The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...

Springer International Publishing2015

Complete Completion using Types and Weights

Viktor Kuncak, Ruzica Piskac, Tihomir Gvero, Ivan Kuraj

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, Ruzica Piskac, Tihomir Gvero, Ivan Kuraj

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

Offset And Drift Analysis Of The Hall Effect Sensors. The Geometrical Parameters Influence

Maher Kayal, Jean-Michel Sallese, Maria-Alexandra Paun

Several Hall sensor configurations have been integrated in CMOS 0.35 mu m technology and analyzed in terms of offset at room temperature and offset drift. We searched for the best geometry that would minimize the offset and its corresponding drift. The tar ...

Inst Materials Physics2012

Modelling dynamic architectures using Dy-BIP

Joseph Sifakis, Nikolaos Maris

Dynamic architectures in which interactions between components can evolve during execution, are essential for modern computing systems such as web-based systems, reconfigurable middleware, wireless sensor networks and fault-tolerant systems. Currently, we ...

Springer Verlag2012

The Algebra of Connectors — Structuring Interaction in BIP

Graph Chatbot

Chat with Graph Search

The Cost of Scaling a Reliable Interconnection Topology

Performance of Piezoelectric MEMS Microphones

Irreducible components of exotic Springer fibres

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Scaling a Reliable Distributed System

A Theory Agenda for Component-Based Design

Complete Completion using Types and Weights

On Complete Completion using Types and Weights

Offset And Drift Analysis Of The Hall Effect Sensors. The Geometrical Parameters Influence

Modelling dynamic architectures using Dy-BIP

Performance of Piezoelectric MEMS Microphones

Irreducible components of exotic Springer fibres

Scaling a Reliable Distributed System

On Complete Completion using Types and Weights

Offset And Drift Analysis Of The Hall Effect Sensors. The Geometrical Parameters Influence

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Complete Completion using Types and Weights

Modelling dynamic architectures using Dy-BIP

A Theory Agenda for Component-Based Design

The Cost of Scaling a Reliable Interconnection Topology