Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks
W Steiner - 2010 31st IEEE Real-Time Systems Symposium, 2010 - ieeexplore.ieee.org
Networks for real-time systems have stringent end-to-end latency and jitter requirements.
One cost-efficient way to meet these requirements is the time-triggered communication …
One cost-efficient way to meet these requirements is the time-triggered communication …
[หนังสือ][B] Time-triggered communication
R Obermaisser - 2012 - api.taylorfrancis.com
Roman Obermaisser is a full professor for embedded systems at the Department of Electrical
Engineering and Computer Science of the University of Siegen in Germany. He studied …
Engineering and Computer Science of the University of Siegen in Germany. He studied …
[HTML][HTML] Reformulating temporal plans for efficient execution
Abstract Paul Morris Caelum Research. NASA Ames Research Center Moffett Field, CA
94035 pmorris@ ptolemy. arc. nasa. gov The Simple Temporal Network formalism. permits …
94035 pmorris@ ptolemy. arc. nasa. gov The Simple Temporal Network formalism. permits …
Fault-tolerant rate-monotonic scheduling
Due to the critical nature of the tasks in hard real-time systems, it is essential that faults be
tolerated. In this paper, we present a scheme which can be used to tolerate faults during the …
tolerated. In this paper, we present a scheme which can be used to tolerate faults during the …
Method and system for performing real-time operation
T Kanai, S Maeda, H Yano, K Yoshii - US Patent 7,685,599, 2010 - Google Patents
An information processing system performs a plurality of tasks within a specific time interval.
The system includes a bus, a plurality of processors which transfer data via the bus, and a …
The system includes a bus, a plurality of processors which transfer data via the bus, and a …
Comparison of global and partitioning schemes for scheduling rate monotonic tasks on a multiprocessor
The authors study GRMS, a global scheduling scheme for rate monotonic tasks on a
multiprocessor. Several admission control algorithms for GRMS are presented, both for hard …
multiprocessor. Several admission control algorithms for GRMS are presented, both for hard …
Mixed-criticality embedded systems--a balance ensuring partitioning and performance
Mixed-criticality systems have become a mainstream in industry and research due to their
potential to decrease, size, weight, and power. Often research institutions and industry …
potential to decrease, size, weight, and power. Often research institutions and industry …
An efficient RMS admission control and its application to multiprocessor scheduling
A real-time system must execute functionally correct computations in a timely manner. In
order to guarantee that all tasks accepted in the system will meet their timing requirements …
order to guarantee that all tasks accepted in the system will meet their timing requirements …
A real-time medium access control protocol for ad hoc wireless local area networks
We develop and analyze a simple, elegant medium access control (MAC) protocol for use in
transmitting real-time data in point to point ad hoc wireless local area networks (WLANs) …
transmitting real-time data in point to point ad hoc wireless local area networks (WLANs) …
[PDF][PDF] Fast transformation of temporal plans for efficient execution
Temporal plans permit significant flexibility in specifying the occurrence time of events. Plan
execution can make good use of that flexibility. However, the advantage of execution …
execution can make good use of that flexibility. However, the advantage of execution …