883 search results - page 47 / 177 » The RETOS operating system: kernel, tools and applications |
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
RTAS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents an experimental study of the latency behavior of the Linux OS. We identify major sources of latency in the kernel with the goal of providing real-time performa...
USENIX
2003
14 years 11 months ago
2003
Performance was an important issue in the development of X from the initial protocol design and continues to be important in modern application and extension development. That X i...
CACM
2010
14 years 10 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
USENIX
2003
14 years 11 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...