莱布尼茨嵌入式系统汇刊，第4卷，第1期
LITES，第4卷，第1期
-
部分： 体积： LITES，第4卷
期刊： 莱布尼茨嵌入式系统事务（LITES）
出版物详细信息
发布时间：2017-02-28 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/网站/网站4
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
LITES，第4卷，第1期
摘要
引用为
@第{LITES-v004-i001条， title＝｛｛LITES，第4卷，第1期｝｝， journal={Leibniz嵌入式系统事务}， ISSN={2199-2002}， 年份={2017年}， 体积={4}， 数字={1}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LITES-v004-i001 }, doi={10.4230/LITES-v004-i001}， annote={关键词：LITES，第4卷，第1期} }
关于自挂任务周期执行器算法的注记
摘要
引用为
@第{chen_et_al:LITES-v004-i001-a001条， author={Chen，Jian-Jia和Brandenburg，Bj\“ {o} 尼泊尔 B.}、， title={{关于自暂停任务的周期执行器算法的注}}， journal={Leibniz嵌入式系统事务}， 页码={01:1--01:22}， ISSN={2199-2002}， 年份={2017年}， 体积={4}， 数字={1}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LITES-v004-i001-a001 }, doi={10.4230/LITES-v004-i001-a001}， annote={关键词：周期执行器，延迟执行，自我暂停，阻止} }
基于效用的（m，k）公司实时任务调度——新的实证结果
摘要
引用为
@文章{kluge:LITES-v004-i001-a002， author={克鲁格，弗洛里安}， title={{（m，k）-公司实时任务的基于效用的调度-新的经验结果}}， journal={Leibniz嵌入式系统事务}， 页码={02:1--02:25}， ISSN={2199-2002}， 年份={2017年}， 体积={4}， 数字={1}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LITES-v004-i001-a002 }, doi={10.4230/LITES-v004-i001-a002}， annote={关键词：实时调度，（m，k）-公司实时任务} }
NoSQL键值存储一致性的定量分析
摘要
引用为
@第{liu_et_al:LITES-v004-i001-a003条， author={Liu、Si和Ganhotra、Jatin和Rahman、Muntasir Raihan和Nguyen、Son和Gupta、Indranil和Meseguer、Jos， title={{NoSQL键值存储一致性的定量分析}}， journal={Leibniz嵌入式系统事务}， pages＝{03:1--03:26}， ISSN={2199-2002}， 年份={2017年}， 体积={4}， 数字={1}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LITES-v004-i001-a003 }, doi={10.4230/LITES-v004-i001-a003}， annote={Keywords:NoSQL键值存储，一致性，统计模型检查，重写逻辑，Maude} }
你的卫星怎么样了？ 带充电和不确定性的电池动力学
摘要
引用为
@第{条hermanns_et_al:LITES-v004-i001-a004， author={Hermanns、Holger和Kr\v{c}\' {a} 我 ，Jan和Nies，Gilles}， title={{你的卫星怎么样？电池充电动力学和不确定性}}， journal={Leibniz嵌入式系统事务}， 页码={04:1--04:28}， ISSN={2199-2002}， 年份={2017年}， 体积={4}， 数字={1}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LITES-v004-i001-a004 }, doi={10.4230/LITES-v004-i001-a004}， annote={关键词：电池功率，耗尽风险，有界充放电，随机负荷，分布界限} }
使用n皇后攻击域表征动态可靠性的数据依赖约束
摘要
引用为
@第{条rozier_et_al:LITES-v004-i001-a005， author={Rozier、Eric W.D.和Rozier，Kristin Y.和Bayram，Ulya}， title＝{{使用n-Queens攻击域表征动态可靠性的数据依赖约束}}， journal={Leibniz嵌入式系统事务}， 页码={05:1--05:26}， ISSN={2199-2002}， 年份={2017年}， 体积={4}， 数字={1}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LITES-v004-i001-a005 }, doi={10.4230/LITES-v004-i001-a005}， annote={关键词：SMT，数据依赖，n-queens} }