FASE   2006 Internationsl Conference on Fundamental Approaches to Software Engineering
Wall of Fame | Most Viewed FASE-2006 Paper
13 years 6 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source144
2Download preprint from source144
3Download preprint from source118
4Download preprint from source116
5Download preprint from source113
6Download preprint from source112
7Download preprint from source107
8Download preprint from source105
9Download preprint from source99
10Download preprint from source79