伤害
发表于 2025-3-21 16:42:31
书目名称Reliable Software Technologies - Ada-Europe 2002影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0826461<br><br> <br><br>书目名称Reliable Software Technologies - Ada-Europe 2002读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0826461<br><br> <br><br>
刻苦读书
发表于 2025-3-21 23:31:06
OMC-INTEGRAL Memory Managementrolling the Optical Monitoring Camera (OMC) payload of the . (.) . (.). This article explains the solutions adopted at high and low level, in order to solve the problems created by this restriction. It also provides a general description of the main functionality of the OMC satellite payload.
全国性
发表于 2025-3-22 03:18:20
Development of a Control System for Teleoperated Robots Using UML and Ada95designed following a concurrent object modeling and architectural design methodology that uses UML as describing language. The architecture of the whole system has been implemented in a blasting robot for ship hulls- GOYA -using Ada 95 and GLADE. Our previous experience in developing teleoperated service robots using Ada is also presented.
Ornament
发表于 2025-3-22 07:44:23
A POSIX-Ada Interface for Application-Defined Schedulingined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined schedulers, implemented as special user tasks, can coexist in the system in a predictable way. This API is currently implemented on our operating system MaRTE OS.
ARC
发表于 2025-3-22 12:42:48
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNATectures. The advances in Ada and RTOS technologies are explained and the impact of requirements for RTCA/DO-178B and EUROCAE/ED-12B certification and achievements are presented in the context of the GNAT and VxWorks technologies.
小官
发表于 2025-3-22 14:35:39
http://reply.papertrans.cn/83/8265/826461/826461_6.png
GEN
发表于 2025-3-22 18:11:47
http://reply.papertrans.cn/83/8265/826461/826461_7.png
innovation
发表于 2025-3-22 21:38:23
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95n the early detection of critical errors and achieving a better code quality. In this paper, we present a set of practical requirements for the industrial use of such tools and report on the development of DataFAN, a data-flow analysis tool satisfying these requirements.
oxidize
发表于 2025-3-23 03:27:56
http://reply.papertrans.cn/83/8265/826461/826461_9.png
无效
发表于 2025-3-23 06:31:13
Reliable Software Technologies - Ada-Europe 2002978-3-540-48046-4Series ISSN 0302-9743 Series E-ISSN 1611-3349