CULP 发表于 2025-3-25 04:30:21

http://reply.papertrans.cn/83/8265/826445/826445_21.png

Neolithic 发表于 2025-3-25 07:58:42

http://reply.papertrans.cn/83/8265/826445/826445_22.png

BATE 发表于 2025-3-25 12:13:05

A Real-Time Framework for Multiprocessor Platforms Using Ada 2012entation of multiprocessor scheduling approaches over the low-level abstractions offered by Ada forces the programmer to reconstruct complex task templates and algorithms in each new system. This work proposes to extend the previous Real-Time Utilities by Wellings and Burns to support multiprocessor

礼节 发表于 2025-3-25 18:49:40

Adapting ACATS to the Ahven Testing Frameworke output. We show how ACATS can be adapted to work with the Ahven testing framework, resulting in a single easy-to-build executable program that combines the executable ACATS tests, runs them in order, and grades and summarizes the test results. Our goal is a highly portable and automated ACATS driv

编辑才信任 发表于 2025-3-25 21:50:15

http://reply.papertrans.cn/83/8265/826445/826445_25.png

NADIR 发表于 2025-3-26 03:54:55

http://reply.papertrans.cn/83/8265/826445/826445_26.png

myocardium 发表于 2025-3-26 06:12:39

http://reply.papertrans.cn/83/8265/826445/826445_27.png

连系 发表于 2025-3-26 10:08:20

http://reply.papertrans.cn/83/8265/826445/826445_28.png

水獭 发表于 2025-3-26 15:56:04

http://reply.papertrans.cn/83/8265/826445/826445_29.png

Hyperalgesia 发表于 2025-3-26 18:40:58

http://reply.papertrans.cn/83/8265/826445/826445_30.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Reliable Software Technologies – Ada-Europe 2011; 16th Ada-Europe Inte Alexander Romanovsky,Tullio Vardanega Conference proceedings 2011 Th