Publication

A Survey of Differentiated Services Proposals for the Internet

Related publications (32)

Graph Chatbot

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.

A General Framework for Architecture Composability

Joseph Sifakis, Simon Bliudze, Eduard Baranov

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

Springer Verlag2016

Configuration Logics: Modelling Architecture Styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Springer Int Publishing Ag2015

Architectures: Design patterns for component-based systems

Simon Bliudze

Architectures depict design principles, paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

2014

Ingenious Architecture: Usage and knowledge in Furetière’s Lexicography

Caroline Dionne

For 17th century lexicographer and writer Antoine Furetière, the terms pertaining to all arts and sciences are the mortar that holds together the edifice of language. In that sense, Furetière’s language is founded in large part upon the words used to descr ...

2014

Architecture Internalisation in BIP

Joseph Sifakis, Simon Bliudze

Architectures allow shifting the focus of developers from low-level code to high-level structures ensuring coordination in component-based systems. If the architecture description language is expressive enough, it is possible to describe architectures in a ...

2014

A General Framework for Architecture Composability

Joseph Sifakis, Simon Bliudze, Eduard Baranov

2014

Low Power Wake-up Receiver

Lorenz Flavio Schmid

With more devices becoming mobile, power consumption of communication becomes crucial. Wake-up receivers present an energy-ecient way of detecting incoming transmissions while at the same time the main radio can be fully powered down. After detection the r ...

2014

A General Framework for Architecture Composability

Joseph Sifakis, Simon Bliudze, Eduard Baranov

Springer International Publishing2014

Liouville's theorem and Laurent Series Expansions for Solutions of the Heat Equation

Aparajita Dasgupta

We give a Liouville theorem for entire solutions and Laurent series expansions for solutions with isolated singularities of the heat equation. ...

Springer Basel Ag2014

Dark Silicon Accelerators for Database Indexing

Babak Falsafi, Yusuf Onur Koçberber, Kevin Lim

The growing explosion of digital data motivates renewed emphasis on new architectures for future data-centric workloads. At the same time, the inability of power to scale with increasing transistor counts has led to a recent focus on “dark silicon” designs ...

2012