HelenOS

Known as: Jakub Jermar, SPARTAN kernel 
HelenOS is an operating system based on a multiserver microkernel design. The source code of HelenOS is published under a BSD License.
Wikipedia

Topic mentions per year

Topic mentions per year

2010-2018
0120102018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Transactional Memory (TM) is an approach to concurrency control that aims to make writing parallel programs both effective and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2016
2016
VARIA: PROJECT REPORT During the period 2012-2015, the Institute of Geography and Spatial Organization of the Polish Academy of… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2015
2015
The article describes the effect of the replacement of the used reference coordinate system in the georeferencing of an old map… (More)
  • figure 1
  • figure 3
  • figure 4
  • table I
  • figure 5
Is this relevant?
2015
2015
LINHART JAKUB, SKORKOVSKÝ JAROMÍR. 2014. Theory of Constraints and Its Application in a Specifi c Company. Acta Universitatis… (More)
Is this relevant?
2014
2014
  • Silva, Pablo Martínez Diente
  • 2014
El epígrafe con el que comienza este acercamiento a De sobremesa contiene varios motivos empleados por José Asunción Silva en su… (More)
Is this relevant?
2010
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in… (More)
  • figure 1
Is this relevant?