Refine my results

Specific Collection


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

Enhancing multi-scale cardiac simulations by coupling electrophysiology and mechanics : a flexible high performance approach to cardiac electromechanics

Pozzi, Sonia ; Krause, Rolf (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO005.

This work focuses on the development of computational methods for the simulation of the propagation of the electrical potential in the heart and of the resulting mechanical contraction. The interaction of these two physical phenomena is described by an electromechanical model which consists of the monodomain system, which describes the propagation of the action potential in the cardiac tissue,...

Consortium of Swiss Academic Libraries

Analog property checkers: a DDR2 case study

Jones, Kevin ; Konrad, Victor ; Ničković, Dejan

In: Formal Methods in System Design, 2010, vol. 36, no. 2, p. 114-130