Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

Filter

فلترة النتائج

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

A Network Reliability Analysis Method for Complex Real-Time Systems: Case Studies in Railway and Maritime Systems.

Authors : Zang, Yu¹ (AUTHOR) ; E, Jiaxiang² (AUTHOR) ; Fiondella, Lance³ (AUTHOR)

Source: Mathematics (2227-7390). Oct2024, Vol. 12 Issue 19, p3014. 30p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets.

Authors : Nigro, Libero¹ (AUTHOR) ; Cicirelli, Franco² (AUTHOR)

Source: Mathematics (2227-7390). Mar2024, Vol. 12 Issue 6, p812. 25p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN.

Authors : Shailesh, Tanuja¹ (AUTHOR); Nayak, Ashalatha¹ (AUTHOR); Prasad, Devi² (AUTHOR)

Source: Cogent Engineering. 2024, Vol. 11 Issue 1, p1-17. 17p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem.

Authors : Singhoff, Frank¹ ; Hugues, Jérôme² ; Hai Nam Tran¹

Source: Ada User Journal. Jun2024, Vol. 44 Issue 2, p125-128. 4p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Towards Real-Time 3D Terrain Reconstruction from Aerial Imagery.

Authors : Wang, Qiaosong¹ (AUTHOR)

Source: Geographies. Mar2024, Vol. 4 Issue 1, p66-82. 17p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Scheduling analysis and correction for dependent real-time tasks upon heterogeneous multiprocessor architectures.

Authors : Mrabet, Faten¹ (AUTHOR) ; Karamti, Walid^2,3 (AUTHOR); Mahfoudhi, Adel⁴ (AUTHOR)

Source: Computing. Mar2024, Vol. 106 Issue 3, p651-712. 62p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

End-to-end probability analysis method for multi-core distributed systems.

Authors : Shi, Xianchen¹ (AUTHOR); Zhu, Yian¹ (AUTHOR) ; Li, Lian² (AUTHOR)

Source: Journal of Supercomputing. Dec2024, Vol. 80 Issue 19, p26751-26775. 25p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

A Finite Representation of Durational Action Timed Automata Semantics.

Authors : Bouzenada, Ahmed¹ (AUTHOR) ; Saidouni, Djamel Eddine¹ (AUTHOR) ; Díaz, Gregorio² (AUTHOR)

Source: Mathematics (2227-7390). Dec2024, Vol. 12 Issue 24, p4008. 20p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

A Strategic Approach to Metric Management for a Real-time Process Based on a Task Scheduling Algorithm in Distributed Mobile Environments.

Authors : Larios Gómez, Mariano¹; Quintero Flores, Perfecto Malaquías² ; Anzures García, Mario¹

Source: International Journal of Combinatorial Optimization Problems & Informatics. Dec2024, Vol. 15 Issue 5, p84-95. 12p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Enhanced detection of surface deformations in LPBF using deep convolutional neural networks and transfer learning from a porosity model.

Authors : Ansari, Muhammad Ayub¹ (AUTHOR); Crampton, Andrew¹ (AUTHOR) ; Mubarak, Samer Mohammed Jaber² (AUTHOR)

Source: Scientific Reports. 11/6/2024, Vol. 14 Issue 1, p1-15. 15p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

A Network Reliability Analysis Method for Complex Real-Time Systems: Case Studies in Railway and Maritime Systems.

Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets.

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN.

ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem.

Towards Real-Time 3D Terrain Reconstruction from Aerial Imagery.

Scheduling analysis and correction for dependent real-time tasks upon heterogeneous multiprocessor architectures.

End-to-end probability analysis method for multi-core distributed systems.

A Finite Representation of Durational Action Timed Automata Semantics.

A Strategic Approach to Metric Management for a Real-time Process Based on a Task Scheduling Algorithm in Distributed Mobile Environments.

Enhanced detection of surface deformations in LPBF using deep convolutional neural networks and transfer learning from a porosity model.

اتصل بنا

اتبع