16702 search results - page 186 / 3341 » Server operating systems |
127
click to vote
ISARCS
2010
15 years 6 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
134
click to vote
CSC
2006
15 years 5 months ago
2006
: A review of a uni...ed approach to nonlinear operator dynamical systems is presented. The solution to a system of nonanticipating operator di
121
click to vote
USENIX
2003
15 years 5 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
116
click to vote
USENIX
1996
15 years 5 months ago
1996
This paper evaluates the performance of three popular versions of the UNIX operating system on the x86 architecture: Linux, FreeBSD, and Solaris. We evaluate the systems using fre...
111
click to vote
SRDS
1997
IEEE
15 years 8 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...