Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Computer Science - Distributed, Parallel, and Cluster Computing"" wg kryterium: Temat


Wyświetlanie 1-19 z 19
Tytuł:
Synchronizability of Communicating Finite State Machines is not Decidable
Autorzy:
Alain Finkel
Etienne Lozes
Pokaż więcej
Temat:
computer science - distributed, parallel, and cluster computing
computer science - formal languages and automata theory
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/4764/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/376cf254b0e84f2f864024ad5e6a3a58  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms
Autorzy:
Lélia Blin
Laurent Feuilloley
Gabriel Le Bouder
Pokaż więcej
Temat:
computer science - distributed, parallel, and cluster computing
computer science - data structures and algorithms
Mathematics
QA1-939
Źródło:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 25:1, Iss Distributed Computing and... (2023)
Opis pliku:
electronic resource
Relacje:
https://dmtcs.episciences.org/9335/pdf; https://doaj.org/toc/1365-8050
Dostęp URL:
https://doaj.org/article/ec12cbc7062b44dda93f5c36d9d8a673  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
Autorzy:
Giorgio Audrito
Roberto Casadei
Ferruccio Damiani
Mirko Viroli
Pokaż więcej
Temat:
computer science - distributed, parallel, and cluster computing
computer science - logic in computer science
computer science - programming languages
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/6989/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/0f8c8f21dbf040b6ae8a62c72835cf13  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Autorzy:
Igor Konnov
Marijana Lazić
Ilina Stoilkovska
Josef Widder
Pokaż więcej
Temat:
computer science - distributed, parallel, and cluster computing
computer science - logic in computer science
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/6947/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/108d81d8efd84c74b43f1fa7438e852f  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Autorzy:
Adam Shimi
Aurélie Hurault
Philippe Queinnec
Pokaż więcej
Temat:
computer science - distributed, parallel, and cluster computing
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 17, Issue 3 (2021)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/6929/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/c7a6f4b33ebf4986b909b817c92a162e  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Introduction to local certification
Autorzy:
Laurent Feuilloley
Pokaż więcej
Temat:
computer science - distributed, parallel, and cluster computing
computer science - data structures and algorithms
Mathematics
QA1-939
Źródło:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 23, no. 3, Iss Distributed Computing and... (2021)
Opis pliku:
electronic resource
Relacje:
https://dmtcs.episciences.org/6280/pdf; https://doaj.org/toc/1365-8050
Dostęp URL:
https://doaj.org/article/88779c42dfea497e84a9938a5bff881a  Link otwiera się w nowym oknie
Czasopismo naukowe
Czasopismo naukowe
Tytuł:
Witness structures and immediate snapshot complexes
Autorzy:
Dmitry N. Kozlov
Pokaż więcej
Temat:
computer science - distributed, parallel, and cluster computing
57-xx
Mathematics
QA1-939
Źródło:
Discrete Mathematics & Theoretical Computer Science, Vol Vol. 19 no. 3, Iss Distributed Computing and... (2017)
Opis pliku:
electronic resource
Relacje:
https://dmtcs.episciences.org/3122/pdf; https://doaj.org/toc/1365-8050
Dostęp URL:
https://doaj.org/article/a8f1eef7713c44e18cbbdc911208c024  Link otwiera się w nowym oknie
Czasopismo naukowe
    Wyświetlanie 1-19 z 19

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies