×

Found 1,582 Documents (Results 1–100)

100
MathJax

On the sojourn time distribution of a random walk at a multidimensional lattice point. (English. Russian original) Zbl 07481224

Theory Probab. Appl. 66, No. 4, 522-536 (2022); translation from Teor. Veroyatn. Primen. 66, No. 4, 657-675 (2021).
MSC:  60J80 60G50 60F17
PDF BibTeX XML Cite
Full Text: DOI

Slicing unconditional jumps with unnecessary control dependencies. (English) Zbl 07496653

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 293-308 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

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

Classification

all top 3

Software