( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic.

, , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 443-460. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mirco Tribastone

Mirco Wegener

Der Einfluss der konzentrationsinduzierten Marangonikonvektion auf den instationären Impuls- und Stofftransport an Einzeltropfen. TU Berlin, (2009)

Mirco Alpen

Mirco Müller

Mirco Wegener

 

Другие публикации лиц с тем же именем

Combined Vertical and Horizontal Autoscaling Through Model Predictive Control., , и . Euro-Par, том 11014 из Lecture Notes in Computer Science, стр. 147-159. Springer, (2018)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , и . CoRR, (2023)Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures., , , и . Proc. ACM Program. Lang., 8 (POPL): 1882-1912 (января 2024)Algorithmic Minimization of Uncertain Continuous-Time Markov Chains., , , , , и . IEEE Trans. Autom. Control., 68 (11): 6557-6572 (ноября 2023)PID Control of Biochemical Reaction Networks., , , , , и . IEEE Trans. Autom. Control., 67 (2): 1023-1030 (2022)Refining Mean-field Approximations by Dynamic State Truncation., , и . SIGMETRICS (Abstracts), стр. 31-32. ACM, (2021)Software performance self-adaptation through efficient model predictive control., , и . ASE, стр. 485-496. IEEE Computer Society, (2017)Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic., , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 443-460. Springer, (2021)Approximate Mean Value Analysis of Process Algebra Models.. MASCOTS, стр. 369-378. IEEE Computer Society, (2011)Scalable Differential Analysis of Large Process Algebra Models.. QEST, стр. 307. IEEE Computer Society, (2010)