×

Found 1,834 Documents (Results 1–100)

Parallel methods of representing multidigit numbers in numeral systems for testing multidigit arithmetic operations. (English. Ukrainian original) Zbl 07657718

Cybern. Syst. Anal. 58, No. 6, 991-1007 (2022); translation from Kibern. Sist. Anal. 58, No. 6, 158-176 (2022).
MSC:  68M07 65Y04 68W10
PDF BibTeX XML Cite
Full Text: DOI

Calculating the sum of multidigit values in a parallel computational model. (English. Ukrainian original) Zbl 07630494

Cybern. Syst. Anal. 58, No. 3, 473-480 (2022); translation from Kibern. Sist. Anal. 58, No. 3, 174-182 (2022).
MSC:  68Qxx 68Wxx
PDF BibTeX XML Cite
Full Text: DOI

Fast three-valued abstract bit-vector arithmetic. (English) Zbl 1498.68166

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 242-262 (2022).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

On the implementation efficiency of linear regression-based side-channel attacks. (English) Zbl 07633692

Bertoni, Guido Marco (ed.) et al., Constructive side-channel analysis and secure design. 11th international workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12244, 147-172 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Efficient FPGA design of exception-free generic elliptic curve cryptosystems. (English) Zbl 1498.94083

Sako, Kazue (ed.) et al., Applied cryptography and network security. 19th international conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12726, 393-414 (2021).
PDF BibTeX XML Cite
Full Text: DOI

A bit-vector differential model for the modular addition by a constant. (English) Zbl 07666640

Moriai, Shiho (ed.) et al., Advances in cryptology – ASIACRYPT 2020. 26th international conference on the theory and application of cryptology and information security, Daejeon, South Korea, December 7–11, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12491, 385-414 (2020).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Reachability in fixed dimension vector addition systems with states. (English) Zbl 07559504

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 48, 21 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Coverability in 1-VASS with disequality tests. (English) Zbl 07559494

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 38, 20 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reachability in two-dimensional vector addition systems with states: one test is for free. (English) Zbl 07559493

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 37, 17 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Universality problem for unambiguous VASS. (English) Zbl 07559492

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 36, 15 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Multi-dimensional long-run average problems for vector addition systems with states. (English) Zbl 07559479

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 23, 22 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software