Cello: a disk scheduling framework for next generation operating systems
SIGMETRICS '98/PERFORMANCE '98 Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Providing QoS guarantees for disk I/O
Multimedia Systems
Application performance in the QLinux multimedia operating system
MULTIMEDIA '00 Proceedings of the eighth ACM international conference on Multimedia
Bandwidth allocation in a self-managing multimedia file server
MULTIMEDIA '01 Proceedings of the ninth ACM international conference on Multimedia
Cello: A Disk Scheduling Framework for Next Generation Operating Systems*
Real-Time Systems - Flexible Scheduling on Real-Time Systems
Virtual IO: preemptible disk access
Proceedings of the tenth ACM international conference on Multimedia
Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS)
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Real-Time Systems
Disk scheduling in a multimedia I/O system
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Systems Support for Preemptive Disk Scheduling
IEEE Transactions on Computers
Design and Implementation of Semi-preemptible IO
FAST '03 Proceedings of the 2nd USENIX Conference on File and Storage Technologies
Awarded Best Student Paper! -- A Framework for Building Unobtrusive Disk Maintenance Applications
FAST '04 Proceedings of the 3rd USENIX Conference on File and Storage Technologies
Building MEMS-based storage systems for streaming media
ACM Transactions on Storage (TOS)
Towards higher disk head utilization: extracting free bandwidth from busy disk drives
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Stream combination: adaptive IO scheduling for streaming servers
ACM SIGBED Review - Special issue: The work-in-progress (WIP) session of the RTSS 2005
Efficient guaranteed disk request scheduling with fahrrad
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Empirical evaluation of latency-sensitive application performance in the cloud
MMSys '10 Proceedings of the first annual ACM SIGMM conference on Multimedia systems
Horizon: efficient deadline-driven disk I/O management for distributed storage systems
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Modular software architecture for flexible reservation mechanisms on heterogeneous resources
Journal of Systems Architecture: the EUROMICRO Journal
Design and implementation of semi-preemptible IO
FAST'03 Proceedings of the 2nd USENIX conference on File and storage technologies
A framework for building unobtrusive disk maintenance applications
FAST'04 Proceedings of the 3rd USENIX conference on File and storage technologies
TimeGraph: GPU scheduling for real-time multi-tasking environments
USENIXATC'11 Proceedings of the 2011 USENIX conference on USENIX annual technical conference
Operating system support for multimedia systems
Computer Communications
MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Improving application responsiveness with the BFQ disk I/O scheduler
Proceedings of the 5th Annual International Systems and Storage Conference
| Hi-index | 0.00 |
A formal and automatic verification of a real-life protocol is presented. The protocol, about 2800 lines of assembler code, has been used in products from the audio/video company Bang & Olufsen throughout more than a decade, and its purpose is to control ...