Sciweavers

2674 search results - page 459 / 535
» On architecture transparency in operating systems
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 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