找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

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

[復(fù)制鏈接]
樓主: 照相機(jī)
11#
發(fā)表于 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
12#
發(fā)表于 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
13#
發(fā)表于 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.
14#
發(fā)表于 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.
15#
發(fā)表于 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.
16#
發(fā)表于 2025-3-24 09:12:04 | 只看該作者
17#
發(fā)表于 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
18#
發(fā)表于 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
19#
發(fā)表于 2025-3-24 21:20:46 | 只看該作者
20#
發(fā)表于 2025-3-25 02:23:07 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-23 07:01
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
泸溪县| 沙雅县| 贡觉县| 镇雄县| 松滋市| 吉木萨尔县| 平塘县| 朝阳区| 讷河市| 隆昌县| 平顶山市| 合川市| 大英县| 安多县| 托克逊县| 噶尔县| 盐边县| 兴业县| 常州市| 天峻县| 宜昌市| 沙湾县| 凤山市| 汝阳县| 阿坝| 临武县| 井陉县| 广元市| 陵川县| 武陟县| 玛曲县| 栾川县| 盐源县| 合作市| 崇明县| 涟源市| 惠来县| 连州市| 昆明市| 柏乡县| 林西县|