作者: 或者發(fā)神韻 時(shí)間: 2025-3-21 20:21 作者: 敵手 時(shí)間: 2025-3-22 03:45
José A. Pulido,Santiago Urue?a,Juan Zamorano,Juan A. de la Puentethe latest findings in phylogeny, ultrastructure and morphol.This volume covers the freshwater, aerophytic, and terrestrial green algae of the Ulvophyceae, one of the main classes of green algae. Although most of this diversity is found in the marine environment, a substantial number of species also作者: 填料 時(shí)間: 2025-3-22 05:13
Mario Aldea Rivas,José F. Ruiz% of the world’s population and supply water for roughly 60 % of global food production. It is no surprise that the management of these watercourses has been entrusted to national states, which have the power to take sovereign decisions over their management, use and conservation. State sovereignty 作者: minimal 時(shí)間: 2025-3-22 08:46
Arnaud Lanoix,Denis Hatebur,Maritta Heisel,Jeanine Souquièresmer 2007; Damborenea et al. 2019; Fitter and Manuel 1986; Illies 1978; Kriska and Tittizer 2009; Norton and Behan-Pelletier 2009; Quigley 1977; Schwab 1999; Smith and Oliver 1986; Smith et al. 2010; Walter et al. 2009). Species inhabiting stagnant or slow-streaming waters are round or oval, while th作者: 標(biāo)準(zhǔn) 時(shí)間: 2025-3-22 16:38
Man F. Lau,Ying Liu,Tsong Y. Chen,Yuen T. Yuing to be described worldwide. Most of the known species belong to the families Baetidae (956), Heptageniidae (598) and Leptophlebiidae (643) (Sartori and Brittain 2015). This group of insects was already present in the Carboniferous, yet previously the order was much more diverse. Fossil remains of作者: 無節(jié)奏 時(shí)間: 2025-3-22 18:33 作者: Isthmus 時(shí)間: 2025-3-22 21:21 作者: 省略 時(shí)間: 2025-3-23 02:38 作者: 英寸 時(shí)間: 2025-3-23 09:11
Nourchène Elleuch,Adel Khalfallah,Samir Ben Ahmedbiosphere in both aquatic and terrestrial environments. While environmental contamination is widespread, there are several reasonable intervention points present as the material flows through society and the environment, from initial production to deep-sea microplastic sedimentation. Plastic passes 作者: Cholesterol 時(shí)間: 2025-3-23 10:08 作者: gerrymander 時(shí)間: 2025-3-23 17:39 作者: hegemony 時(shí)間: 2025-3-23 21:51 作者: indifferent 時(shí)間: 2025-3-23 22:16
Alejandro R. Mosteo,Luis Montano.Provides a useful conceptual tool for researchers, academic.The .Freshwaters of Patagonia. adopts a socioecological approach, in which experts from across Patagonia review recent, scientifically rigorous literature and data of their own, thus synthesizing the current knowledge directly relevant to 作者: 音的強(qiáng)弱 時(shí)間: 2025-3-24 02:51 作者: 過于平凡 時(shí)間: 2025-3-24 07:09
tly unique ability to rapidly produce large developments of algal biomass in oligotrophic environments. The explanation for this paradox is unclear, but it likely includes aspects of ecology, hydrology, biogeochemistry, and geomorphology. . occurrence and mat formation in Patagonia date from 2010, s作者: 疲勞 時(shí)間: 2025-3-24 12:36
Enhancing Dependability of Component-Based Systems,atures by wrapping them with special components, which monitor and filter input and outputs. This approach is supported by a rigorous development methodology based on UML and the B method and is introduced on the level of software architecture.作者: 使增至最大 時(shí)間: 2025-3-24 18:10
Design and Performance of a Generic Consensus Component for Critical Distributed Applications,the underlying middleware layer are defined in terms of functional services among which tasking and transport are the most important. A complete design and configuration of the middleware is proposed. Performance measurements and source code analysis prove the efficiency and the ability to evolve of our design.作者: BOGUS 時(shí)間: 2025-3-24 23:05
,Handling Temporal Faults in Ada?2005,poral fault detection and recovery, based on some of the new features available in Ada?2005. Fault detection mechanisms are based on execution-time clocks and timers, and timing events. Fault recovery schemes are application-dependent, but some basic patterns are proposed that can be used to develop such kinds of mechanisms.作者: Conjuction 時(shí)間: 2025-3-25 01:33 作者: Volatile-Oils 時(shí)間: 2025-3-25 07:04
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach,h that centres on a correctness-by-construction philosophy rooted on a domain-specific metamodel designed to formally define and constrain the design space and prove the allowable model transformations down to automated code generation.作者: intoxicate 時(shí)間: 2025-3-25 11:01 作者: narcissism 時(shí)間: 2025-3-25 12:50
Generating Distributed High Integrity Applications from Their Architectural Description,or HI distributed systems. Then we present our Ravenscar Profile compliant Ada code generation rules from AADL models. Finally, we present our Ravenscar Profile compliant middleware, PolyORB-HI and the extension of the code generation rules for HI distributed applications.作者: 泥土謙卑 時(shí)間: 2025-3-25 19:40
Automatic Ada Code Generation Using a Model-Driven Engineering Approach,hen be used as inputs for another tool which will automatically generate the corresponding Ada code, including a simulation program to test the correctness and performance of the implemented application.作者: 慢跑鞋 時(shí)間: 2025-3-25 21:57 作者: 去世 時(shí)間: 2025-3-26 01:39 作者: INERT 時(shí)間: 2025-3-26 08:12 作者: Dignant 時(shí)間: 2025-3-26 11:22
Conference proceedings 2007ftware technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous edit作者: 種類 時(shí)間: 2025-3-26 15:00
Real-Time Utilities for Ada 2005,ems to be implemented, the abstractions are low level. This paper argues that there is a need for a standardised library of real-time utilities that address common real-time problems. The paper presents some initial considerations on what could be in such a library and how it could be structured.作者: FRONT 時(shí)間: 2025-3-26 20:34
,Handling Temporal Faults in Ada?2005,hat a careful analysis of execution-time budgets and response-time values can be performed. However, design-time guarantees are not enough in many high-integrity systems, in which some degree of run-time fault-tolerance has to be implemented as well. This paper deals with run-time mechanisms for tem作者: PHONE 時(shí)間: 2025-3-26 21:46
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT,s” and “Dynamic Priorities for Protected Objects”) in the MaRTE OS/ GNAT run-time library for GNU/Linux. For each these new services we discuss different implementation alternatives and evaluate they performance. As a con sequence of the results obtained, our view is that the new services can be imp作者: CARE 時(shí)間: 2025-3-27 02:08
Enhancing Dependability of Component-Based Systems,ted in specific components, allowing the method to be applied to off-the-shelf components. Any set of components can be extended with dependability features by wrapping them with special components, which monitor and filter input and outputs. This approach is supported by a rigorous development meth作者: MORPH 時(shí)間: 2025-3-27 08:53 作者: 去才蔑視 時(shí)間: 2025-3-27 10:27 作者: 變白 時(shí)間: 2025-3-27 15:56 作者: Pituitary-Gland 時(shí)間: 2025-3-27 18:50 作者: 監(jiān)禁 時(shí)間: 2025-3-27 23:55 作者: 主動(dòng) 時(shí)間: 2025-3-28 03:16
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis,ion on all aspects of interest in a manner that warrants methodological correctness and some controlled form of separation of concerns. Model-driven engineering approaches strive to attain separation between concerns that are either independent or dependent of the platform. They however provide scar作者: 專心 時(shí)間: 2025-3-28 06:16
ArchMDE Approach for the Development of Embedded Real Time Systems,d be elaborated in order to improve ERTS developers productivity. Model Driven Engineering (MDE) is an emerging paradigm that advances the idea to use models and models transformations to make the development process cost effective..This paper introduces the Architecture-centric Model Driven Enginee作者: GUMP 時(shí)間: 2025-3-28 13:33 作者: frivolous 時(shí)間: 2025-3-28 16:50
Automatic Ada Code Generation Using a Model-Driven Engineering Approach,plete example based on state-machines will be used to demonstrate the benefits of this approach. After defining a modelling language (meta-model) for statemachines, a graphical tool will be presented which is aimed at easing the description and validation of state-machine models. These models will t作者: idiopathic 時(shí)間: 2025-3-28 19:19
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar,domain specific language can be interpreted in order to perform real time scheduling analysis of real time systems. By the past, different projects showed that the Cheddar programming language is useful for the modeling of real time schedulers. But these experiments also showed that the interpreter 作者: 表被動(dòng) 時(shí)間: 2025-3-29 01:50 作者: enmesh 時(shí)間: 2025-3-29 04:26 作者: 地名表 時(shí)間: 2025-3-29 07:15
S,: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research,is paper we highlight the architectural elements of our implementation and also present our experiences using the cutting-edge 2005 implementation from GNAT, through its GPL 2005 and 2006 iterations. We expect to exemplify the kind of advantages and challenges that developers can find in using the n作者: Generosity 時(shí)間: 2025-3-29 13:48
Incorporating Precise Garbage Collection in an Ada Compiler,seems appropriate to evaluate the effort required to integrate such a facility into Ada..This paper presents an ongoing project to accomplish this goal by modifying the GNAT compiler to incorporate support for precise garbage collection. The approach taken can be immediately applied to current Ada 9作者: Host142 時(shí)間: 2025-3-29 17:11
An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers, redundant test cases. We also conduct a case study with RTL where we found that test suite can be considerably reduced. In addition, we show that the fault detection capability can be maintained with the reduced test suites by means of mutation testing.作者: 拱形面包 時(shí)間: 2025-3-29 21:50
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis,y be confirmed by proving feasible in the space and time domain. In this paper we discuss some elements of a development process based on a rigorous metamodel definition and on advanced model transformation techniques, which permits the execution of timing analysis . on the system model.作者: Anecdote 時(shí)間: 2025-3-30 00:16 作者: Fortify 時(shí)間: 2025-3-30 04:36
Real-Time Utilities for Ada 2005,ems to be implemented, the abstractions are low level. This paper argues that there is a need for a standardised library of real-time utilities that address common real-time problems. The paper presents some initial considerations on what could be in such a library and how it could be structured.作者: legitimate 時(shí)間: 2025-3-30 09:19
Static Detection of Livelocks in Ada Multitasking Programs, exponential, they can be expected to run in polynomial time. Since the problem is strongly connected to finding infinite loops, which is undecidable in general, our algorithms compute only an approximation to the real solution of the problem. As a consequence our algorithms may compute false positives.作者: Substitution 時(shí)間: 2025-3-30 15:22
978-3-540-73229-7Springer-Verlag Berlin Heidelberg 2007作者: DAMP 時(shí)間: 2025-3-30 20:03 作者: neuron 時(shí)間: 2025-3-30 22:27 作者: FAWN 時(shí)間: 2025-3-31 04:11
https://doi.org/10.1007/978-3-540-73230-3Ada; Ada programming; Ada programming language; Compiler; Multitasking; architecture; concurrency modeling作者: 山間窄路 時(shí)間: 2025-3-31 07:45 作者: alcoholism 時(shí)間: 2025-3-31 10:09 作者: 巨碩 時(shí)間: 2025-3-31 15:32
Man F. Lau,Ying Liu,Tsong Y. Chen,Yuen T. Yufor few days. The short life of the mature mayfly is also reflected by its scientific name (‘Ephemeros’=‘lasting a day’, ‘pteron’=‘wing’). The only purpose of their brief lives is to produce the offspring (Barber-James et al. 2008; Barnes 1980; Bauernfiend 1994; Bauernfiend and Humpesch 2001; Bauern作者: Oafishness 時(shí)間: 2025-3-31 19:00 作者: Psychogenic 時(shí)間: 2025-3-31 22:28
Matteo Bordin,Tullio Vardanegapical of environmental management of the atmosphere and ocean. It is increasingly apparent, however, that high-quality water resources are now in critically short supply not only because of local problems such as over-irrigation and eutrophication, but also as a result of larger-scale climate effect作者: Daily-Value 時(shí)間: 2025-4-1 05:18 作者: canonical 時(shí)間: 2025-4-1 09:48
Nourchène Elleuch,Adel Khalfallah,Samir Ben Ahmednaged is a different story. The subjective positions of stakeholders illuminate their economic philosophy, whether it is to maintain demand for new plastic by incinerating postconsumer material or maintain material efficacy through recycling, regulated design, and producer responsibility; many propo
