In: Glycobiology, 2018, vol. 28, no. 6, p. 349-362
|
In: International Journal of Epidemiology, 2017, vol. 46, no. 5, p. 1372-1378
|
In: Computing, 2015, vol. 97, no. 2, p. 103-144
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO024.
Understanding the performance of software is complicated. For several performance metrics, in addition to the algorithmic complexity, one must also consider the dynamics of running a program within different combinations of hardware and software environments. Such dynamical aspects are not visible from the code alone, and any kind of static analysis falls short. For example, in reality, the...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO004.
Human-robot interaction (HRI) is an active area of research and an essential component for the effective integration of mobile robots in everyday environments. In this PhD work, we studied, designed, implemented, and experimentally validated new efficient interaction modalities between humans and robots that share the same workspace. The core of the work revolves around deictic (pointing)...
|
An efficient fork/join application should maximize parallelism while minimizing overheads, and maximize locality while minimizing contention. However, there is no unique optimal implementation that best resolves such tradeoffs and failing in balancing them may lead to fork/join applications suffering from several issues (e.g., suboptimal forking, load imbalance, excessive synchronization),...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO008.
The main goal of a static type system is to prevent certain kinds of errors from happening at run time. A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type. Besides detecting these kinds of errors, a static type system can be an invaluable maintenance tool, can be useful for documentation purposes, and can aid in generating ...
|
In: Psychological Research, 2014, vol. 78, no. 1, p. 18-27
|
In: Computing, 2014, vol. 96, no. 4, p. 279-292
|
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...
|