1299 search results - page 49 / 260 » On the Correctness of Operating System Kernels |
113
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
115
click to vote
PDPTA
2003
15 years 5 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...
128
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
126
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Accurate, reproducible and comparable measurement of collective operations is a complicated task. Although Different measurement schemes are implemented in wellknown benchmarks, m...
123
click to vote
AAAI
2000
15 years 5 months ago
2000
Compelling synthetic characters must behave in ways that reflect their past experience and thus allow for individual personalization. We therefore need a method that allows charac...