找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Reliable Software Technologies - Ada-Europe 2010; 15th Ada-Europe Inte Jorge Real,Tullio Vardanega Conference proceedings 2010 The Editor(s

[复制链接]
楼主: Chylomicron
发表于 2025-3-26 22:49:41 | 显示全部楼层
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005ability of a programming model to give composable abstractions that allow programs to have bounded input and output jitter. Languages like Ada (and many real-time operating systems) have mechanisms that easily allow this to be achieved. Using Ada as an example, we show two different ways. Each of which has advantages and disadvantages.
发表于 2025-3-27 01:25:39 | 显示全部楼层
Dispatching Domains for Multiprocessor Platforms and Their Representation in Adaing approaches are advocated in the scheduling literature. The primitives in the language should allow these schemes to be directly supported. In this paper we propose extensions to Ada 2005 to introduce the notion of dispatching domains, and we show how these can be used to implement two example multiprocessor scheduling approaches.
发表于 2025-3-27 06:58:21 | 显示全部楼层
发表于 2025-3-27 12:17:18 | 显示全部楼层
Cache-Aware Development of High-Integrity Systemsbehavior and its negative effect on the timing analyzability of software programs. We outline a comprehensive approach to cache-aware development by both focusing on the application code and by exploiting specific compile-time and run-time support to control cache utilization.
发表于 2025-3-27 16:03:29 | 显示全部楼层
发表于 2025-3-27 21:05:50 | 显示全部楼层
Control Co-design: Algorithms and Their Implementations and autonomy lead to the need of the so called co-design, where the integral problem of the design of the control structure, algorithm and its implementation should be tackled together. Along these lines, after a motivation, the interlacing between both design issues is analyzed and new concepts and architectures are proposed.
发表于 2025-3-28 01:34:19 | 显示全部楼层
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTMin different languages vary widely in syntax, semantics, and usage. This paper summarizes the design of generics in Ada, C++, C#, and Java and compares them with respect to expressiveness, implementation model / run-time efficiency, and interaction with object-oriented programming and other features.
发表于 2025-3-28 05:02:05 | 显示全部楼层
发表于 2025-3-28 07:41:49 | 显示全部楼层
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012constructs is paramount. In this paper we present a list of state-of-art task-splitting multiprocessor scheduling algorithms and, for each of them, we present detailed Ada code that uses the new constructs.
发表于 2025-3-28 11:20:19 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-11 05:48
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表