7 search results - page 1 / 2 » EROS: A Principle-Driven Operating System from the Ground Up |
SOFTWARE
2002
13 years 4 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
ECIS
2000
13 years 6 months ago
2000
-International Information Systems, often of critical importance for the operations of the multinational enterprise, are poorly researches and there is a dearth of theoretical fram...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
EUROSYS
2006
ACM
13 years 10 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...