In: Datenbank-Spektrum, 2015, vol. 15, no. 2, p. 99-108
|
Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021INFO003.
Blockchains are a new type of state machine replication that have raised interesting challenges. A replicated state machine (RSM) is a well-established approach to building fault-tolerant systems. Because each replica needs to execute the same set of instructions to transition through the same state changes, adding more replicas does not translate directly to an increase in performance. On top...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020ECO002.
My dissertation consists of three chapters, each of which focuses on a different area of research in asset pricing. The first chapter deals with the informational role of brokerage firms during fire sales in the equity market. The second chapter exploits the ETF program by the bank of Japan as a quasi-natural experiment to measure the slope of the equity demand curve. The last chapter presents...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO004.
Many current online services need to serve clients distributed across geographic areas. Coordinating highly available and scalable geographically distributed replicas, however, is challenging. While State Machine Replication is the most direct way of achieving availability, no scalability comes from the traditional approach. Typically, scalability is obtained by partitioning the original...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO003.
Services rely on replication mechanisms to be available at all time. The service demanding high availability is replicated on a set of machines called replicas. To maintain the consistency of replicas, a consensus protocol such as Paxos or Raft is used to synchronize the replicas' state. As a result, failures of a minority of replicas will not affect the service as other non-faulty replicas...
|
Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO009.
This thesis is about routing and forwarding for inherently multicast communication such as the communication typical of information-centric networks. The notion of Information-Centric Networking (ICN) is an evolution of the Internet from the current host-centric architecture to a new architecture in which communication is based on “named information”. The ambitious goal of ICN is to...
|
Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO007.
Symbolic analysis is an important element of program verification and automatic testing. Symbolic analysis techniques abstract program properties as expressions of symbolic input values to characterise the program logical constraints, and rely on Satisfiability Modulo Theories (SMT) solvers to both validate the satisfiability of the constraint expression and verify the corresponding program...
|
In: Distributed Computing, 2006, vol. 18, no. 5, p. 359-374
|
In: Computational Optimization and Applications, 2011, vol. 49, no. 1, p. 193-212
|
In: Mathematical Methods of Operations Research, 2011, vol. 74, no. 3, p. 327-342
|