13489 search results - page 169 / 2698 » Self-migration of operating systems |
179
click to vote
HIPC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract— In this work, we demonstrate the power of providing a common set of operating system services to Grid Architectures, including high-performance I/O, communication, reso...
151
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
156
click to vote
HYBRID
2005
Springer
16 years 1 days ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
196
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
Copy-pasted code is very common in large software because programmers prefer reusing code via copy-paste in order to reduce programming effort. Recent studies show that copy-paste...
212
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...