找回密码
 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-25 05:30:19 | 显示全部楼层
Preservation of Timing Properties with the Ada Ravenscar Profilerectly from the architectural description of the system. In those approaches it is paramount that consistency is kept between the system model as analyzed and the system as executing at run time. One of the aspects of interest is the timing behavior. In this paper we discuss how the timing propertie
发表于 2025-3-25 08:00:39 | 显示全部楼层
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineeting the desired timing behaviour with the rest of the elements of the application architecture. This paper reports a . that shows how a component-based design has been implemented using periodic concurrent tasks with RT requirements. The Model-Driven Software Development (MDSD) approach provides th
发表于 2025-3-25 12:51:01 | 显示全部楼层
Scheduling Configuration of Real-Time Component-Based Applicationsnt viewed as a reusable and opaque software module. The strategy is used on top of the RT-CCM technology, which extends the OMG’s LwCCM technology with the purpose of building real-time distributed component-based applications that can be executed on embedded platforms and with heterogeneous communi
发表于 2025-3-25 17:32:29 | 显示全部楼层
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005identified: the Physical-Execution Time (PET) model, the Bounded-Execution-Time (BET) model, the Zero-Execution Time (ZET) model and the Logical-Execution-Time (LET) model. They classify Ada as belonging to the BET model and claim that a LET model, as supported by the Giotto language, is superior. W
发表于 2025-3-25 21:44:43 | 显示全部楼层
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005provide programming abstractions that can be mapped effectively onto parallel architectures..Stream processing is a programming paradigm where computations are expressed as independent actors that communicate via data streams. The coarse-grained parallelism exposed in stream programs facilitates suc
发表于 2025-3-26 04:00:57 | 显示全部楼层
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTMs. Generics support efficient type-safe container data structures, general-purpose algorithms, and other reusable components. However, the approaches in different languages vary widely in syntax, semantics, and usage. This paper summarizes the design of generics in Ada, C++, C#, and Java and compare
发表于 2025-3-26 04:32:24 | 显示全部楼层
Towards Ada 2012: An Interim Reportts a snapshot of the more important language enhancements under discussion. Even though these enhancements are not yet in their final form, and will not become part of the proposed new standard until approved by ISO, the description that follows is an accurate reflection of the main directions in wh
发表于 2025-3-26 10:03:10 | 显示全部楼层
发表于 2025-3-26 14:14:28 | 显示全部楼层
An Efficient Implementation of Persistent Objects an excellent language for implementing persistent objects. This paper introduces a low-impact, efficient implementation of persistent objects based on storage pools and the “POSIX.Memory_ Mapping” API . The performance and reliability of the implementation is compared with serialisation.
发表于 2025-3-26 16:47:15 | 显示全部楼层
What to Make of Multicore Processors for Reliable Real-Time Systems?riority and earliest-deadline first scheduling polices. It also examines critically the foundations of these theoretical results, including assumptions about task independence and worst-case execution time estimates, with a view toward their practical applicability.
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-11 05:50
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表