Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021INFO006.
Solving large sparse linear systems is at the heart of many application problems arising from scientific and engineering problems. These systems are often solved by direct factorization solvers, especially when the system needs to be solved for multiple right-hand sides or when a high numerical precision is required. Direct solvers are based on matrix factorization, which is then followed by...
|
In: Computing, 2014, vol. 96, no. 4, p. 279-292
|
Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO008.
Task granularity, i.e., the amount of work performed by parallel tasks, is a key performance attribute of parallel applications. On the one hand, fine-grained tasks (i.e., small tasks carrying out few computations) may introduce considerable parallelization overheads. On the other hand, coarse-grained tasks (i.e., large tasks performing substantial computations) may not fully utilize the...
|
In: Computing, 2013, vol. 95, no. 12, p. 1121-1136
|
In: Formal Methods in System Design, 2013, vol. 42, no. 3, p. 221-261
|
Mémoire de bachelor : Haute Ecole de Travail Social, 2013.
Ce Travail de Bachelor tente de répondre au mieux à cette question : Quelles caractéristiques et quel accompagnement éducatif pour les jeunes mettant en échec la prise en charge habituelle de l’institution ? L’objectif de la recherche vise à amener une réflexion et des pistes d’intervention au sujet des adolescents difficiles pour lesquels le fonctionnement éducatif institutionnel...
|
Effective parallelization of fine-grained tasks, such as in dynamic program analysis, is challenging because thread communication overheads may outweigh the benefits of parallelism. In this paper, we address this issue with deferred methods, a novel Java framework that aggregates invocations of analysis methods in thread-local buffers and processes them altogether when a buffer is full. The...
|