-
1Academic Journal
المؤلفون: Fernández V, Manuel, Woodruff, David P., Yasuda, Taisuke
المساهمون: Manuel Fernández V and David P. Woodruff and Taisuke Yasuda
مصطلحات موضوعية: Graph spanners, Message-passing model, Communication complexity
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 151, 11th Innovations in Theoretical Computer Science Conference (ITCS 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.77
-
2Academic Journal
المؤلفون: Okolie, A., Müller, J.
المصدر: Math. Biosci. 321:108320 (2020)
مصطلحات موضوعية: Stochastic Sir Model, Tree, Network, Contact Tracing, Branching Process, Message Passing Model
وصف الملف: application/pdf
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000526821700003; info:eu-repo/semantics/altIdentifier/isbn/0025-5564; info:eu-repo/semantics/altIdentifier/pissn/0025-5564; info:eu-repo/semantic; https://push-zb.helmholtz-muenchen.de/frontdoor.php?source_opus=58467; urn:isbn:0025-5564; urn:issn:0025-5564; urn:issn:1879-3134
-
3
المؤلفون: Okebunor Okolie, Augustine
المساهمون: Müller, Johannes (Prof. Dr.), Kretzschmar, Mirjam (Prof. Dr.)
مصطلحات موضوعية: Biowissenschaften, Biologie, ddc:570, Mathematik, Stochastisches SIR-Modell, Baumnetz, Kontaktverfolgung, Verzweigungsprozess, Modell der Nachrichtenübermittlung, ddc:510, Stochastic SIR model, Tree Network, Contact tracing, Branching process, Message passing model
وصف الملف: application/pdf
-
4Conference
المؤلفون: Kowalski, Dariusz R., Mostefaoui, Achour
المساهمون: Department of Computer Science Liverpool, University of Liverpool, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), ANR Displexity, ANR-11-BS02-0014,DISPLEXITY,Calculabilité et complexité en distribué(2011)
المصدر: ACM symposium on Principles of distributed computing (PODC'13) ; https://hal.science/hal-01151136 ; ACM symposium on Principles of distributed computing (PODC'13), Jul 2013, New-York, United States. pp.84-91, ⟨10.1145/2484239.2484271⟩
مصطلحات موضوعية: Agreement problem, Synchronous distributed system, Byzantine process, Message-passing model, Round-based protocol, EIG, Consensus, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures/C.1.4.0: Distributed architectures, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.0: Concurrency, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.5: Synchronization, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
جغرافية الموضوع: New-York, United States
Relation: hal-01151136; https://hal.science/hal-01151136; https://hal.science/hal-01151136/document; https://hal.science/hal-01151136/file/podc%20final.pdf
-
5Dissertation/ Thesis
المؤلفون: Okebunor Okolie, Augustine
المساهمون: Müller, Johannes (Prof. Dr.), Kretzschmar, Mirjam (Prof. Dr.)
مصطلحات موضوعية: info:eu-repo/classification/ddc/510, Mathematik, info:eu-repo/classification/ddc/570, Biowissenschaften, Biologie, Stochastic SIR model, Tree Network, Contact tracing, Branching process, Message passing model, Stochastisches SIR-Modell, Baumnetz, Kontaktverfolgung, Verzweigungsprozess, Modell der Nachrichtenübermittlung
وصف الملف: application/pdf
Relation: https://mediatum.ub.tum.de/1661774; https://mediatum.ub.tum.de/doc/1661774/document.pdf; http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20220928-1661774-1-6
-
6Conference
المؤلفون: Allam, Diana, Douence, Rémi, Grall, Hervé, Royer, Jean-Claude, Südholt, Mario
المساهمون: Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Aspect and composition languages (ASCOLA), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Karl-Heinz Krempels and José Cordeiro, ANR-09-SEGI-0002,CESSA,Évolution compositionnelle par aspects de services sécurisés(2009)
المصدر: WEBIST, 8th International Conference on Web Information Systems and Technologies ; https://inria.hal.science/hal-00668975 ; WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
مصطلحات موضوعية: Service-Oriented Computing, Message-Passing Model, Type Checking, Security, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-WB]Computer Science [cs]/Web
Time: Porto, Portugal
Relation: hal-00668975; https://inria.hal.science/hal-00668975; https://inria.hal.science/hal-00668975/document; https://inria.hal.science/hal-00668975/file/main.pdf
-
7Academic Journal
المؤلفون: Michel Raynal, Julien Stainer
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Key-words, Asynchronous system, Distributed computability, Failure detector, Fair link, Message adversary, Message-passing model, Model equivalence, Ω, Process crash, Quorum, Read/write model, Round, Σ, Simulation, Source, Synchronous system, Task, Tournament, Wait-freedom
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.4345; http://hal.inria.fr/docs/00/79/36/97/PDF/RR-Fds-Msg-adversaries-V8.pdf
-
8Academic Journal
المؤلفون: Wei Shen, Bo Wang, Yueming Wang, Xiang Bai, Longin Jan Latecki
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Face identification, Message passing model, One-shot similarity, Similarity
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.3119; http://www.cis.temple.edu/~latecki/Papers/FaceIdentificationNeuro2012.pdf
-
9Academic Journal
المؤلفون: Jérémie Chalopin, Yves Métivier
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Distributed Algorithm, Asynchronous Message Passing Model, Anonymous Network, Local Computation, Election, Naming, Covering
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.177.1518; http://www.lif.univ-mrs.fr/%7Ejchalopi/publis/CM07.pdf
-
10
المؤلفون: Augustine Okolie, Johannes Müller
المصدر: Math. Biosci. 321:108320 (2020)
مصطلحات موضوعية: Statistics and Probability, Physics - Physics and Society, Basic Reproduction Number, FOS: Physical sciences, Dynamical Systems (math.DS), Physics and Society (physics.soc-ph), Models, Biological, 01 natural sciences, 92Bxx (Primary) 92B05, 05Cxx (Secondary), General Biochemistry, Genetics and Molecular Biology, Interpretation (model theory), 03 medical and health sciences, Mixing (mathematics), 0103 physical sciences, FOS: Mathematics, Humans, Applied mathematics, Limit (mathematics), Mathematics - Dynamical Systems, 010306 general physics, Quantitative Biology - Populations and Evolution, Randomness, 030304 developmental biology, Mathematics, Branching process, Stochastic Sir Model, Tree, Network, Contact Tracing, Branching Process, Message Passing Model, 0303 health sciences, Models, Statistical, General Immunology and Microbiology, Applied Mathematics, Populations and Evolution (q-bio.PE), General Medicine, Tree (graph theory), Distribution (mathematics), FOS: Biological sciences, Modeling and Simulation, Graph (abstract data type), General Agricultural and Biological Sciences
وصف الملف: application/pdf
-
11Report
المؤلفون: Raynal, Michel, Stainer, Julien
المساهمون: As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ANR-11-BS02-0014,DISPLEXITY,Calculabilité et complexité en distribué(2011)
المصدر: https://hal.inria.fr/hal-00787978 ; [Research Report] PI-2002, 2013.
مصطلحات موضوعية: Wait-freedom, Asynchronous system, Distributed computability, Failure detector, Fair link, Message ad- versary, Message-passing model, Model equivalence, Ω, Process crash, Quorum, Read/write model, Round, Σ, Simulation, Source, Synchronous system, Task, Tournament, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: Report N°: PI-2002; hal-00787978; https://hal.inria.fr/hal-00787978; https://hal.inria.fr/hal-00787978v2/document; https://hal.inria.fr/hal-00787978v2/file/RR-Fds-Msg-adversaries-V8.pdf
-
12Conference
المؤلفون: Raynal, Michel, Stainer, Julien
المساهمون: As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), ANR-11-BS02-0014,DISPLEXITY,Calculabilité et complexité en distribué(2011)
المصدر: PODC ; https://inria.hal.science/hal-00920734 ; PODC, Jul 2013, Montréal, Canada. pp.166-175, ⟨10.1145/2484239.2484249⟩ ; http://dl.acm.org/citation.cfm?doid=2484239.2484249
مصطلحات موضوعية: Asynchronous system, Distributed computability, Failure detector, Message adversary, Message-passing model, Model equivalence, Ω, Process crash, Quorum, Read/write model, Round, Σ, Simulation, Source, Synchronous system, Task, Tournament, Wait-freedom, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
جغرافية الموضوع: Montréal
Time: Montréal, Canada
Relation: hal-00920734; https://inria.hal.science/hal-00920734
-
13Dissertation/ Thesis
المؤلفون: Allam, Diana
Thesis Advisors: Nantes, Ecole des Mines, Royer, Jean-Claude
-
14
المؤلفون: Mark R. Tuttle, Soma Chaudhuri, Maurice Herlihy
المصدر: Theoretical Computer Science. 220(1):211-245
مصطلحات موضوعية: Discrete mathematics, Data structures, General Computer Science, Logarithm, Computational complexity theory, Matching (graph theory), Computer science, Message-passing model, Message passing, Data structure, Upper and lower bounds, Theoretical Computer Science, Combinatorics, Task (computing), Distributed algorithm, Strong renaming, Distributed algorithms, Wait-free algorithms, Increment register, Computer Science(all)
-
15
المؤلفون: Julien Stainer, Michel Raynal
المساهمون: As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), ANR-11-BS02-0014,DISPLEXITY,Calculabilité et complexité en distribué(2011), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)
المصدر: PODC
PODC, Jul 2013, Montréal, Canada. pp.166-175, ⟨10.1145/2484239.2484249⟩مصطلحات موضوعية: TheoryofComputation_MISCELLANEOUS, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, Computer science, Source, 0102 computer and information sciences, 02 engineering and technology, Computer security, computer.software_genre, 01 natural sciences, Ω, Synchronous system, Distributed computability, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, 0202 electrical engineering, electronic engineering, information engineering, Task, Asynchronous system, Process crash, Computer Science::Cryptography and Security, Failure detector, Round, 020203 distributed computing, business.industry, Computability, Message-passing model, Model equivalence, Adversary, Asynchrony (computer programming), Read/write model, Task (computing), 010201 computation theory & mathematics, Asynchronous communication, Σ, Message adversary, Wait-freedom, Daemon, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], business, Quorum, computer, Tournament, Adversary model, Simulation, Computer network
-
16Dissertation/ Thesis
المؤلفون: Allam, Diana
المساهمون: Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Aspect and composition languages (ASCOLA), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ecole des Mines de Nantes, Jean-Claude Royer
المصدر: https://theses.hal.science/tel-01083286 ; Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0115⟩.
مصطلحات موضوعية: Message-Passing model, Subtyping, Service-Oriented architecture, Object-Oriented programming, Interoperability, Loose coupling, Modèle de passation de messages, Sous-typage, Couplage faible, Interopérabilité, Programmation par objet, Architecture Orientée-Services, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: NNT: 2014EMNA0115; tel-01083286; https://theses.hal.science/tel-01083286; https://theses.hal.science/tel-01083286/document; https://theses.hal.science/tel-01083286/file/Allam_D_07_2014.pdf
-
17Dissertation/ Thesis
المؤلفون: 김태완
المساهمون: 지동표, 수리과학부
مصطلحات موضوعية: 양자 통신 복잡도, Quantum Communication Complexity, 메시지를 동시에 전송하는 모델, Simultaneous Message Passing Model, 양자 핑거프린팅, Quantum Fingerprinting
وصف الملف: 19 leaves
Relation: http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000052690; http://hdl.handle.net/10371/19874
-
18Academic Journal
المؤلفون: Soma ~hau~u A, Maurice Herlihy B, Mark R. Tuttle G
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Message-passing model, Increment register, Strong renaming
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.6957; http://www.cs.brown.edu/research/pubs/pdfs/1999/SomaChaudhuri-1999-WFI.pdf
-
19Academic Journal
المؤلفون: Diana Allam, Herve ́ Grall, Jean-claude Royer
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Service-Oriented Computing, Message-Passing Model, Type Checking
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.593.7633; http://hal.inria.fr/docs/00/66/89/75/PDF/main.pdf
-
20Periodical
المؤلفون: Chrobot, S.
المصدر: Annales Societatis Mathematicae Polonae. Series 4: Fundamenta Informaticae.