Zobrazeno 1 - 10
of 2 049
pro vyhledávání: '"Decision diagrams"'
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2025, Iss 1 (2024)
In recent years, formal verification has emerged as a crucial method for assessing security against Side-Channel attacks of masked implementations, owing to its remarkable versatility and high degree of automation. However, formal verification still
Externí odkaz:
https://doaj.org/article/dc03c25ce8c6488ca38526b5e4379d47
Publikováno v:
IEEE Transactions on Quantum Engineering, Vol 5, Pp 1-12 (2024)
Since people became aware of the power of quantum phenomena in the domain of traditional computation, a great number of complex problems that were once considered intractable in the classical world have been tackled. The downsides of quantum supremac
Externí odkaz:
https://doaj.org/article/8ac2e5dd36bb48e28fa1abf589a65b06
Publikováno v:
IET Control Theory & Applications, Vol 18, Iss 2, Pp 171-183 (2024)
Abstract This work proposes a symbolic method to verify and enforce the current‐state opacity of labelled Petri nets (LPNs). The notion of basis markings of partially observed Petri nets currently dominates the development of opacity verification a
Externí odkaz:
https://doaj.org/article/9bc134c0e287459091ef1392ba94afbb
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:
IEEE Access, Vol 11, Pp 112804-112813 (2023)
Recently, through the progress achieved in the study of computer science, automated test assemblies of parallel test forms, for which each form has equivalent measurement accuracy but with a different set of items, have emerged as a new standard tool
Externí odkaz:
https://doaj.org/article/067acc0541604304bf88218e5b327ff3
Autor:
Jan Lucansky, Ivan Kotuliak
Publikováno v:
IEEE Access, Vol 11, Pp 43592-43602 (2023)
We propose a novel method of reduction for binary-based decision diagrams (DD) exploiting the similarities between Boolean functions. Conventional methods are able to remove redundant parts of DD that adhere to (or represent) identical structures. Th
Externí odkaz:
https://doaj.org/article/4711fb439160495d9e87a972d2bc8d7a
Publikováno v:
Algorithms, Vol 17, Iss 1, p 42 (2024)
Encoding a dictionary into another representation means that all the words can be stored in the dictionary in a more efficient way. In this way, we can complete common operations in dictionaries, such as (1) searching for a word in the dictionary, (2
Externí odkaz:
https://doaj.org/article/50d31b2c095d4622ab6c5768daf0f29e
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.
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.
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.