1845 search results - page 325 / 369 » Operating System Performance in Support of Real-Time Middlew... |
110
click to vote
ICNP
2006
IEEE
15 years 7 months ago
2006
IEEE
— Binding services are crucial building blocks in networks and networked applications. A binding service (e.g., the Domain Name System (DNS)) maps certain information, namely, bi...
140
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
APBC
2003
15 years 2 months ago
2003
Nowadays, biologists use a number of large biological databanks to find relevant information for their research. Users of these databanks face a number of problems. One problem i...
128
click to vote
PERVASIVE
2008
Springer
15 years 1 months ago
2008
Springer
Networked devices for the storage and rendering of digital media are rapidly becoming ubiquitous in homes throughout the industrialized world. Existing approaches to home media con...
SIGOPS
2008
15 years 1 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...