Affiner les résultats

Institution

  • Fribourg désactiver le filtre

Collection spécifique

Langue

Università della Svizzera italiana

Testing machine learning based systems : a systematic mapping

Riccio, Vincenzo ; Jahangirova, Gunel ; Stocco, Andrea ; Humbatova, Nargiz ; Weiss, Michael ; Tonella, Paolo

In: Empirical Software Engineering, 2020, vol. 25, no. 6, p. 5193–5254

Context: A Machine Learning based System (MLS) is a software system including one or more components that learn how to perform a task from a given data set. The increasing adoption of MLSs in safety critical domains such as autonomous driving, healthcare, and finance has fostered much attention towards the quality assurance of such systems. Despite the advances in software testing, MLSs bring...

Università della Svizzera italiana

Behaviour of exponential three-point coordinates at the vertices of convex polygons

Anisimov, Dmitry ; Hormann , Kai ; Schneider

In: Journal of computational and applied mathematics, 2019, vol. 350, p. 114-129

Barycentric coordinates provide a convenient way to represent a point inside a triangle as a convex combination of the triangle’s vertices and to linearly interpolate data given at these vertices. Due to their favourable properties, they are commonly applied in geometric modelling, finite element methods, computer graphics, and many other fields. In some of these applications, it is desirable...

Università della Svizzera italiana

On the many faces of atomic multicast

Coelho, Paulo ; Pedone, Fernando (Dir.)

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

Università della Svizzera italiana

Consensus protocols exploiting network programmability

Dang, Huynh Tu ; Soulé, Robert (Dir.) ; Pedone, Fernando (Codir.)

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

Università della Svizzera italiana

Efficient tree-based content-based routing schemes

Khazaei, Koorosh ; Carzaniga, Antonio (Dir.)

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

Consortium of Swiss Academic Libraries

Dynamic group communication

Schiper, André

In: Distributed Computing, 2006, vol. 18, no. 5, p. 359-374

Consortium of Swiss Academic Libraries

Illusory versus genuine control in agent-based games

Satinover, J. B. ; Sornette, D.

In: The European Physical Journal B, 2009, vol. 67, no. 3, p. 357-367

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