找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Reliable Software Technologies -- Ada-Europe 2013; 18th International C Hubert B. Keller,Erhard Pl?dereder,Herbert Klenk Conference proceed

[復(fù)制鏈接]
查看: 25103|回復(fù): 47
樓主
發(fā)表于 2025-3-21 16:35:11 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Reliable Software Technologies -- Ada-Europe 2013
副標(biāo)題18th International C
編輯Hubert B. Keller,Erhard Pl?dereder,Herbert Klenk
視頻videohttp://file.papertrans.cn/827/826452/826452.mp4
概述Up-to-date results.Fast track conference proceedings.State-of-the-art report
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Reliable Software Technologies -- Ada-Europe 2013; 18th International C Hubert B. Keller,Erhard Pl?dereder,Herbert Klenk Conference proceed
描述This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.
出版日期Conference proceedings 2013
關(guān)鍵詞middleware; non-determinism; parallelism; safety critical systems; software reliability
版次1
doihttps://doi.org/10.1007/978-3-642-38601-5
isbn_softcover978-3-642-38600-8
isbn_ebook978-3-642-38601-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2013
The information of publication is updating

書目名稱Reliable Software Technologies -- Ada-Europe 2013影響因子(影響力)




書目名稱Reliable Software Technologies -- Ada-Europe 2013影響因子(影響力)學(xué)科排名




書目名稱Reliable Software Technologies -- Ada-Europe 2013網(wǎng)絡(luò)公開度




書目名稱Reliable Software Technologies -- Ada-Europe 2013網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Reliable Software Technologies -- Ada-Europe 2013被引頻次




書目名稱Reliable Software Technologies -- Ada-Europe 2013被引頻次學(xué)科排名




書目名稱Reliable Software Technologies -- Ada-Europe 2013年度引用




書目名稱Reliable Software Technologies -- Ada-Europe 2013年度引用學(xué)科排名




書目名稱Reliable Software Technologies -- Ada-Europe 2013讀者反饋




書目名稱Reliable Software Technologies -- Ada-Europe 2013讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 23:47:19 | 只看該作者
Conference proceedings 2013 held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.
板凳
發(fā)表于 2025-3-22 04:08:47 | 只看該作者
地板
發(fā)表于 2025-3-22 05:33:58 | 只看該作者
Reliable Software Technologies -- Ada-Europe 2013978-3-642-38601-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
5#
發(fā)表于 2025-3-22 09:19:53 | 只看該作者
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826452.jpg
6#
發(fā)表于 2025-3-22 13:54:18 | 只看該作者
7#
發(fā)表于 2025-3-22 17:05:39 | 只看該作者
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processorslly regarding the efficient and safe deployment of software applications to hardware resources. We propose a model-based approach for the construction of software deployment schemes, and apply it to a spacecraft use case with two different mission phases to illustrate the benefits of such model-based software deployment.
8#
發(fā)表于 2025-3-23 00:22:05 | 只看該作者
A SPARK/Ada CubeSat Control Programor a CubeSat nano-satellite that will orbit the Earth as the first step toward the ultimate goal of building a prototype CubeSat that will go to the Moon. Our work shows that inexperienced undergraduates can learn to use SPARK to produce more robust software than might otherwise be the case, even in the environment of a volatile student project.
9#
發(fā)表于 2025-3-23 02:00:11 | 只看該作者
10#
發(fā)表于 2025-3-23 07:44:49 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-12 11:35
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
仲巴县| 南充市| 惠安县| 集安市| 云浮市| 白山市| 平乡县| 嘉荫县| 安图县| 开鲁县| 原平市| 蓝田县| 怀化市| 阜宁县| 澄城县| 监利县| 抚远县| 宣威市| 平南县| 黄浦区| 达州市| 叙永县| 黑龙江省| 沾益县| 房山区| 沅陵县| 雅安市| 商洛市| 高邑县| 安丘市| 潮安县| 林周县| 房山区| 论坛| 安国市| 嵩明县| 九寨沟县| 康乐县| 和龙市| 嘉兴市| 迁西县|