Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Tekriwal, Mohit"'
Autor:
Tekriwal, Mohit, Tachna-Fram, Avi, Jeannin, Jean-Baptiste, Kapritsos, Manos, Panagou, Dimitra
Distributed architectures are used to improve performance and reliability of various systems. Examples include drone swarms and load-balancing servers. An important capability of a distributed architecture is the ability to reach consensus among all
Externí odkaz:
http://arxiv.org/abs/2202.13833
Solutions to differential equations, which are used to model physical systems, are computed numerically by solving a set of discretized equations. This set of discretized equations is reduced to a large linear system, whose solution is typically foun
Externí odkaz:
http://arxiv.org/abs/2202.05587
Elementary function operations such as sin and exp cannot in general be computed exactly on today's digital computers, and thus have to be approximated. The standard approximations in library functions typically provide only a limited set of precisio
Externí odkaz:
http://arxiv.org/abs/2202.05472
The behavior of physical systems is typically modeled using differential equations which are too complex to solve analytically. In practical problems, these equations are discretized on a computational domain, and numerical solutions are computed. A
Externí odkaz:
http://arxiv.org/abs/2103.13534
Physical systems are usually modeled by differential equations, but solving these differential equations analytically is often intractable. Instead, the differential equations can be solved numerically by discretization in a finite computational doma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb72376047ae73e87ab23d7d0e61380e
http://arxiv.org/abs/2202.05587
http://arxiv.org/abs/2202.05587
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.
Autor:
Bernd Finkbeiner, Laura Kovács
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Confere
Autor:
Alexandra Silva, K. Rustan M. Leino
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool pa
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume w
Autor:
Catherine Dubois, Manfred Kerber
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper