Sciweavers

13489 search results - page 220 / 2698
» Self-migration of operating systems
Sort
View
ISVC
2005
Springer
16 years 3 days ago
Distributed Multi-camera Surveillance for Aircraft Servicing Operations
This paper presents the visual surveillance aspects of a distributed intelligent system that has been developed in the context of aircraft activity monitoring. The overall trackin...
David Thirde, Mark Borg, James M. Ferryman, Josep ...
PDPTA
2003
15 years 8 months ago
TORNADO: A Novel Input Replay Tool
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...
Frank Cornelis, Michiel Ronsse, Koenraad De Bossch...
IPPS
2006
IEEE
16 years 19 days ago
Reducing the associativity and size of step caches in CRCW operation
Step caches are caches in which data entered to an cache array is kept valid only until the end of ongoing step of execution. Together with an advanced pipelined multithreaded arc...
M. Forsell
HOTOS
2007
IEEE
15 years 10 months ago
Towards a Practical, Verified Kernel
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...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
JOT
2007
81views more  JOT 2007»
15 years 6 months ago
Persistent Objects and Capabilities in Timor
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...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...