I have been working on a Bao Hypervisor implementation for the Cheshire platform (CVA6-based). I can now run Bao in an SMP configuration with two cores. I have also configured Linux + baremetal and ...
Dmitry Prokhorov and Vadim Sertakov, students of the MAI Institute No. 12 "Aerospace High Technologies and Production", have created software for drones, which makes it possible to carry out detailed ...
To address these shortcomings, we introduce SymPcNSGA-Testing (Symbolic execution, Path clustering and NSGA-II Testing), a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results