Author: Hesselink Wim Lali M.
Publisher: Springer Publishing Company
ISSN: 0925-9856
Source: Formal Methods in System Design, Vol.36, Iss.2, 2010-06, pp. : 148-166
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Garbage collection-aware utility accrual scheduling
By Feizabadi Shahrooz Back Godmar
Real-Time Systems, Vol. 36, Iss. 1-2, 2007-07 ,pp. :
Scheduling of hard real-time garbage collection
Real-Time Systems, Vol. 45, Iss. 3, 2010-08 ,pp. :
Model Checking the Garbage Collection Mechanism of SMV
By Eisner C.
Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. :