Zobrazeno 1 - 10
of 12 949
pro vyhledávání: '"Scade"'
Autor:
Vinay, Vaishali, Mangal, Anjali
As command-line interfaces remain integral to high-performance computing environments, the risk of exploitation through stealthy and complex command-line abuse grows. Conventional security solutions struggle to detect these anomalies due to their con
Externí odkaz:
http://arxiv.org/abs/2412.04259
Neural radiance fields (NeRFs) have enabled high fidelity 3D reconstruction from multiple 2D input views. However, a well-known drawback of NeRFs is the less-than-ideal performance under a small number of views, due to insufficient constraints enforc
Externí odkaz:
http://arxiv.org/abs/2303.13582
Autor:
LIANG Bo, DAI Xichang
Publikováno v:
Kongzhi Yu Xinxi Jishu, Iss 5, Pp 113-120 (2023)
At present, there are many kinds of speed measurement and positioning technologies for trains, but each positioning technology cannot fully meet the train positioning requirements in a specific scenario. By analyzing the strengths and weaknesses of e
Externí odkaz:
https://doaj.org/article/b5f92e96032b4b6295bb0cb1f45c04f0
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Marsso, Lina
Publikováno v:
EPTCS 316, 2020, pp. 149-199
We present SCADE and Lustre models of the Message Authenticator Algorithm (MAA), which is one of the first cryptographic functions for computing a message authentication code. The MAA was adopted between 1987 and 2001, in international standards (ISO
Externí odkaz:
http://arxiv.org/abs/2004.14212
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Jisuanji kexue, Vol 48, Iss 12, Pp 125-130 (2021)
SCADE synchronization language is a common programming language for embedded system.It is often used to realize real-time embedded automatic control system in the research of equipment in aviation,aerospace,transportation and other safety critical fi
Externí odkaz:
https://doaj.org/article/4adacc06941a4408bd5304da16356580
Autor:
Basold, Henning
In this work we develop a fully automatic verification procedure of safety properties of Scade programs. We transform each such program into an SMT instance (Satisfiability Modulo Theories) and feed this to a solver. The goal is to have a publicly ac
Externí odkaz:
http://arxiv.org/abs/1403.2752
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.