Lessons Learned from Porting HelenOS to RISC-V

il y a 4 ans 530 Vues

Microkernels in the Era of Data-Centric Computing

il y a 5 ans 451 Vues

Formal Verification of Functional Code

il y a 6 ans 1323 Vues

IPC in Microkernel Systems, Capabilities

il y a 6 ans 1930 Vues

Unikernels, Multikernels, Virtual Machine-based Kernels

il y a 6 ans 976 Vues

Code Instrumentation, Dynamic Tracing

il y a 6 ans 499 Vues

Nízkoúrovňové programování

il y a 7 ans 546 Vues

Porting HelenOS to RISC-V

il y a 7 ans 2042 Vues

FOSDEM 2014: Read-Copy-Update for HelenOS

il y a 9 ans 809 Vues

FOSDEM 2013: Operating Systems Hot Topics

il y a 9 ans 683 Vues

HelenOS: State of the Union 2012

il y a 10 ans 524 Vues