1179 search results - page 6 / 236 » Proposal of a Support System for Device Driver Generation |
CCGRID
2011
IEEE
12 years 11 months ago
2011
IEEE
—Large, reliable and efficient storage systems are becoming increasingly important in enterprise environments. Our research in storage system design is oriented towards the expl...
CLUSTER
2005
IEEE
14 years 1 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
ECRTS
2005
IEEE
14 years 1 months ago
2005
IEEE
Low-level support of peripheral devices is one of the most demanding activities in a real-time operating system. In fact, the rapid development of new interface boards causes a tr...
SIGOPS
2008
13 years 7 months ago
2008
The Linux Kernel currently supports at least 8 distinct virtualization systems: Xen, KVM, VMware's VMI, IBM's System p, IBM's System z, User Mode Linux, lguest and ...