×

Found 1,404 Documents (Results 1–100)

Data parallelization algorithms for the direct simulation Monte Carlo method for rarefied gas flows on the basis of OpenMP technology. (English. Russian original) Zbl 07800796

Comput. Math. Math. Phys. 63, No. 12, 2275-2296 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 12, 1993-2015 (2023).
MSC:  76-XX 65-XX
PDFBibTeX XMLCite
Full Text: DOI

Efficient interprocedural data-flow analysis using treedepth and treewidth. (English) Zbl 07728620

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 177-202 (2023).
MSC:  68Q60 68N30 68R10
PDFBibTeX XMLCite
Full Text: DOI

Compiler-based attack origin tracking with dynamic taint analysis. (English) Zbl 07628049

Park, Jong Hwan (ed.) et al., Information security and cryptology – ICISC 2021. 24th international conference, Seoul, South Korea, December 1–3, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13218, 175-191 (2022).
MSC:  68M25 68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Applications and performance of fuzzy differential evolution (DEFIS) in CFD modeling of heat and mass transfer. (English) Zbl 1515.76122

Vinoth Kumar, B. (ed.) et al., Differential evolution: from theory to practice. Singapore: Springer. Stud. Comput. Intell. 1009, 367-381 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Normalising Lustre preserves security. (English) Zbl 07500649

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 275-292 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software