5376 search results - page 323 / 1076 » Scalable Kernel Systems |
206
click to vote
CAL
2006
15 years 6 months ago
2006
User-level communication alleviates the software overhead of the communication subsystem by allowing applications to access the network interface directly. For that purpose, effici...
165
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The problem of variable sample rate conversion (SRC) has received much attention on account of its applications in software defined radios (SDRs) that must support a wide varie...
183
click to vote
DAGSTUHL
1994
15 years 8 months ago
1994
A strategy for working with incomplete information is called competitive if it solves each problem instance at a cost not exceeding the cost of an optimal solution (with full info...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
181
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Computers are notoriously insecure, in part because application security policies do not map well onto traditional protection mechanisms such as Unix user accounts or hardware pag...