Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Butrico
Experience With K42, an Open-Source, Linux-Compatible, Scalable Operating-System Kernel
IBM Systems Journal
Related publications
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Development of Linux Ubuntu Open Source Distribution Based Open Source Distribution System to Minimize Students 'Software Study
Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel
Proceedings of the Institute for System Programming of RAS
Constructing a Committed Operating System Employing Linux
International Journal of Computer Applications
Linux Kernel Vulnerabilities
An Automated System of Network and System Administration of Windows and Linux Family Operating Systems
Science Bulletin of the Novosibirsk State Technical University
Evolution of the Linux Kernel
Proceedings of the Institute for System Programming of the RAS
Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Operating System Kernel Coprocessor for Embedded Applications
