音乐学者
发表于 2025-3-25 05:33:00
Conference proceedings 2001ed by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable
装勇敢地做
发表于 2025-3-25 10:09:28
http://reply.papertrans.cn/83/8265/826467/826467_22.png
osteopath
发表于 2025-3-25 13:39:05
Using Ada in Interactive Digital Television Systemsat home. The DTV broadcast center systems have availability, reliability and load constraints which require a robust implementation. For this reason, the server-side components of the Canal+ Technologies software have been developed in Ada..This paper explains the architecture of a Digital Televisio
PATHY
发表于 2025-3-25 19:40:02
http://reply.papertrans.cn/83/8265/826467/826467_24.png
cipher
发表于 2025-3-25 22:11:14
Logic versus Magic in Critical Systemsplexity being concealed or “magicked away”. For the most critical of systems, where a credible case for safety and integrity must be made prior to there being any service experience, we cannot tolerate concealed complexity and must be able to reason logically about the behaviour of the system. The p
接合
发表于 2025-3-26 02:56:01
Can Java™ Meet Its Real-Time Deadlines?agued Ada83’s real-time usability. But Java is currently flavor of the month, although its existing real-time features are totally inadequate. Two independent recent efforts have defined extensions to the Java platform that intend to satisfy real-time requirements. This paper summarizes the major fe
弯弯曲曲
发表于 2025-3-26 06:55:24
Parameter-Induced Aliasing in Ada the unexpected effect of also changing the other’s value. The disadvantages of aliasing for most aspects of programming languages have been known for decades and it is reported that aliasing occurs quite often when programming in languages like C or Fortran. In contrast, our examination of 173 MB r
GNAT
发表于 2025-3-26 11:53:59
Slicing Tagged Objects in Adaor different objects and represents the effects of polymorphism and dynamic bindings. Based on this model, we developed approaches to slicing subprograms, packages/types and hierarchies of types. Our slicing algorithm is more efficient because most of the results can be reused, and inter-subprogram
affinity
发表于 2025-3-26 13:31:08
http://reply.papertrans.cn/83/8265/826467/826467_29.png
BLA
发表于 2025-3-26 20:28:13
Building Modern Distributed Systemsributed Systems Annex of the Reference Manual is very limited and does not take in account advanced needs such as fault tolerance, code migration or persistent distributed storage..This article describes how we have extended the basic model without abandonning the compatibility in Glade, our impleme