作者: glucagon 時間: 2025-3-22 00:01
978-3-319-39082-6Springer International Publishing Switzerland 2016作者: Allergic 時間: 2025-3-22 01:35
Reliable Software Technologies – Ada-Europe 2016978-3-319-39083-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 轎車 時間: 2025-3-22 08:31
Marko Bertogna,Luis Miguel Pinho,Eduardo Qui?onesIncludes supplementary material: 作者: 徹底檢查 時間: 2025-3-22 10:50 作者: placebo 時間: 2025-3-22 13:58
https://doi.org/10.1007/978-3-319-39083-3distributed systems; fault-tolerance; formal methods; model checking; parallel programming; correctness; c作者: 無力更進(jìn) 時間: 2025-3-22 20:29 作者: Diskectomy 時間: 2025-3-23 01:05
Real-Time Stream Processing in Javaverted to collections for processing by the Java 8 infrastructure which is configured with a real-time ForkJoin thread pool. Deferrable servers are used to limit the impact of stream processing activity on hard real-time activities.作者: 慷慨援助 時間: 2025-3-23 05:08
Kronecker Algebra for Static Analysis of Barriers in Adatatically analyze Ada multi-tasking programs that employ barriers for synchronization issues. It turns out that we can use our existing Kronecker algebra implementation completely unmodified for concurrent program graphs using such barrier synchronization primitives.作者: 大氣層 時間: 2025-3-23 06:15 作者: 人工制品 時間: 2025-3-23 11:19
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Syhe facilities available in the Ada programming language are highlighted and reviewed. The aim of the presentation is to show that Ada provides most of the programming abstractions needed to deliver future CPS.作者: Stricture 時間: 2025-3-23 14:58 作者: Postmenopause 時間: 2025-3-23 20:33
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Sy available. Many forms of real-time scheduling, and its associated analysis, are applicable to CPS, but it is not clear how the system developer/programmer can gain access to this theory when real CPS are being constructed. This short paper gives the background to the associated presentation where t作者: MOT 時間: 2025-3-23 23:32 作者: Dysplasia 時間: 2025-3-24 04:19 作者: 值得贊賞 時間: 2025-3-24 08:02
Real-Time Stream Processing in Javaam processing framework whilst delivering bounded latency. Our approach is to buffer the incoming streaming data into micro batches which are then converted to collections for processing by the Java 8 infrastructure which is configured with a real-time ForkJoin thread pool. Deferrable servers are us作者: 休息 時間: 2025-3-24 11:50
Addressing the Regression Test Problem with Change Impact Analysis for Adaion when constrained to high-criticality developments and where a “safe” selection of tests need to be chosen. Further, no practical approaches have been presented for the programming language Ada. In this paper, we introduce an approach to solving the selection problem given a combination of both s作者: Small-Intestine 時間: 2025-3-24 16:45 作者: gnarled 時間: 2025-3-24 20:33
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engineightforward. In this paper we describe the experience gained in our ongoing effort to parallelise the model checking engine of a family of model checkers (KandISTI) developed at ISTI. The main focus of our experimentation is the evaluation of the minimal efforts needed to take advantage of our every作者: Incorporate 時間: 2025-3-24 23:57
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Developmento modern model-based development practices. We recall the intent and scrutinize the outcomes of a string of research projects that focused explicitly on the pursuit of CbyC by means of model-driven methods and technologies. The lessons learned show that when CbyC extends from the algorithmic and fun作者: Ascribe 時間: 2025-3-25 04:55 作者: 斗爭 時間: 2025-3-25 09:19 作者: DRAFT 時間: 2025-3-25 15:11
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Schespect to the choice of the task to be preempted in order to maximize schedulability. Two principal choices with respect to the preemption approach exist (1) the scheduler waits for the lowest priority job to become preemptible, (2) the scheduler preempts the first job, among the lower priority ones,作者: 冬眠 時間: 2025-3-25 17:35
The Polling Effect on the Schedulability of Distributed Real-Time Systemschanisms and response time analysis techniques that can be applied to this kind of systems. This paper proposes a model for polling tasks that allows current response time analysis techniques for event-driven distributed systems to be applied, and it also studies the impact that polling has in the s作者: 震驚 時間: 2025-3-25 23:14
Combining Time-Triggered Plans with Priority Scheduled Task Setsheir own advantages and drawbacks. On the one hand, priority-based systems facilitate separation of concerns between functional and timing requirements by relying on an underlying real-time operating system that takes all scheduling decisions at run time. But this is at the cost of indeterminism in 作者: CAB 時間: 2025-3-26 02:40
Conference proceedings 2016ld in Pisa, Italy, in June 2016. ..The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and r作者: FEIGN 時間: 2025-3-26 07:24 作者: 離開 時間: 2025-3-26 10:43
Addressing the Regression Test Problem with Change Impact Analysis for Ada no regressions. We have implemented the approach in the commercial, unit-testing tool VectorCAST, and validated it on a number of open-source examples. On an example of a fully-functioning Ada implementation of a DNS server (.), the experimental results show a 97% reduction in test-case execution.作者: 抑制 時間: 2025-3-26 16:17 作者: 細(xì)微的差異 時間: 2025-3-26 19:40
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Enginewhen 4 physical cores are available. This result, however, can only be achieved by complementing the initial high level Ada design with a second round of code fine-tuning which exploits nonstandard low level features in the implementation of the needed thread-safe data structures.作者: 驕傲 時間: 2025-3-26 23:09
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Developmentphenomenon, is that – in some situation – the assertive style of algorithm refinement gives way to more tentative exploration of an unknown solution space where the known truths are insufficient to steer the development.作者: 繁重 時間: 2025-3-27 04:54
The Polling Effect on the Schedulability of Distributed Real-Time Systemsg produces response times much higher than a pure event-driven alternative. The analysis techniques and the evaluation presented in the paper allows engineers to assess the negative effect of polling on the schedulability of distributed real-time systems.作者: 擋泥板 時間: 2025-3-27 09:15
ook defect produced. Controlling depth is challenging for several reasons, including deflection in the welding machine and thermal expansion of the weld material, and also results in cross-coupling between axial force and spindle torque. The cross-coupling was handled by another feedforward compensa作者: neolith 時間: 2025-3-27 12:56 作者: instill 時間: 2025-3-27 14:05 作者: Radiation 時間: 2025-3-27 20:36 作者: negotiable 時間: 2025-3-28 00:58 作者: Working-Memory 時間: 2025-3-28 04:41 作者: 全部逛商店 時間: 2025-3-28 07:20 作者: 的是兄弟 時間: 2025-3-28 12:57
sound by a change in the morphology of the nugget. It showed to be more cleared up and also contains a thinner intermetallic phase of FeAl. at the interface aluminum to steel. Furthermore, an increase in the tensile strength of the joints of about 15% could be observed. First stepwise load increase 作者: 單獨 時間: 2025-3-28 16:16 作者: cornucopia 時間: 2025-3-28 19:38 作者: EXTOL 時間: 2025-3-28 23:58
Franco Mazzanti. This preliminary study will supply additional research to better understand the resulting microstructure, weld properties of sub-dissolution FSW. In addition, a numerical simulation to represent the temperature distribution will be built. Then optimized FSW temperatures could be predicted and test作者: abolish 時間: 2025-3-29 03:08
. This preliminary study will supply additional research to better understand the resulting microstructure, weld properties of sub-dissolution FSW. In addition, a numerical simulation to represent the temperature distribution will be built. Then optimized FSW temperatures could be predicted and test作者: Indurate 時間: 2025-3-29 10:44
Laura Baracchi,Silvia Mazzini,Stefano Puri,Tullio Vardanega. This preliminary study will supply additional research to better understand the resulting microstructure, weld properties of sub-dissolution FSW. In addition, a numerical simulation to represent the temperature distribution will be built. Then optimized FSW temperatures could be predicted and test作者: 關(guān)心 時間: 2025-3-29 13:58 作者: Redundant 時間: 2025-3-29 16:58 作者: NAUT 時間: 2025-3-29 22:47
. This preliminary study will supply additional research to better understand the resulting microstructure, weld properties of sub-dissolution FSW. In addition, a numerical simulation to represent the temperature distribution will be built. Then optimized FSW temperatures could be predicted and test作者: 束以馬具 時間: 2025-3-30 00:03 作者: LIKEN 時間: 2025-3-30 04:18 作者: Trochlea 時間: 2025-3-30 08:13
