Pintos

Pintos is computer software, a simple instructional operating system framework for the 80x86 processor architecture. It supports kernel threads… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2009-2016
0120092016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
  • Levente Kurusa
  • 2017
Traditionally, teaching operating systems has been considered hard for a number of reasons. Most commonly the fact that operating… (More)
Is this relevant?
2017
2017
Luis Pedro García-Pintos, Noah Linden, Artur S. L. Malabarba, Anthony J. Short, and Andreas Winter School of Mathematics… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2017
2017
Introductory curricula, courses, and programming assignments seem to get most of the attention at Computer Science education… (More)
Is this relevant?
2017
2017
Distributional data for the fourteen species of Gerridae known to occur in Argentina are given: Eurygerris fuscinervis (herein… (More)
  • table 1
Is this relevant?
2016
2016
To circumvent the rapid crystallization in water’s “no man’s land” and fast desorption for water films in ultrahigh vacuum (UHV… (More)
Is this relevant?
2013
2013
In the context of surrogate-based optimization (SBO), most designers have still very little guidance on when to stop and how to… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2009
2009
Pintos is an instructional operating system, complete with documentation and ready-made, modular projects that introduce students… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?