Pintos

Pintos

Pintos

Pintos es un sistema operativo educativo creado en la Stanford University en 2004 y usado en los cursos de pregrado para introducir conceptos de diseño e implementación de un sistema operativo, requiriendo la implementación de partes bastante significativas de un sistema operativo real, como son el manejo de threads y memoria y el acceso al sistema de archivos. Pintos deriva de NachOS un sistema similar creado por la University of California, Berkeley. A diferencia de NachOS, Pintos puede ejecutarse en el hardware x86 actual, en lugar de correr como una máquina virtual sobre un sistema anfitrión. Pintos está escrito en el Lenguaje de programación C en lugar de en C++.


Enlaces externos

Obtenido de "Pintos"

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Pintos — is an instructional operating system created at Stanford University by Ben Pfaff in 2004. Pintos originated as a replacement for Nachos, a similar system originally developed at UC Berkeley by Tom Anderson, and was designed along similar… …   Wikipedia

  • Pintos — Pin tos, n. pl.; sing. {Pinto}. [Sp., painted, mottled.] (Eyhnol.) A mountain tribe of Mexican Indians living near Acapulco. They are remarkable for having the dark skin of the face irregularly spotted with white. Called also {speckled Indians}.… …   The Collaborative International Dictionary of English

  • Pintos — Pintos, Mal de los, s. Pinta …   Meyers Großes Konversations-Lexikon

  • Pintos — Pintos, Mal de los, s. Pinta …   Kleines Konversations-Lexikon

  • pinţos — pinţós, oásă, adj. (reg.; despre oameni şi copii) năzuros, mofturos, mofturos la mâncare. Trimis de blaurb, 21.09.2006. Sursa: DAR …   Dicționar Român

  • pintos — pin·to || pɪntəʊ n. spotted horse, horse that has spotted hair adj. spotted, mottled, covered in spots …   English contemporary dictionary

  • Abel Pintos — en 2011. Datos generales Nacimiento 11 de mayo de 1984, Ingen …   Wikipedia Español

  • Die drei Pintos — Carl Maria von Weber …   Wikipedia

  • Daniel García Pintos — Saltar a navegación, búsqueda Daniel García Pintos Diputado de la República por Montevideo 2005 – 2010 …   Wikipedia Español

  • Fidel Pintos — Saltar a navegación, búsqueda Fidel Pintos Fidel Pintos (nació el 28 de agosto de 1905, en Buenos Aires, Argentina y falleció el 11 de mayo de 1974) fue un actor y humorista de cine y …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”