DAUNT 发表于 2025-3-28 17:50:42

http://reply.papertrans.cn/83/8265/826465/826465_41.png

SPURN 发表于 2025-3-28 19:59:35

http://reply.papertrans.cn/83/8265/826465/826465_42.png

Surgeon 发表于 2025-3-29 00:54:30

Distributing Criticality Across Ada Partitionsuaranteed, whereas tasks with soft requirements may miss some deadlines with no harmful consequences. One possibility to organise such systems is to run the critical tasks in the kernel space, at the highest priority available, while executing the soft tasks in user space, where they will use the re

相互影响 发表于 2025-3-29 07:05:29

http://reply.papertrans.cn/83/8265/826465/826465_44.png

entrance 发表于 2025-3-29 09:34:01

Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasksfor Ada tasks in a way compatible with the scheduling model defined in the real-Time Annex of the language. Each application scheduler was implemented with a special task. This paper presents a new implementation in which the application scheduler actions are executed as part of the kernel on which

fleeting 发表于 2025-3-29 11:33:38

http://reply.papertrans.cn/83/8265/826465/826465_46.png

轻打 发表于 2025-3-29 17:47:46

http://reply.papertrans.cn/83/8265/826465/826465_47.png

LITHE 发表于 2025-3-29 21:18:26

A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTMct to programming style (clarity, encapsulation, avoidance of errors such as deadlock), priority inversion management, expressibility/generality, and efficiency. It also looks at interactions with exceptions and asynchronous transfer of control.

Diuretic 发表于 2025-3-29 23:55:24

http://reply.papertrans.cn/83/8265/826465/826465_49.png

噱头 发表于 2025-3-30 07:25:28

http://reply.papertrans.cn/83/8265/826465/826465_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Reliable Software Technology – Ada-Europe 2005; 10th Ada-Europe Inte Tullio Vardanega,Andy Wellings Conference proceedings 2005 Springer-Ve