BRISTOT DE OLIVEIRA, DANIEL
BRISTOT DE OLIVEIRA, DANIEL
Istituto di Telecomunicazioni, Informatica e Fotonica
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
2018-01-01 BRISTOT DE OLIVEIRA, Daniel; Cucinotta, Tommaso; Silva de Oliveira, Romulo
Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux
2018-01-01 BRISTOT DE OLIVEIRA, Daniel; Casini, Daniel; Romulo Silva de Oliveira, ; Cucinotta, Tommaso; Alessandro Biondi and Giorgio Buttazzo,
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata | 1-gen-2018 | BRISTOT DE OLIVEIRA, Daniel; Cucinotta, Tommaso; Silva de Oliveira, Romulo | |
Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux | 1-gen-2018 | BRISTOT DE OLIVEIRA, Daniel; Casini, Daniel; Romulo Silva de Oliveira, ; Cucinotta, Tommaso; Alessandro Biondi and Giorgio Buttazzo, |