Refine my results

Specific Collection


Università della Svizzera italiana

Mining code change patterns to aid software development

Fengcai, Wen ; Bavota, Gabriele (Dir.) ; Lanza, Michele (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021INFO012.

Mining Software Repositories (MSR) has become a complete and mature research field, also due to the increasing number of open source projects publicly available. Repository hosting services such as GitHub provide unprecedented access to millions of events generated during development activities (e.g., code commits, pull requests), that can be mined and analyzed to extract new pieces of...

Consortium of Swiss Academic Libraries

Decoupling with Random Quantum Circuits

Brown, Winton ; Fawzi, Omar

In: Communications in Mathematical Physics, 2015, vol. 340, no. 3, p. 867-900

Università della Svizzera italiana

Analyzing system performance with probabilistic performance annotations

Rogora, Daniele ; Carzaniga, Antonio (Dir.) ; Soulé, Robert (Codir.)

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

Università della Svizzera italiana

Less is more : efficient hardware design through Approximate Logic Synthesis

Scarabottolo, Ilaria ; Pozzi, Laura (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO023.

As energy efficiency becomes a crucial concern in almost every kind of digital application, Approximate Computing gains popularity as a potential answer to this ever-growing energy quest. Approximate Computing is a design paradigm particularly suited for error- resilient applications, where small losses in accuracy do not represent a significant reduction in the quality of the result. In these...

Università della Svizzera italiana

Design space exploration in high-level synthesis

Ferretti, Lorenzo ; Pozzi, Laura (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO016.

High Level Synthesis (HLS) is a process which, starting from a high-level description of an application (C/C++), generates the corresponding RTL code describing the hardware implementation of the desired functionality. The HLS process is usually controlled by user-given directives (e.g., directives to set whether or not to unroll a loop) which influence the resulting implementation area and...

Haute Ecole d'Ingénierie

Video processing on SoC

Fracheboud, Loïc ; Corthay, François (Dir.)

Mémoire de bachelor : Haute Ecole d'Ingénierie, 2019.

The goal of this project was to perform real-time video processing tasks on a Zynq SoC with a dedicated development environment embedded in a virtual machine.

Università della Svizzera italiana

Leukocyte tracking database, a collection of immune cell tracks from intravital 2-photon microscopy videos

Pizzagalli, Diego Ulisse ; Farsakoglu, Yagmur ; Palomino-Segura, Miguel ; Palladino, Elisa ; Sintes, Jordi ; Marangoni, Francesco ; Mempel, Thorsten R. ; Koh, Wan Hon ; Murooka, Thomas T. ; Thelen, Flavian ; Stein, Jens V. ; Pozzi, Giuseppe ; Marcus Thelen ; Krause, Rolf ; Gonzalez, Santiago Fernandez

In: Scientific data, 2018, vol. 5, p. 180129

Recent advances in intravital video microscopy have allowed the visualization of leukocyte behavior in vivo, revealing unprecedented spatiotemporal dynamics of immune cell interaction. However, state-of-the-art software and methods for automatically measuring cell migration exhibit limitations in tracking the position of leukocytes over time. Challenges arise both from the complex migration...

Consortium of Swiss Academic Libraries

Open-source software in medical imaging: development of OsiriX

Ratib, Osman ; Rosset, Antoine

In: International Journal of Computer Assisted Radiology and Surgery, 2006, vol. 1, no. 4, p. 187-196