1268 search results - page 34 / 254 » Verifying distributed systems: the operational approach |
CODASPY
2012
12 years 5 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
WSC
2001
13 years 11 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...
USENIX
1994
13 years 11 months ago
1994
Despite impressive advances in file system throughput resulting from technologies such as high-bandwidth networks and disk arrays, file system latency has not improved and in many...