Università della Svizzera italiana

Building global and scalable systems with atomic multicast

Benz, Samuel ; Pedone, Fernando (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO003.

The rise of worldwide Internet-scale services demands large distributed systems. Indeed, when handling several millions of users, it is common to operate thousands of servers spread across the globe. Here, replication plays a central role, as it contributes to improve the user experience by hiding failures and by providing acceptable latency. In this thesis, we claim that atomic multicast,...

Università della Svizzera italiana

Software redundancy : what, where, how

Mattavelli, Andrea ; Pezzè, Mauro (Dir.) ; Carzaniga, Antonio (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2016 ; 2016INFO007.

Software systems have become pervasive in everyday life and are the core component of many crucial activities. An inadequate level of reliability may determine the commercial failure of a software product. Still, despite the commitment and the rigorous verification processes employed by developers, software is deployed with faults. To increase the reliability of software systems, researchers...

Università della Svizzera italiana

Self-adaptivity of applications on network on chip multiprocessors : the case of fault-tolerant Kahn process networks

Derin, Onur ; Sami, Mariagiovanna (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO010.

Technology scaling accompanied with higher operating frequencies and the ability to integrate more functionality in the same chip has been the driving force behind delivering higher performance computing systems at lower costs. Embedded computing systems, which have been riding the same wave of success, have evolved into complex architectures encompassing a high number of cores interconnected...

Università della Svizzera italiana

A transport protocol for best-effort content-based networks

Malekpour, Amirhossein ; Carzaniga, Antonio ; Pedone, Fernando (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2012 ; 2012INFO007.

Content-based publish/subscribe (or simply content-based) networking is a relatively new communication paradigm compared to IP networking, with a different approach to addressing network hosts. In content- based networking addressing as well as information dissemination center around information and interests. A host's address is represented by its interest and information is routed by a...

Università della Svizzera italiana

Automatically generated runtime checks for design-level constraints

Wuttke, Jochen ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2010 ; 2010INFO002.

In recent years, component- and service-orientation has gained importance as the new paradigm in software engineering, and it has introduced the challenge of dynamic component look-up and binding into the validation and verification process. This introduces a new class of inherently dynamic properties that have to be verified when the system is running in its target environment rather than...