Resultados de 1 a 10 de 21.640 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Synchronizability of Communicating Finite State Machines is not DecidableFinkel, Alain ; Lozes, EtienneLogical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Impure Simplicial Complexes: Complete AxiomatizationRandrianomentsoa, Rojo ; van Ditmarsch, Hans ; Kuznets, RomanLogical methods in computer science, 2023-10, Vol.19, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Introduction to local certificationFeuilloley, LaurentDiscrete Mathematics and Theoretical Computer Science, 2021-09, Vol.23 (3), p.1-23 [Periódico revisado por pares]Nancy: DMTCSTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model CheckerKonnov, Igor ; Lazić, Marijana ; Stoilkovska, Ilina ; Widder, JosefLogical methods in computer science, 2023-01, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and ScalaAudrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Viroli, MirkoLogical methods in computer science, 2023-01, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Modularising Verification Of Durable OpacityBila, Eleni ; Derrick, John ; Doherty, Simon ; Dongol, Brijesh ; Schellhorn, Gerhard ; Wehrheim, HeikeLogical methods in computer science, 2022-07, Vol.18, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Time-Fluid Field-Based Coordination through Programmable Distributed SchedulersPianini, Danilo ; Casadei, Roberto ; Viroli, Mirko ; Mariani, Stefano ; Zambonelli, FrancoLogical methods in computer science, 2021-01, Vol.17, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election AlgorithmsBlin, Lelia ; Feuilloley, Laurent ; Bouder, Gabriel LeDiscrete Mathematics and Theoretical Computer Science, 2023-01, Vol.25 (1), p.1-17 [Periódico revisado por pares]Nancy: DMTCSTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing ModelsShimi, Adam ; Hurault, Aurélie ; Queinnec, PhilippeLogical methods in computer science, 2021-09, Vol.17, Issue 3 (3), p.26:1-26:43 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Witness structures and immediate snapshot complexesDmitry N. KozlovDiscrete mathematics and theoretical computer science, 2017-11, Vol.19 no. 3 (Distributed Computing and...) [Periódico revisado por pares]Discrete Mathematics & Theoretical Computer ScienceTexto completo disponível |
Resultados de 1 a 10 de 21.640 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Algorithms (7.585)
- Computer Science - Learning (4.017)
- Machine Learning (2.925)
- Optimization (2.609)
- Cloud Computing (2.065)
- Computer Networks (1.648)
- Computer Science - Cryptography And Security (1.634)
- Computer Science - Networking And Internet Architecture (1.589)
- Computer Science - Data Structures And Algorithms (1.534)
- Computer Simulation (1.533)
- Nodes (1.440)
- Computation (1.404)
- Computer Science - Artificial Intelligence (1.325)
- Cryptography (1.265)
- Computer Science - Performance (1.237)
- Communication (1.164)
- Mathematical Analysis (1.028)
- Parallel Processing (979)
- Fault Tolerance (893)
-
Mais opções
Data de Publicação
- Antes de2002 (97)
- 2002Até2006 (417)
- 2007Até2011 (1.237)
- 2012Até2017 (4.902)
- Após 2017 (14.988)
-
Mais opções
Base de Dados/Biblioteca
- arXiv.org (21.622)
- ROAD (20.474)
- Open Access: Freely Accessible Journals by multiple vendors (20.456)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (18)
- EZB Electronic Journals Library (18)
- DOAJ Directory of Open Access Journals (18)
- Science Citation Index Expanded (Web of Science) (13)
- Gale Academic OneFile Select (3)
- Electronic Library of Mathematics (3)
- EBSCOhost Computers and Applied Sciences Complete (3)
- Academic Search Premier (EB_SDU_P3) (3)
- ACM Digital Library (1)
-
Mais opções
Nome da Publicação
- arXiv.org (20.442)
- Arxiv (9.337)
- Logical Methods In Computer Science (15)
- Hal (6)
- Osti Oai (4)
- Discrete Mathematics And Theoretical Computer Science (3)
- Zenodo (2)
- Research Square (2)
- Dr-Ntu (1)
- International Journal Of Computer Science Issues, Vol. 9, Issue 1, No 3, January 2012 (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 