Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 39 of 261 found articles
 
 
  An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems
 
 
Title: An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems
Author: Cai, Haibin
Wu, Hao
Appeared in: Cluster computing
Paging: Volume 22 (2018) nr. supplement-2 pages 2543-2554
Year: 2018
Contents:
Publisher: Springer US, New York
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 39 of 261 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands