找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Reliable Software Technologies - Ada-Europe ‘98; 1998 Ada-Europe Inte Lars Asplund Conference proceedings 1998 Springer-Verlag Berlin Heide

[复制链接]
楼主: 照相机
发表于 2025-3-23 09:48:31 | 显示全部楼层
https://doi.org/10.1007/BFb0054988Action; Ada; Ada 95; Java; Java Virtual Machine; distributed systems; inheritance; object; programming langu
发表于 2025-3-23 16:21:06 | 显示全部楼层
Conference proceedings 1998Uppsala, Sweden, in June 1998..The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and
发表于 2025-3-23 18:29:48 | 显示全部楼层
Object oriented abstractions for real-time distributed systems,possibly remote, data subscription concept is described and then shown in it‘s use of the advanced Ada distributed generics capabilities. Client-server and distributed-object abstractions are also contrasted.
发表于 2025-3-24 02:05:34 | 显示全部楼层
A case study in quantitative evaluation of real-time software architectures,fferent architectures, giving a clear indication of which one is better from this point of view. We believe that the approach can be used on other properties and domain architectures, thus opening new possibilities for quantitative evaluation of software architectures.
发表于 2025-3-24 04:48:58 | 显示全部楼层
Implementing and using execution time clocks in Ada hard real-time applications,ecution time clocks within the task scheduler, and we describe methods to detect execution time overruns in the application, and to limit their effects. We also discuss the use of execution time clocks to enhance the performance of sporadic server schedulers implemented at the application level.
发表于 2025-3-24 09:12:04 | 显示全部楼层
发表于 2025-3-24 14:09:13 | 显示全部楼层
Ada+B the formula for safety critical software development, Ada is the best way to reach the total correctness requested by safety. Although these types of methods may appear as grim, they are not very difficult to learn and give finally to their users the satisfaction of producing a high quality work, at the lowest possible cost for this quality. We hope t
发表于 2025-3-24 15:38:51 | 显示全部楼层
Porting the GNAT tasking runtime system to the Java virtual machine,f-concept implementation. The latter allows one to run multi-tasking applications that are written in Ada and compiled into native machine code, using the thread support of the Java Virtual Machine. The Java Virtual Machine takes care of scheduling the different threads of control, just like any mul
发表于 2025-3-24 21:20:46 | 显示全部楼层
发表于 2025-3-25 02:23:07 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-18 05:18
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表