找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Reliable Software Technologies - Ada-Europe ‘97; 1997 Ada-Europe Inte Keith Hardy,Jim Briggs Conference proceedings 1997 Springer-Verlag Be

[復制鏈接]
樓主: TINGE
31#
發(fā)表于 2025-3-26 22:49:05 | 只看該作者
Finite unions for Ada 95,as less elegant, less maintainable and less efficient. In this paper we propose to add a language construct to the language that would enable us to do what we were missing. The extension is based on finite unions with dispatching and can quite easily be integrated into the language and efficiently i
32#
發(fā)表于 2025-3-27 02:51:23 | 只看該作者
33#
發(fā)表于 2025-3-27 08:38:47 | 只看該作者
34#
發(fā)表于 2025-3-27 13:12:21 | 只看該作者
35#
發(fā)表于 2025-3-27 16:50:53 | 只看該作者
The SPIF project,to provide a low cost environment for quick prototyping of embedded distributed real-time applications. The hardware platform is built with reusable, standard off-the-shelf components. SPIF is the name of the testbed itself, a mobile autonomous robot controlled by an embedded real-time system, SPIF-
36#
發(fā)表于 2025-3-27 21:32:26 | 只看該作者
Developing scripting capabilities for an Ada-based simulator,ovide an artificial but controllable environment usually for testing and training purposes. For that purpose, most testing and training simulators provide the user with a . mechanism, i.e. a means to compose the desired environment. Afterwards the simulator interprets the script, i.e. simulates the
37#
發(fā)表于 2025-3-27 22:37:56 | 只看該作者
38#
發(fā)表于 2025-3-28 03:13:25 | 只看該作者
39#
發(fā)表于 2025-3-28 09:37:50 | 只看該作者
40#
發(fā)表于 2025-3-28 11:20:52 | 只看該作者
 關于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結 SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-20 08:47
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
民权县| 海伦市| 黔西县| 禄丰县| 清水县| 西宁市| 普定县| 海盐县| 孟连| 固始县| 迁安市| 巩义市| 天长市| 黄龙县| 资溪县| 广灵县| 简阳市| 灯塔市| 贵定县| 康平县| 惠水县| 张家口市| 聂拉木县| 宜都市| 民丰县| 昌图县| 靖西县| 清苑县| 广饶县| 新乐市| 利川市| 察隅县| 科技| 左权县| 灌云县| 惠来县| 息烽县| 绍兴县| 莒南县| 柳江县| 金川县|