Fixup wrong width
pipeline / build-and-push-images (push) Successful in 11s

This commit is contained in:
2025-03-13 14:33:39 +01:00
parent 41ac5d763f
commit f6085cb676
+1 -1
View File
@@ -66,7 +66,7 @@
<p class="date">2025</p>
<p style="max-width: 1015px;"><strong>Master's internship</strong>, ONERA, “Probabilistic analysis of execution time on multi/manycore heterogeneous boards for optimal task mapping”</p>
<p style="max-width: 1015px;" class="subtext" style="grid-column: 2;">Real-time multicore optimal task mapping using a solver that automatically measures a pWCET for a solution on target platform</p>
<p class="subtext" style="grid-column: 2;">Real-time multicore optimal task mapping using a solver that automatically measures a pWCET for a solution on target platform</p>
<p class="date">Summer 2023</p>
<p style="max-width: 1015px;"><strong>Master's internship</strong>, Huawei Research Zurich, “Improving performances of virtualized servers by removing the guest kernel/user isolation layer”</p>