Sciweavers

2674 search results - page 459 / 535
» On architecture transparency in operating systems
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 11 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
NOSSDAV
2004
Springer
15 years 11 months ago
Distributed server replication in large scale networks
Quality of service for high-bandwidth or delay-sensitive applications in the Internet, such as streaming media and online games, can be significantly improved by replicating serv...
Bong-Jun Ko, Dan Rubenstein
CCGRID
2003
IEEE
15 years 11 months ago
CARDs: Cluster-Aware Remote Disks
This paper presents Cluster-Aware Remote Disks (CARDs), a Single System I/O architecture for cluster computing. CARDs virtualize accesses to remote cluster disks over a System Are...
Vlad Olaru, Walter F. Tichy
ISPASS
2003
IEEE
15 years 11 months ago
Performance analysis and optimization of a distributed Video on Demand service
Video on Demand (VoD) services are very appealing these days. In this work, we discuss four distinct alternatives for the architecture of a VoD server and compare their performanc...
Daniela Alvim Seabra dos Santos, Alex Borges Vieir...
AOSD
2003
ACM
15 years 11 months ago
Persistence as an aspect
Persistence - the storage and retrieval of application data from secondary storage media - is often used as a classical example of a crosscutting concern. It is widely assumed tha...
Awais Rashid, Ruzanna Chitchyan