Real-time systems文章索引

期刊目录筛选

期刊名：Real-time systems

缩写：REAL-TIME SYST

ISSN：0922-6443

e-ISSN：1573-1383

IF/分区：1.3/Q3

文章目录更多期刊信息

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

Real-Time Camera Tracking for Mobile Devices: The VisiTrack System [0.03%] 面向移动设备的实时摄像头追踪：VisiTrack系统

Dirk Stichling; Natascha Esau; Bernd Kleinjohann; Lisa Kleinjohann Dirk Stichling; Natascha Esau; Bernd Kleinjohann; Lisa Kleinjohann

Real-time systems. 2006;32(3):279-305. DOI:10.1007/s11241-005-4684-3 2006

Application of Partial-Order Methods to Reactive Programs with Event Memorization [0.03%] 部分有序方法在带事件记忆的反应式程序中的应用

Frédéric Herbreteau; Franck Cassez; Olivier Roux Frédéric Herbreteau; Franck Cassez; Olivier Roux

Real-time systems. 2001;20(3):287-316. DOI:10.1023/a:1008129319165 2001

Feasibility Analysis of Real-Time Periodic Tasks with Offsets [0.03%] 带偏移量的实时周期性任务可行性分析

Rodolfo Pellizzoni; Giuseppe Lipari Rodolfo Pellizzoni; Giuseppe Lipari

Real-time systems. 2005;30(1-2):105-128. DOI:10.1007/s11241-005-0506-x 2005

Maintaining data temporal consistency in distributed real-time systems [0.03%] 在分布式实时系统中保持数据的时间一致性

Jiantao Wang, Song Han, Kam-Yiu Lam et al. Jiantao Wang et al.

Real-time systems. 2012;48(4):387-429. DOI:10.1007/s11241-012-9150-4 2012

A Network Time Interface M-Module for Distributing GPS-Time over LANs [0.03%] 一种用于通过局域网分发GPS时间的网络时间接口M模块

Ulrich Schmid; Johann Klasek; Thomas Mandl; Herbert Nachtnebel; Gerhard Cadek; Nikolaus Kerö Ulrich Schmid; Johann Klasek; Thomas Mandl; Herbert Nachtnebel; Gerhard Cadek; Nikolaus Kerö

Real-time systems. 2000;18(1):25-57. DOI:10.1023/a:1008150426963 2000

Modeling Control Speculation for Timing Analysis [0.03%] 用于时序分析的控制推测建模

Xianfeng Li; Tulika Mitra; Abhik Roychoudhury Xianfeng Li; Tulika Mitra; Abhik Roychoudhury

Real-time systems. 2005;29(1):27-58. DOI:10.1023/b:time.0000048933.15922.f9 2005

Decomposition in Real-Time Safety-Critical Systems [0.03%] 实时安全关键系统中的分解

Paul Mukherjee; Victoria Stavridou Paul Mukherjee; Victoria Stavridou

Real-time systems. 1998;14(2):183-202. DOI:10.1023/a:1007969017781 1998

A formal approach to the specification and the behavior validation of real-time systems based on rewriting logic [0.03%] 一种基于重写逻辑的实时系统规范与行为验证的正式方法

Ammar Attoui; Michel Schneider Ammar Attoui; Michel Schneider

Real-time systems. 1996;10(1):5-22. DOI:10.1007/bf00357881 1996

A local area network architecture for communication in distributed real-time systems [0.03%] 一种用于分布式实时系统的通信局域网架构

K. Arvind; Krithi Ramamritham; John A. Stankovic K. Arvind; Krithi Ramamritham; John A. Stankovic

Real-time systems. 1991;3(2):115-147. DOI:10.1007/bf00365332 1991

Aperiodic task scheduling for Hard-Real-Time systems [0.03%] 硬实时系统的非周期任务调度

Brinkley Sprunt; Lui Sha; John Lehoczky Brinkley Sprunt; Lui Sha; John Lehoczky

Real-time systems. 1989;1(1):27-60. DOI:10.1007/bf02341920 1989