作者: 減至最低 時(shí)間: 2025-3-21 22:21 作者: DIKE 時(shí)間: 2025-3-22 04:13
PINROB: A portable API for industrial robots,ication software is dissociated from the low-level robot controller software. The interaction between these two pieces of software is achieved by a portable application programming interface (API) for industrial robots. We discuss the requirements for such an API, and propose a design called PINROB.作者: 臭了生氣 時(shí)間: 2025-3-22 07:28
Quality-for-ASIS: A portable testing facility for ASIS,ific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage statistics for a test set based on the ACVC compiler validation suite are provided.作者: Vasoconstrictor 時(shí)間: 2025-3-22 10:14
978-3-540-64536-8Springer-Verlag Berlin Heidelberg 1998作者: 可行 時(shí)間: 2025-3-22 15:53
Reliable Software Technologies - Ada-Europe ‘98978-3-540-69802-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: PATHY 時(shí)間: 2025-3-22 21:05
Embedded opportunities,This is a modest attempt at unveiling forthcoming opportunities in the embedded computing sector. The final talk will also explain how Ada 95 offers a competitive advantage in the new embedded marketplace.作者: 暗諷 時(shí)間: 2025-3-23 00:43 作者: MIRTH 時(shí)間: 2025-3-23 03:23
Ten years of tool based Ada compiler validations an experience report,This paper summarizes IABG‘s experience as an Ada Validation Facility from the last decade. The paper puts an emphasis on the improvement of the validation process by evolving tool support.作者: Innocence 時(shí)間: 2025-3-23 08:48 作者: 有發(fā)明天才 時(shí)間: 2025-3-23 09:48
https://doi.org/10.1007/BFb0054988Action; Ada; Ada 95; Java; Java Virtual Machine; distributed systems; inheritance; object; programming langu作者: conceal 時(shí)間: 2025-3-23 16:21
Conference proceedings 1998Uppsala, Sweden, in June 1998..The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and作者: 偽造者 時(shí)間: 2025-3-23 18:29
Object oriented abstractions for real-time distributed systems,possibly remote, data subscription concept is described and then shown in it‘s use of the advanced Ada distributed generics capabilities. Client-server and distributed-object abstractions are also contrasted.作者: anticipate 時(shí)間: 2025-3-24 02:05
A case study in quantitative evaluation of real-time software architectures,fferent architectures, giving a clear indication of which one is better from this point of view. We believe that the approach can be used on other properties and domain architectures, thus opening new possibilities for quantitative evaluation of software architectures.作者: 賞心悅目 時(shí)間: 2025-3-24 04:48
Implementing and using execution time clocks in Ada hard real-time applications,ecution time clocks within the task scheduler, and we describe methods to detect execution time overruns in the application, and to limit their effects. We also discuss the use of execution time clocks to enhance the performance of sporadic server schedulers implemented at the application level.作者: 完整 時(shí)間: 2025-3-24 09:12 作者: 高原 時(shí)間: 2025-3-24 14:09
Ada+B the formula for safety critical software development, Ada is the best way to reach the total correctness requested by safety. Although these types of methods may appear as grim, they are not very difficult to learn and give finally to their users the satisfaction of producing a high quality work, at the lowest possible cost for this quality. We hope t作者: Congregate 時(shí)間: 2025-3-24 15:38
Porting the GNAT tasking runtime system to the Java virtual machine,f-concept implementation. The latter allows one to run multi-tasking applications that are written in Ada and compiled into native machine code, using the thread support of the Java Virtual Machine. The Java Virtual Machine takes care of scheduling the different threads of control, just like any mul作者: 不可救藥 時(shí)間: 2025-3-24 21:20 作者: prostatitis 時(shí)間: 2025-3-25 02:23 作者: 手榴彈 時(shí)間: 2025-3-25 07:14
Inside the distributed systems annex,mer can easily modify its monolithic application and transform it in a very short amount of time into a distributed one. However, there is a huge amount of work involved in the compiler and in external tools and libraries to build and run a distributed application without loosing Ada semantics and s作者: Allege 時(shí)間: 2025-3-25 09:52 作者: 嚴(yán)重傷害 時(shí)間: 2025-3-25 14:13 作者: 枯萎將要 時(shí)間: 2025-3-25 18:15 作者: superfluous 時(shí)間: 2025-3-25 22:12 作者: Brochure 時(shí)間: 2025-3-26 01:37
(Astro)physical supercomputing: Ada95 as a safe, object oriented alternative,s virtually absolute sway over computational (astro)physics. The advent of Ada95 may have changed this unhappy situation. Extensive exploration of the potential of Ada in the field of spectral line synthesis over the past years has revealed its suitability for numerically intensive (astro)physical m作者: 引起痛苦 時(shí)間: 2025-3-26 07:10
Ada 95 for a distributed simulation system,alisation, split queue time warp, that allows lazy message reception and thus may reduce rollback frequency. The present paper contains a brief description of our algorithm and then describes an implementation that uses Ada 95 and its capabilities for distributed programming.作者: aerial 時(shí)間: 2025-3-26 09:42 作者: 過(guò)渡時(shí)期 時(shí)間: 2025-3-26 14:46
Quality-for-ASIS: A portable testing facility for ASIS,ific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage statistics for a test set based on the ACVC compil作者: 大量殺死 時(shí)間: 2025-3-26 17:18
A two-level matching mechanism for object-oriented class libraries,ers in finding, understanding and modifying the components most relevant for their requirements. . techniques can provide easy to use, fast and cheap, but not necessarily very accurate, search tools. On the contrary, . can provide accurate results, while it is more difficult to use, slow and expensi作者: Fibrinogen 時(shí)間: 2025-3-26 21:12
Modern Avionics requirements for the Distributed Systems Annex,ems on top of Ada 95 and the Distributed Systems Annex (DSA). Our purpose was to explore the requirements for the DSA in such applications and to assess portability benefits. The problem domain of modern avionics will increasingly require strong partitioning of software with multilevel safety and re作者: 中古 時(shí)間: 2025-3-27 04:48 作者: CUR 時(shí)間: 2025-3-27 06:26
0302-9743 , held in Uppsala, Sweden, in June 1998..The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 la作者: curettage 時(shí)間: 2025-3-27 10:43
,Automating the Ada binding process for Java — How far can we go?,rom the information in a Java class file (within the constraints of necessary support from an Ada compiler). However, we show that such a binding has significant limitations from a practical usability perspective.作者: Cerebrovascular 時(shí)間: 2025-3-27 14:01
Inside the distributed systems annex,trong type checking. This paper describes how such a task has been achieved in the current implementation of GNAT, the GNU Ada compiler, and in GLADE, GNAT‘s companion package for building and running distributed programs.作者: evince 時(shí)間: 2025-3-27 19:15
Modern Avionics requirements for the Distributed Systems Annex,liability analysis to build highly complex, large, multiprocessor, predominately hard real-time software systems. This paper covers changes in the requirement driving the problem domain, the solution approach using an ADL, MetaH, on top of the DSA, and requirements for a usable DSA implementation.作者: CRAMP 時(shí)間: 2025-3-28 01:23
0302-9743 nguage and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.978-3-540-64536-8978-3-540-69802-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 不如樂(lè)死去 時(shí)間: 2025-3-28 02:57
Ada+B the formula for safety critical software development,lt to learn and give finally to their users the satisfaction of producing a high quality work, at the lowest possible cost for this quality. We hope that these methods will find new users for the greatest benefit of the software engineering community.作者: inflate 時(shí)間: 2025-3-28 06:24
How to avoid the inheritance anomaly in Ada,pport the inheritance of synchronization constraints is necessary to avoid what is called the inheritance anomaly. We present a modelling style of Ada which allows the integration of concurrency into object-oriented programming and which offers a solution to the inheritance anomaly.作者: Irksome 時(shí)間: 2025-3-28 13:45 作者: Militia 時(shí)間: 2025-3-28 17:54
Conference proceedings 1998mittee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.作者: 發(fā)出眩目光芒 時(shí)間: 2025-3-28 19:24
José L. Fernández,Bárbara álvarez,Francisco García,ángel Pérez,Juan A. de la Puente作者: angiography 時(shí)間: 2025-3-29 02:20
oder im theokratisch-religi?sen Verst?ndnis aufeinanderprallen. .Mit dem mathematisch-logischen Formbegriff George Spencer Browns, der die Form des Formal/Material-Schemas noch zu fassen sucht, kann ein Friedensverst?ndnis ausgearbeitet werden, das die Entt?uschungen in den Begriff aufnehmen l?sst, 作者: 態(tài)學(xué) 時(shí)間: 2025-3-29 06:43 作者: ureter 時(shí)間: 2025-3-29 09:11
David E. Emery,Robert F. Mathis,Karl A. Nybergtik sprechen (vgl. Bogdandy 2006; Bianchi 2016, S. 44). Als Ausgangspunkt des vorliegenden Beitrags l?sst sich also fragen: Gibt es so etwas wie eine deutsche Tradition im V?lkerrecht? Welche Charakteristika k?nnen ihr zugeschrieben werden? Inwiefern also gibt es typisch ?deutsche“ Zug?nge zum V?lke作者: 高原 時(shí)間: 2025-3-29 13:18
Mordechai Ben-Aritik sprechen (vgl. Bogdandy 2006; Bianchi 2016, S. 44). Als Ausgangspunkt des vorliegenden Beitrags l?sst sich also fragen: Gibt es so etwas wie eine deutsche Tradition im V?lkerrecht? Welche Charakteristika k?nnen ihr zugeschrieben werden? Inwiefern also gibt es typisch ?deutsche“ Zug?nge zum V?lke作者: GUMP 時(shí)間: 2025-3-29 18:10 作者: 噱頭 時(shí)間: 2025-3-29 23:12 作者: CONE 時(shí)間: 2025-3-30 01:44 作者: Galactogogue 時(shí)間: 2025-3-30 06:19
Scott Arthur Moodyhen Analyse von Bürgerkriegserz?hlungen kann zugleich aus konfliktsoziologischer Perspektive erkl?rt und verstanden werden, welche Relevanz die verbale Abrüstung, die Abkehr von Kriegsrhetoriken und der Abbau von Feindbildern für eine nachhaltige Friedensstiftung besitzt..作者: Adjourn 時(shí)間: 2025-3-30 10:04
Martin J. Stiftd empirischen Analyse von Bürgerkriegserz?hlungen kann zugleich aus konfliktsoziologischer Perspektive erkl?rt und verstanden werden, welche Relevanz die verbale Abrüstung, die Abkehr von Kriegsrhetoriken und der Abbau von Feindbildern für eine nachhaltige Friedensstiftung besitzt..978-3-658-40293-8978-3-658-40294-5作者: uveitis 時(shí)間: 2025-3-30 15:18
Helge Hagenauer,Werner Pohlmannd empirischen Analyse von Bürgerkriegserz?hlungen kann zugleich aus konfliktsoziologischer Perspektive erkl?rt und verstanden werden, welche Relevanz die verbale Abrüstung, die Abkehr von Kriegsrhetoriken und der Abbau von Feindbildern für eine nachhaltige Friedensstiftung besitzt..978-3-658-40293-8978-3-658-40294-5作者: 激勵(lì) 時(shí)間: 2025-3-30 19:17
M. González Harbour,R. Gómez Somarriba,A. Strohmeier,J. Jacotd empirischen Analyse von Bürgerkriegserz?hlungen kann zugleich aus konfliktsoziologischer Perspektive erkl?rt und verstanden werden, welche Relevanz die verbale Abrüstung, die Abkehr von Kriegsrhetoriken und der Abbau von Feindbildern für eine nachhaltige Friedensstiftung besitzt..978-3-658-40293-8978-3-658-40294-5作者: 軌道 時(shí)間: 2025-3-31 00:18 作者: 鉤針織物 時(shí)間: 2025-3-31 02:48 作者: 無(wú)可爭(zhēng)辯 時(shí)間: 2025-3-31 07:47 作者: 津貼 時(shí)間: 2025-3-31 12:34
Laurent Pautet,Samuel Tardieuiedensprozessen einzugehen. Es zeichnet ein neues Verst?ndnis von Friedensprozessen als Institutionalisierung formalisierter politischer Unruhe und zeigt neue Wege auf, damit umzugehen. Das Buch zeigt auf, wie 978-3-031-23746-1978-3-031-23747-8作者: 投票 時(shí)間: 2025-3-31 15:45 作者: insincerity 時(shí)間: 2025-3-31 18:00
A two-level matching mechanism for object-oriented class libraries,e restriction of the search space (you‘ll pay for what you use). The proposed specification match also tries to take advantage of the characteristics of OO class libraries (i.e. inheritance and design by contract principles). We will show how these can improve both performance and accuracy of matchi作者: expound 時(shí)間: 2025-4-1 00:37 作者: 里程碑 時(shí)間: 2025-4-1 05:53
Franco Gasperonidem Sprachspiel temporalisierter Friedensbegrifflichkeit zugetraut. Im Brennpunkt terminologischer Pr?zisierungen steht das Proze?muster, mit dem am Frieden die ganze Bandbreite historischer Situiertheit ausdrucksf?hig werden soll. Schwerdtfeger (1988) hat in diesem Sinne den Begriff aus dem engen F作者: capsaicin 時(shí)間: 2025-4-1 09:47 作者: overwrought 時(shí)間: 2025-4-1 13:21 作者: ARCHE 時(shí)間: 2025-4-1 15:05 作者: 散開(kāi) 時(shí)間: 2025-4-1 19:42 作者: 意外的成功 時(shí)間: 2025-4-2 00:19 作者: KEGEL 時(shí)間: 2025-4-2 06:30 作者: 送秋波 時(shí)間: 2025-4-2 07:05
