13618 search results - page 305 / 2724 » The Newton Operating System |
162
Voted
JFLP
2002
15 years 6 months ago
2002
We consider prescriptive type systems for logic programs (as in G
157
click to vote
PDPTA
2003
15 years 8 months ago
2003
This paper presents TORNADO, a unique input replay tool based on system call replay. It is capable of tracing program executions with an acceptable overhead of less than a factor 2...
162
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
142
click to vote
JOT
2007
15 years 6 months ago
2007
The paper describes how the idea of persistent objects is integrated into the Timor programming language. The strategy adopted allows types to be instantiated at two levels: as &q...