Period of time: 2014年2期
Publisher: Springer Publishing Company
Founded in: 1989
Total resources: 32
ISSN: 0922-6443
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Real-Time Systems,volume 46,issue 2
Menu
Provably good multiprocessor scheduling with resource sharing
Real-Time Systems,volume 46,issue 2 , Vol. 46, Iss. 2, 2010-10 , pp.Schedulability analysis in hard real-time systems under thermal constraints
Real-Time Systems,volume 46,issue 2 , Vol. 46, Iss. 2, 2010-10 , pp.SetExp : a method of transformation of timed automata into finite state automata
Real-Time Systems,volume 46,issue 2 , Vol. 46, Iss. 2, 2010-10 , pp.A compiler framework for the reduction of worst-case execution times
Real-Time Systems,volume 46,issue 2 , Vol. 46, Iss. 2, 2010-10 , pp.