841 search results - page 104 / 169 » Hardware Software Partitioning of Operating Systems |
IOLTS
2008
IEEE
14 years 3 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
USENIX
2003
13 years 10 months ago
2003
With the development of low cost hardware for wireless networking based on IEEE 802.11b, wireless networks are an emerging technology. Using these wireless techniques outdoors it ...
USENIX
2003
13 years 10 months ago
2003
We describe two modifications to the FreeBSD 4.6 NFS server to increase read throughput by improving the read-ahead heuristic to deal with reordered requests and stride access pa...
TII
2010
13 years 3 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
WOSP
1998
ACM
14 years 1 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...