Real-time systems文章索引

期刊目录筛选

期刊名：Real-time systems

缩写：REAL-TIME SYST

ISSN：0922-6443

e-ISSN：1573-1383

IF/分区：1.3/Q3

文章目录更多期刊信息

共收录本刊相关文章索引600条

Modeling distributed real-time applications with specification PEARL [0.03%] 使用规格PEARL对分布式实时应用进行建模

Roman Gumzej; Shourong Lu Roman Gumzej; Shourong Lu

Real-time systems. 2007;35(3):181-208. DOI:10.1007/s11241-006-9007-9 2007

Group-Based Pfair Scheduling [0.03%] 基于组的Pfair调度

Philip Holman; James H. Anderson Philip Holman; James H. Anderson

Real-time systems. 2006;32(1-2):125-168. DOI:10.1007/s11241-006-4687-8 2006

Search and track coordination in multi-ship multi-radar systems using schedulability envelope [0.03%] 利用可调度性包络搜索与跟踪多舰多雷达系统的协同工作

Phil-Su Kang; Chang-Gun Lee Phil-Su Kang; Chang-Gun Lee

Real-time systems. 2007;36(3):227-262. DOI:10.1007/s11241-007-9023-4 2007

An analysis method for variable execution time tasks based on histograms [0.03%] 一种基于直方图的可变执行时间任务分析方法

Joan Vila-Carbó; Enrique Hernández-Orallo Joan Vila-Carbó; Enrique Hernández-Orallo

Real-time systems. 2008;38(1):1-37. DOI:10.1007/s11241-007-9033-2 2008

Editorial [0.03%] 社论

John A. Stankovic; Wolfgang A. Halang; Kim-Fung Man; Tarek Abdelzaher; Giorgio Buttazzo; Krithi Ramamritham John A. Stankovic; Wolfgang A. Halang; Kim-Fung Man; Tarek Abdelzaher; Giorgio Buttazzo; Krithi Ramamritham

Real-time systems. 2006;32(1-2):5-7. DOI:10.1007/s11241-006-6900-9 2006

Specification and analysis of timing requirements for real-time systems in the CBD approach [0.03%] CBD方法中实时系统的时序需求规范与分析

Ho Kyoung Lee; Woo Jin Lee; Heung Seok Chae; Yong Rae Kwon Ho Kyoung Lee; Woo Jin Lee; Heung Seok Chae; Yong Rae Kwon

Real-time systems. 2007;36(1-2):135-158. DOI:10.1007/s11241-007-9017-2 2007

A constant-time dynamic storage allocator for real-time systems [0.03%] 面向实时系统的常数时间动态存储分配器

Miguel Masmano; Ismael Ripoll; Patricia Balbastre; Alfons Crespo Miguel Masmano; Ismael Ripoll; Patricia Balbastre; Alfons Crespo

Real-time systems. 2008;40(2):149-179. DOI:10.1007/s11241-008-9052-7 2008

A Method for Computing the Number of Iterations in Data Dependent Loops [0.03%] 一种计算数据相关循环中迭代次数的方法

Francesco Curatelli; Leonardo Mangeruca Francesco Curatelli; Leonardo Mangeruca

Real-time systems. 2006;32(1-2):73-104. DOI:10.1007/s11241-006-5317-1 2006

Formal verification of multitasking applications based on timed automata model [0.03%] 基于定时自动机模型的多任务应用形式化验证

Libor Waszniowski; Zdeněk Hanzálek Libor Waszniowski; Zdeněk Hanzálek

Real-time systems. 2008;38(1):39-65. DOI:10.1007/s11241-007-9036-z 2008

Timing predictability of cache replacement policies [0.03%] 缓存替换策略的时间可预测性

Jan Reineke; Daniel Grund; Christoph Berg; Reinhard Wilhelm Jan Reineke; Daniel Grund; Christoph Berg; Reinhard Wilhelm

Real-time systems. 2007;37(2):99-122. DOI:10.1007/s11241-007-9032-3 2007