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,...
|
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...
|
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...
|
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...
|
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...
|
