883 search results - page 63 / 177 » The RETOS operating system: kernel, tools and applications |
124
click to vote
CAV
2008
Springer
14 years 12 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
SEUS
2007
IEEE
15 years 4 months ago
2007
IEEE
The popularity of mobile and multimedia applications made real-time support a mandatory feature for embedded operating systems. However, the current situation is that the overall p...
APCSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we discuss the architecture of a modular UNIX-compatible operating system, MINIX 3, that provides reliability beyond that of most other systems. With nearly the ent...
LOBJET
2000
14 years 9 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
ACL
2010
14 years 8 months ago
2010
This paper describes a series of experiments to test the hypothesis that the parallel application of multiple NLP tools and the integration of their results improves the correctne...