1994 Proceedings Real-Time Systems Symposium最新文献

Verifying an intelligent structural control system: a case study 验证智能结构控制系统:一个案例研究

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342708

Wael M. Elseaidy, R. Cleaveland, J. Baugh

引用次数: 16

Modeling and analysis of real-time Ada tasking programs 实时Ada任务程序的建模与分析

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342723

J. Corbett

引用次数: 40

Timeliness via speculation for real-time databases 实时数据库的时效性

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342732

Azer Bestavros, Spyridon Braoudakis

引用次数: 67

Probabilistic bounds on message delivery for the totem single-ring protocol 图腾单环协议消息传递的概率边界

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342712

L. Moser, P. Melliar-Smith

引用次数: 20

Scaling and performance of a priority packet queue for real-time applications 实时应用程序优先级分组队列的扩展和性能

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342730

D. Picker, R. Fellman

引用次数: 5

Compiler transformations for speculative execution in a real-time system 在实时系统中用于推测执行的编译器转换

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342725

M. Younis, T. Marlowe, A. Stoyen

引用次数: 19

A priority forwarding router chip for real-time interconnection networks 一种用于实时互联网络的优先转发路由器芯片

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342729

K. Toda, K. Nishida, E. Takahashi, Y. Yamaguchi

引用次数: 8

Dynamic end-to-end guarantees in distributed real time systems 分布式实时系统中的动态端到端保证

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342714

M. Natale, J. Stankovic

{"title":"Dynamic end-to-end guarantees in distributed real time systems","authors":"M. Natale, J. Stankovic","doi":"10.1109/REAL.1994.342714","DOIUrl":"https://doi.org/10.1109/REAL.1994.342714","url":null,"abstract":"Many distributed real-time applications are structured as a set of processes communicating through synchronous channels. Unfortunately, process interactions and especially synchronous communications make the problem of predictably scheduling the tasks more complex. In distributed systems the local and remote tasks as well as the messages over the network must be properly scheduled and synchronized to meet the deadlines of the application. To find such a, schedule is not an easy task, in fact, this problem is NP complete even if one has complete knowledge of the future arrival times for all the processes in the system. The objective of this paper is to develop a scheme that allows for the dynamic scheduling and guaranteeing of distributed processes communicating via synchronous primitives. For efficiency reasons a combination of off-line and on-line scheduling is performed. Precedence and communication constraints are converted off-line into pseudo-deadlines for each task, enabling efficient on-line processing. The on-line scheduling operates in parallel at the sites involved in the distributed computation, further obtaining efficiency. The overall end-to-end scheduling includes the joint and coordinated scheduling of tasks and messages in a reflective memory distributed architecture.<<ETX>>","PeriodicalId":374952,"journal":{"name":"1994 Proceedings Real-Time Systems Symposium","volume":"167 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114258845","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 211

Resource management for continuous multimedia database applications 连续多媒体数据库应用程序的资源管理

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342731

Jiandong Huang, D. Du

引用次数: 20

On-line scheduling to maximize task completions 在线调度，最大限度地完成任务

1994 Proceedings Real-Time Systems Symposium Pub Date : 1994-12-07 DOI: 10.1109/REAL.1994.342713

Sanjoy Baruah, J. Haritsa, Nitin Sharma

引用次数: 93