Zobrazeno 1 - 10
of 852
pro vyhledávání: '"Formal modeling"'
Publikováno v:
Computers, Vol 13, Iss 6, p 133 (2024)
Mutual exclusion is a fundamental problem in concurrent/parallel/distributed systems. The first pure-software solution to this problem for two processes, which is not based on hardware instructions like test-and-set, was proposed in 1965 by Th.J. Dek
Externí odkaz:
https://doaj.org/article/68d65d9f54374f42b9938deebb5a38e1
Publikováno v:
Social Psychological Bulletin, Vol 18 (2023)
In the wake of the replication crisis, there have been calls to increase the clarity and precision of theory in the social sciences. Here, we argue that the effects of these calls may be limited due to incentives favoring ambiguous theory. Intentiona
Externí odkaz:
https://doaj.org/article/d7419607ffae4e7680111a5ed9722c2d
Autor:
Libero Nigro, Franco Cicirelli
Publikováno v:
Mathematics, Vol 12, Iss 6, p 812 (2024)
Modeling and verification of the correct behavior of embedded real-time systems with strict timing constraints is a well-known and important problem. Failing to fulfill a deadline in system operation can have severe consequences in the practical case
Externí odkaz:
https://doaj.org/article/f99bad6a57414dd7a94b7c9e35a8f25e
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.
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.
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.
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.
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.
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:
Sprenger, Jan, author, Hartmann, Stephan, author
Externí odkaz:
https://doi.org/10.1093/oso/9780199672110.001.0001
