作者: 神秘 時(shí)間: 2025-3-21 21:05 作者: LAPSE 時(shí)間: 2025-3-22 01:56
ángel Esquinas,Juan Zamorano,Juan A. de la Puente,Miguel Masmano,Ismael Ripoll,Alfons Crespoe output at a faster rate than the control. It is also known that the vibration control of smart structure is a challenging problem as it has several vibratory modes. So, the frequency shaping approach is used978-81-322-2237-8978-81-322-2238-5Series ISSN 2191-530X Series E-ISSN 2191-5318 作者: ARCHE 時(shí)間: 2025-3-22 07:52 作者: gangrene 時(shí)間: 2025-3-22 11:52
Thierry Coq,Jean-Pierre Rosenllimeter metastable Magnesium beam, which has shown a short tenn stability 19 in the low 12s in one second and promises an accuracy of 10- , and the cold Hydrogen masers, which have such high stabilities that they cannot be measured with existing local oscillators. Prospects for future developments include la978-3-642-74503-4978-3-642-74501-0作者: faculty 時(shí)間: 2025-3-22 15:49 作者: seroma 時(shí)間: 2025-3-22 17:35 作者: Morsel 時(shí)間: 2025-3-22 23:35 作者: Hyperalgesia 時(shí)間: 2025-3-23 01:51
Laura Carnevali,Giuseppe Lipari,Alessandro Pinzuti,Enrico Vicarioetastable Magnesium beam, which has shown a short tenn stability 19 in the low 12s in one second and promises an accuracy of 10- , and the cold Hydrogen masers, which have such high stabilities that they cannot be measured with existing local oscillators. Prospects for future developments include la作者: 防銹 時(shí)間: 2025-3-23 09:13
Sanjoy Baruah,Alan Burnsream is indeterminate, so we cannot wait for it to end. We generate an initial result after seeing a certain quantity of data, and then we periodically revise the result. A particular challenge for frequent pattern discovery is the combinatorial explosion of candidate patterns.In this chapter, we pr作者: SOBER 時(shí)間: 2025-3-23 12:10
Erhard Ploederederve been developed for effective database compression and fast in-memory traversal. Such a methodology may eliminate or substantially reduce the number of candidate sets to be generated and also reduce the size of the database to be iteratively examined, and, therefore, lead to high performance..In t作者: CRACK 時(shí)間: 2025-3-23 16:38 作者: 燒瓶 時(shí)間: 2025-3-23 21:42 作者: 記憶 時(shí)間: 2025-3-23 22:26 作者: Gleason-score 時(shí)間: 2025-3-24 05:36 作者: transplantation 時(shí)間: 2025-3-24 07:55
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MAines to get in tune the generation of Ada applications described by the high level application modelling concepts provided by MARTE, with its corresponding schedulability analysis models. The tool associated to this methodology generates as an output the concrete analysis models used by the MAST set作者: Melanoma 時(shí)間: 2025-3-24 11:32
Architecting a Common Bridge Abstraction over Different Middleware Paradigmsddleware technologies interchangeably. This bridge is a software component to abstract the complexity of the middleware solutions requiring minimum porting efforts. Some results are presented to validate the transparency.作者: cutlery 時(shí)間: 2025-3-24 15:36
0302-9743 rope International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are作者: 不能逃避 時(shí)間: 2025-3-24 20:12
Conference proceedings 2011d in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architect作者: Mingle 時(shí)間: 2025-3-24 23:51
Assuring Software Reliability While Using Web Services and Commercial Productse architecture. The program must now deliver on its promise to facilitate the evolution of the U.S. National Airspace System (NAS) by integrating Next Generation Air Traffic Control (ATC) capabilities starting with System Wide Information Management (SWIM), Automatic Dependent Surveillance (ADS-Broa作者: CULP 時(shí)間: 2025-3-25 04:30 作者: Neolithic 時(shí)間: 2025-3-25 07:58 作者: BATE 時(shí)間: 2025-3-25 12:13
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012entation of multiprocessor scheduling approaches over the low-level abstractions offered by Ada forces the programmer to reconstruct complex task templates and algorithms in each new system. This work proposes to extend the previous Real-Time Utilities by Wellings and Burns to support multiprocessor作者: 禮節(jié) 時(shí)間: 2025-3-25 18:49
Adapting ACATS to the Ahven Testing Frameworke output. We show how ACATS can be adapted to work with the Ahven testing framework, resulting in a single easy-to-build executable program that combines the executable ACATS tests, runs them in order, and grades and summarizes the test results. Our goal is a highly portable and automated ACATS driv作者: 編輯才信任 時(shí)間: 2025-3-25 21:50 作者: NADIR 時(shí)間: 2025-3-26 03:54 作者: myocardium 時(shí)間: 2025-3-26 06:12 作者: 連系 時(shí)間: 2025-3-26 10:08 作者: 水獺 時(shí)間: 2025-3-26 15:56 作者: Hyperalgesia 時(shí)間: 2025-3-26 18:40 作者: Enrage 時(shí)間: 2025-3-26 21:38 作者: 開始從未 時(shí)間: 2025-3-27 03:29
Programming Languages for Real-Time Applications Executing on Parallel Hardwaretunately, there are many: multicores, SMPs, MPSoCs, FPGAs, GPGPUs and dataflow machines to name just a few. And even the single architecture of ‘multicore’ represents a host of alternatives specifically with respect to memory management and scale. The scale issue being a particular source of concern作者: 漂泊 時(shí)間: 2025-3-27 07:05 作者: 是貪求 時(shí)間: 2025-3-27 10:25
Detecting High-Level Synchronization Errors in Parallel Programsmunication patterns. This paper discusses two types of high-level error scenarios, namely non-atomic protection and lost-updates, and presents a static framework to detect situations where such synchronization anomalies can manifest themselves.作者: Rustproof 時(shí)間: 2025-3-27 13:52 作者: 陰郁 時(shí)間: 2025-3-27 19:42 作者: 食道 時(shí)間: 2025-3-27 23:26
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robotctives: make learning programming languages more appealing to undergraduate students, and to have a platform that can be still used in postgraduate and master courses. The interface with the simulator and the real robot has been programmed in Ada, and it is also being used in our current Research and Development projects.作者: Galactogogue 時(shí)間: 2025-3-28 03:45 作者: impale 時(shí)間: 2025-3-28 08:53 作者: propose 時(shí)間: 2025-3-28 14:17 作者: 或者發(fā)神韻 時(shí)間: 2025-3-28 18:16
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADLas of the ADLs are highlighted. Results of using an extended comparison framework showed many similarities, but also one clear distinction between the languages regarding the perspectives and the levels of abstraction in which systems are modeled.作者: abysmal 時(shí)間: 2025-3-28 21:31 作者: 統(tǒng)治人類 時(shí)間: 2025-3-29 00:08
ORK+/XtratuM: An Open Partitioning Platform for Ada(ORK+), a small, reliable real-time kernel supporting the Ada Ravenscar tasking profile. This combination provides an open-source platform that enables high-integrity Ada applications to share the same computer board with other, possibly less critical, applications.作者: Insul島 時(shí)間: 2025-3-29 04:19 作者: expire 時(shí)間: 2025-3-29 09:18 作者: exceed 時(shí)間: 2025-3-29 13:10
Fabien Chouteau,José F. Ruiz FSS based antenna structure will help reader to understand This book focuses on performance enhancement of printed antennas using frequency selective surfaces (FSS) technology. The growing demand of stealth technology in strategic areas requires high-performance low-RCS (radar cross section) antenn作者: 說笑 時(shí)間: 2025-3-29 19:21
Sergio Sáez,Silvia Terrasa,Alfons Crespochnology in strategic areas requires high-performance low-RCS (radar cross section) antennas. Such requirements may be accomplished by incorporating FSS into the antenna structure either in its ground plane or as the superstrate, due to the filter characteristics of FSS structure. In view of this, a作者: nauseate 時(shí)間: 2025-3-29 19:45 作者: triptans 時(shí)間: 2025-3-30 02:14
Dan Eilers,Tero Koskinenomic ensemble by optical pumping, and additionally monitors the degree of polarization that is attained; simultaneously, the atomic ensemble interacts with a microwave field, which reduces the degree of polarization in the atomic ensemble when the microwave field’s frequency matches an appropriate a作者: chapel 時(shí)間: 2025-3-30 06:35 作者: 憤慨點(diǎn)吧 時(shí)間: 2025-3-30 11:45 作者: NAV 時(shí)間: 2025-3-30 15:34
Laura Carnevali,Giuseppe Lipari,Alessandro Pinzuti,Enrico Vicarioclude the first results on the long-tenn stability of a millisecond Pulsar, for which data 14 integrated over several years now show a stability of around 10- . Improvements in the understanding of various biases in Cesium beam standards promise accuracies in the low 14s for primary standards and in作者: 訓(xùn)誡 時(shí)間: 2025-3-30 20:35 作者: strain 時(shí)間: 2025-3-30 22:41 作者: invert 時(shí)間: 2025-3-31 04:29
Sanjoy Baruah,Alan Burnstal data mining tasks, for both static and streaming data, is frequent pattern mining. The goal of pattern mining is to identity frequently occurring patterns and structures. Such patterns may indicate scientific phenomena, economic or social trends, or even security threats. Moreover, not only is p作者: 不法行為 時(shí)間: 2025-3-31 07:46
Erhard Ploedereder mining association, correlation, causality, sequential patterns, partial periodicity, constraint-based frequent pattern mining, associative classification, emerging patterns, etc. Many studies adopt an Apriori-like, candidate generation-and-test approach. However, based on our analysis, candidate g作者: 支架 時(shí)間: 2025-3-31 11:57 作者: 否決 時(shí)間: 2025-3-31 14:30 作者: Visual-Acuity 時(shí)間: 2025-3-31 19:42 作者: 凹槽 時(shí)間: 2025-3-31 22:39
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826445.jpg作者: 生氣地 時(shí)間: 2025-4-1 05:33 作者: 身體萌芽 時(shí)間: 2025-4-1 10:02
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source CodeThis article presents the quality and analysis model of the SQALE assessment method of software source code. It explains how an Ada quality model compliant to SQALE is implemented and the results of its application to selected software, and how the use of Ada reduces the quality debt unlike many other technologies.作者: interior 時(shí)間: 2025-4-1 10:30 作者: 一個(gè)姐姐 時(shí)間: 2025-4-1 14:42
Multicore Programming in ParaSailThe advent of multicore processors requires a new approach to programming. ParaSail is an example of such a new approach. It is a marriage of implicit parallelism and formal methods integrated into a simplified yet powerful programming language.
