作者: follicular-unit 時間: 2025-3-22 00:11 作者: nocturia 時間: 2025-3-22 02:53
Expression Templates in Adahese temporaries, in a way that is transparent to the user. We present an Ada adaptation of this technique which — while not transparent — addresses the same efficiency issue as the original. We make intensive use of the . idiom to combine packages together, and discuss its importance in .. Finally, we express some concerns about . in Ada.作者: Lamina 時間: 2025-3-22 07:22
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826467.jpg作者: intricacy 時間: 2025-3-22 11:06 作者: orthodox 時間: 2025-3-22 16:40
978-3-540-42123-8Springer-Verlag Berlin Heidelberg 2001作者: 招致 時間: 2025-3-22 21:07 作者: 歡笑 時間: 2025-3-23 00:09 作者: 食草 時間: 2025-3-23 03:46
Using Ada in Interactive Digital Television Systemsn system and how Ada is used inside this system. It also describes how this system is currently reengineered from a proprietary Ada 83 / OpenVMS implementation using the DEC Ada compiler to an Ada 95 multi-platform implementation using the GNAT compiler.作者: 辭職 時間: 2025-3-23 08:03 作者: Incisor 時間: 2025-3-23 12:40 作者: leniency 時間: 2025-3-23 16:53
Building Modern Distributed Systemsntation of the Distributed Systems Annex. Extensions include restart on failure, easy code migration, hot code upgrade, restricted run time for use on embedded systems with limited processing as well as distributed storage capabilities and persistent storage handling.作者: 好開玩笑 時間: 2025-3-23 19:38
Reliable Communication in Distributed Computer-Controlled Systems preventing the occurrence of such unreliable behaviours. The proposed protocols explore the CAN synchronous properties to minimise its run-time overhead, and to provide a timely service to the supported applications. The paper also presents conclusions drawn from the implementation of the protocols in the Ada version of Real-Time Linux.作者: 機密 時間: 2025-3-24 00:09
Building Robust Applications by Reusing Non-robust Legacy Software. Dependability and consistency issues are solved inside the new interface code. In order to provide continuous service when adding new members, we propose techniques which prevent the server group from stopping service during state transfer. As an example of this methodology we present a robust database.作者: Nerve-Block 時間: 2025-3-24 02:47
Component Libraries and Language Featuresations imposed by abstraction boundaries (e.g., incomplete interfaces) without completely breaking abstraction. Language features discussed: type sytem features, object orientation, genericity and reflection..The work presented is work in progress, preliminary results and observations will be shown and discussed.作者: 沉積物 時間: 2025-3-24 10:03
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Softwarey proving absence of run-time errors..The results will be of interest to anyone contemplating the use of the SPARK toolset for ensuring the absence of run-time errors, both as guidance in planning the effort required, and for practical advice on making the best use of the toolset.作者: 儲備 時間: 2025-3-24 14:45 作者: 征兵 時間: 2025-3-24 16:06
Slicing Tagged Objects in Adaams, packages/types and hierarchies of types. Our slicing algorithm is more efficient because most of the results can be reused, and inter-subprogram slicing is transformed to intra-subprogram slicing.作者: COW 時間: 2025-3-24 20:07 作者: Repatriate 時間: 2025-3-25 00:56
Scenario-Based System Assessmentbased system assessment combines two differing already existing approaches to software reliability and risk assessment: input space partitioning and code partitioning and it draws on the strengths of both models while at the same time helping to overcome some of their restrictions.作者: 音樂學者 時間: 2025-3-25 05:33
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 作者: osteopath 時間: 2025-3-25 13:39
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 作者: cipher 時間: 2025-3-25 22:11
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
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
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
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 作者: BLA 時間: 2025-3-26 20:28
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作者: 形狀 時間: 2025-3-26 21:18 作者: 稱贊 時間: 2025-3-27 04:29
Building Robust Applications by Reusing Non-robust Legacy Softwareorder to increase fault tolerance of the service provided by the reused software. This methodology consists of writing an Ada interface which makes the binding to the legacy library. This interface forwards client requests to a group of remote servers, each one executing a copy of the legacy library作者: 膽小懦夫 時間: 2025-3-27 06:20 作者: 推遲 時間: 2025-3-27 11:45
Complex Task Implementation in Adaodic instants of time. While the process of control design is focused on obtaining the regulator, later on translated into an algorithm, the software design is focused on producing pieces of software that will be executed concurrently under a scheduler. Nowadays, more and more applications require c作者: reception 時間: 2025-3-27 13:54 作者: 小卒 時間: 2025-3-27 19:15 作者: faction 時間: 2025-3-27 22:14 作者: Circumscribe 時間: 2025-3-28 05:07 作者: 帶傷害 時間: 2025-3-28 08:20
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Softwarea software. In particular, the toolset is examined to determine how effective it is in finding run-time errors in a SPARK program, and how much of the process of proving freedom from run-time errors can be performed automatically. The study identifies areas where automatic run-time checks are not so作者: ALT 時間: 2025-3-28 11:07
Scenario-Based System Assessmentent. This approach uses the notion of input-space scenarios, which are created by a link between system structure and input space structure. Scenario-based system assessment combines two differing already existing approaches to software reliability and risk assessment: input space partitioning and c作者: emulsify 時間: 2025-3-28 17:15 作者: 尖叫 時間: 2025-3-28 21:57
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinementsnity will be described briefly. The concluding comments will provide some insight into the future of the Ada Programming Language with respect to support for special needs in the domains of real-time and high-integrity programming.作者: 解凍 時間: 2025-3-28 23:28 作者: HATCH 時間: 2025-3-29 05:16 作者: 情感 時間: 2025-3-29 09:29 作者: 加入 時間: 2025-3-29 14:39 作者: etidronate 時間: 2025-3-29 16:48
Francisco Guerra Santana,Javier Miranda González,José Miguel Santos Espino,José Carlos Rodríguez Cal作者: 連接 時間: 2025-3-29 20:38
Ehud Lamminto many languages. Eugen Wendler, the renowned author and List expert, not only builds upon his many years of research, but also discusses several new sources. This richly illustrated book is as informative as it is well written.978-3-662-51481-8978-3-642-54554-2Series ISSN 1572-1744 Series E-ISSN 2197-5892 作者: 自然環(huán)境 時間: 2025-3-30 02:17 作者: Compatriot 時間: 2025-3-30 04:20 作者: meditation 時間: 2025-3-30 08:17
Ehud LammthinkingFriedrich List (1789-1846) was a prophet of social market economy, national economy and? the infant-industry theory. In this comprehensive biography the international influence and reception of List’s theories is presented together with his extraordinary vita.? List was a notable early advoc作者: 叫喊 時間: 2025-3-30 16:25 作者: refine 時間: 2025-3-30 19:39 作者: Lethargic 時間: 2025-3-30 23:39
The Biological Effects of Photodynamic Therapy on Normal Skin in Mice-I. A Light Microscopic Study,ade a light and electron microscopic study on the effects of photodynamic treatment to normal mouse ears. In this paper we describe the results of our light microscopic observation and make a brief discussion on the significance of our findings.作者: 閃光你我 時間: 2025-3-31 03:43 作者: 不愛防注射 時間: 2025-3-31 08:12
https://doi.org/10.1007/978-981-10-3132-8cter of the victimisation process; the unbalanced power relationship between victims and perpetrators; the ties between the state and corporations; and the demands for justice, memory, and truth, not only to repair the past, but to prevent harm in the future. Finally, they approach the question of h作者: 滔滔不絕地講 時間: 2025-3-31 11:54 作者: 災禍 時間: 2025-3-31 13:46
Sex Differences in Immunometabolism: An Unexplored Area,t crucial, feature of immunometabolism within the scientific community. Sex differences in adipose (and by extension, metabolic) and immune functions are pervasive in metabolic and immune health and disease; it is likely that a better insight into them may open new research directions to better capi作者: brother 時間: 2025-3-31 19:33 作者: flamboyant 時間: 2025-4-1 00:16 作者: Engulf 時間: 2025-4-1 02:16
Conference proceedings 2015resented in two session topics. The first covers “Investigations and assessment of new wind farms” and the second, “Monitoring, mitigation and offsets.”.The Proceedings then summarize the panel discussions held at the end of the conference. The themes include improving pre- and post-construction sur作者: 葡萄糖 時間: 2025-4-1 08:49
