13489 search results - page 438 / 2698 » Operating System |
261
click to vote
CAV
2008
Springer
15 years 8 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...
196
click to vote
PPOPP
2003
ACM
16 years 2 days ago
2003
ACM
Sensor networks are long-running computer systems with many sensing/compute nodes working to gather information about their environment, process and fuse that information, and in ...
182
click to vote
EUROSEC
2010
ACM
16 years 1 months ago
2010
ACM
Under conditions of heavy traffic load or sudden traffic bursts, the peak processing throughput of network intrusion detection systems (NIDS) may not be sufficient for inspecting ...
164
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...
174
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
This paper presents three policies for effectively utilizing TCP offload network interfaces that support connection handoff. These policies allow connection handoff to reduce the ...