LITES，第3卷，第1期

摘要

引用为

LITES，第3卷第1期，第1-152页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2016）

@第{LITES-v003-i001条，title={{LITES，第3卷，第1期}}，journal={Leibniz嵌入式系统事务}，页数={1--152}，ISSN={2199-2002}，年份={2016年}，体积={3}，数字＝{1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001},doi={10.4230/LITES-v003-i001}，annote={关键词：LITES，第3卷，第1期}}

摘要

引用为

克里斯蒂娜·胡本和塞巴斯蒂安·胡本。支持容错的编程语言结构。在LITES，第3卷，第1期（2016年）。《莱布尼茨嵌入式系统汇刊》，第3卷，第1期，第01:1-01:20页，达格斯图尔-莱布尼兹-中央情报局（2016）

@文章{houben_et_al:LITES-v003-i001-a001，author={胡本、克里斯蒂娜和胡本、塞巴斯蒂安}，title={{支持容错的编程语言结构}}，journal={Leibniz嵌入式系统事务}，页数={01:1--01:20}，ISSN={2199-2002}，年份={2016年}，体积={3}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a001},doi={10.4230/LITES-v003-i001-a001}，annote={关键词：容错、功能安全、PEARL、嵌入式系统、软件工程}}

摘要

引用为

里萨特·马哈茂德·巴坦（Risat Mahmud Pathan）。基于优先级提升的单处理器和多处理器实时调度。在LITES，第3卷，第1期（2016年）。《莱布尼茨嵌入式系统汇刊》，第3卷，第1期，第02:1-02:29页，达格斯图尔-莱布尼兹-中央情报局（2016）

@文章{pathan:LITES-v003-i001-a002，author={Pathan，Risat Mahmud}，title={{基于优先级提升的单处理器和多处理器实时调度}}，journal={Leibniz嵌入式系统事务}，页码={02:1--02:29}，ISSN={2199-2002}，年份={2016年}，体积={3}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a002},doi={10.4230/LITES-v003-i001-a002}，annote={关键词：实时系统，优先级提升，可调度性分析，可调度性条件}}

摘要

引用为

马蒂厄·莫伊（Matthieu Moy）、克劳德·赫尔姆斯特特（Claude Helmstetter）、塔耶布·布哈迪巴（Tayeb Bouhadiba）和弗洛伦斯·马兰尼奇（Florence Maraninchi）。在TLM模型中建模功耗和温度。在LITES，第3卷，第1期（2016年）。《莱布尼茨嵌入式系统汇刊》，第3卷，第1期，第03:1-03:29页，达格斯图尔-莱布尼兹-中央情报局（2016）

@第{moy_et_al:LITES-v003-i001-a003条，作者＝{莫伊、马蒂厄和赫尔姆斯泰特、克劳德和布哈迪巴、塔耶布和马拉尼奇、佛罗伦萨}，title={{TLM模型中的功耗和温度建模}}，journal={Leibniz嵌入式系统事务}，页码={03:1--03:29}，ISSN={2199-2002}，年份={2016年}，体积={3}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a003},doi={10.4230/LITES-v003-i001-a003}，annote={关键词：功耗、温度控制、虚拟原型、SystemC、事务建模}}

摘要

引用为

乔尔·古森和帕斯卡尔·理查德。周期性分组任务的优化调度。在LITES，第3卷，第1期（2016年）。《莱布尼茨嵌入式系统汇刊》，第3卷，第1期，第04:1-04:18页，达格斯图尔宫-莱布尼兹中央图书馆（2016）

@文章{goossens_et_al:LITES-v003-i001-a004，author={Goossens，Jo\“{e} 我和理查德·帕斯卡，title＝{{周期性Gang任务的最优调度}}，journal={Leibniz嵌入式系统事务}，页数={04:1--04:18}，ISSN={2199-2002}，年份={2016年}，体积={3}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a004},doi={10.4230/LITES-v003-i001-a004}，annote={关键词：实时系统，调度，并行任务}}

摘要

引用为

吕明松（Mingsong Lv）、南关（Nan Guan）、简·雷内克（Jan Reineke）、莱因哈德·威廉姆（Reinhard Wilhelm）和王毅（Wang Yi）。实时系统静态缓存分析综述。在LITES，第3卷，第1期（2016年）。莱布尼茨嵌入式系统汇刊，第3卷，第1期，第05:1-05:48页，达格斯图尔-莱布尼兹-中央情报局（2016）

@第{lv_et_al:LITES-v003-i001-a005条，author={Lv、Mingsong和Guan、Nan和Reineke、Jan和Wilhelm、Reinhard和Yi、Wang}，title={{实时系统静态缓存分析综述}}，journal={莱布尼茨嵌入式系统交易}，页码={05:1--05:48}，ISSN={2199-2002}，年份={2016年}，体积={3}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a005},doi={10.4230/LITES-v003-i001-a005}，annote={关键词：硬实时、缓存分析、最坏情况执行时间}}