Sergio Guastaferro

benchmark compatibility extensibility chorus mach torvald tanenbaum liedtke l4linux linux l4 system kernel microkernel performance avanzati algoritmi complessità brute force recursive cover vertex programmazione while ciclo iterazione informatica didattica