Luciano Barreto

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2011
VII Brazilian workshop on operating systems.
ACM SIGOPS Oper. Syst. Rev., 2011

Abstract specification and formalization of an operating system kernel in Z.
ACM SIGOPS Oper. Syst. Rev., 2011

Improving location privacy in mix-zones for VANETs.
Proceedings of the 30th IEEE International Performance Computing and Communications Conference, 2011

2008
Evaluation of interrupt handling timeliness in real-time Linux operating systems.
ACM SIGOPS Oper. Syst. Rev., 2008


  Loading...