Search Results - "ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation"
-
1
Authors: et al.
Contributors: et al.
Source: Proceedings 14th Interaction and Concurrency Experience (ICE 2021) ; https://hal.science/hal-02895417 ; Proceedings 14th Interaction and Concurrency Experience (ICE 2021), Jun 2021, Virtual Event, Malta. pp.1-21, ⟨10.4204/EPTCS.347.1⟩ ; https://www.discotec.org/2021/ice
Subject Terms: Process Algebra, Concurrency, Testing Equivalences, Process Semantics, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Subject Geographic: Virtual Event, Malta
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.08187; ARXIV: 2007.08187
-
2
Authors: et al.
Contributors: et al.
Source: Proceedings 14th Interaction and Concurrency Experience (ICE 2021) ; https://hal.archives-ouvertes.fr/hal-02895417 ; Proceedings 14th Interaction and Concurrency Experience (ICE 2021), Jun 2021, Virtual Event, Malta. pp.1-21, ⟨10.4204/EPTCS.347.1⟩ ; https://www.discotec.org/2021/ice
Subject Terms: Process Algebra, Concurrency, Testing Equivalences, Process Semantics, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Subject Geographic: Virtual Event, Malta
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.08187; hal-02895417; https://hal.archives-ouvertes.fr/hal-02895417; https://hal.archives-ouvertes.fr/hal-02895417v4/document; https://hal.archives-ouvertes.fr/hal-02895417v4/file/main.pdf; ARXIV: 2007.08187
-
3
Authors: et al.
Contributors: et al.
Source: 24th Annual European Symposium on Algorithms (ESA 2016)
https://inria.hal.science/hal-01362276
24th Annual European Symposium on Algorithms (ESA 2016), Aug 2016, Aarhus, Denmark. pp.17, ⟨10.4230/LIPIcs.ESA.2016.43⟩
http://esa-symposium.org/index.phpSubject Terms: Streaming Algorithm, Property Testing, Visibly Pushdown Languages, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
4
Authors: et al.
Contributors: et al.
Source: 24th Annual European Symposium on Algorithms (ESA 2016)
https://inria.hal.science/hal-01362276
24th Annual European Symposium on Algorithms (ESA 2016), Aug 2016, Aarhus, Denmark. pp.17, ⟨10.4230/LIPIcs.ESA.2016.43⟩
http://esa-symposium.org/index.phpSubject Terms: Streaming Algorithm, Property Testing, Visibly Pushdown Languages, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: hal-01362276; https://inria.hal.science/hal-01362276; https://inria.hal.science/hal-01362276/document; https://inria.hal.science/hal-01362276/file/LIPIcs-ESA-2016-43.pdf
-
5
Authors: et al.
Contributors: et al.
Source: 24th Annual European Symposium on Algorithms (ESA 2016)
https://inria.hal.science/hal-01362276
24th Annual European Symposium on Algorithms (ESA 2016), Aug 2016, Aarhus, Denmark. pp.17, ⟨10.4230/LIPIcs.ESA.2016.43⟩
http://esa-symposium.org/index.phpSubject Terms: Visibly Pushdown Languages, Property Testing, Streaming Algorithm, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
6
Authors: et al.
Contributors: et al.
Source: Visual Analytics Science and Technology (IEEE VAST) ; https://hal.archives-ouvertes.fr/hal-01112569 ; Visual Analytics Science and Technology (IEEE VAST), Nov 2014, Paris, France. Poster Electronic Proceedings VAST2014, 2014 ; http://ieeevis.org/year/2014/info/vis-welcome/welcome
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI]
Relation: hal-01112569; https://hal.archives-ouvertes.fr/hal-01112569; https://hal.archives-ouvertes.fr/hal-01112569/document; https://hal.archives-ouvertes.fr/hal-01112569/file/VAST_poster_2014.pdf
-
7
Authors: et al.
Contributors: et al.
Source: Visual Analytics Science and Technology (IEEE VAST) ; https://hal.science/hal-01112569 ; Visual Analytics Science and Technology (IEEE VAST), Nov 2014, Paris, France. , Poster Electronic Proceedings VAST2014, 2014 ; http://ieeevis.org/year/2014/info/vis-welcome/welcome
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI]
-
8
Authors: et al.
Contributors: et al.
Source: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
https://hal.inria.fr/inria-00359792
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.385-396Subject Terms: Online Algorithms, Competitive Analysis, Storage Management, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Relation: inria-00359792; https://hal.inria.fr/inria-00359792; https://hal.inria.fr/inria-00359792/document; https://hal.inria.fr/inria-00359792/file/32-englert.pdf
-
9
Authors: et al.
Contributors: et al.
Source: ISSN: 0167-7055.
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO]Computer Science [cs]
-
10
Authors: et al.
Contributors: et al.
Source: ISSN: 0167-7055.
Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO]Computer Science [cs]
Relation: hal-00682550; https://hal.inria.fr/hal-00682550; https://hal.inria.fr/hal-00682550/document; https://hal.inria.fr/hal-00682550/file/porgy.pdf
-
11
Authors: et al.
Contributors: et al.
Source: Reversibility and Universality ; https://univ-cotedazur.hal.science/hal-01741396 ; Reversibility and Universality, 2018
Subject Terms: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.2: Classes defined by resource-bounded automata, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.5: Unbounded-action devices (e.g., cellular automata, circuits, networks of machines), [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Availability: https://univ-cotedazur.hal.science/hal-01741396
-
12
Authors: et al.
Contributors: et al.
Source: Reversibility and Universality ; https://hal.univ-cotedazur.fr/hal-01741396 ; Reversibility and Universality, 2018
Subject Terms: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.2: Classes defined by resource-bounded automata, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.5: Unbounded-action devices (e.g., cellular automata, circuits, networks of machines), [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: hal-01741396; https://hal.univ-cotedazur.fr/hal-01741396
Availability: https://hal.univ-cotedazur.fr/hal-01741396
-
13
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/tel-01827435 ; Formal Languages and Automata Theory [cs.FL]. Université Paris Diderot; Université Sorbonne Paris Cité, 2017. English.
Subject Terms: Automata, Monadic second-order logic, Distributed algorithms, Modal logic, Graphs, Algorithmes distribués, Logique modale, Graphes, Logique monadique du second ordre, Automates, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: tel-01827435; https://hal.archives-ouvertes.fr/tel-01827435; https://hal.archives-ouvertes.fr/tel-01827435/document; https://hal.archives-ouvertes.fr/tel-01827435/file/1805.06238.pdf
-
14
Authors: et al.
Contributors: et al.
Source: AUTOMATA 2012 & JAC 2012 ; https://hal.science/hal-01312487 ; AUTOMATA 2012 & JAC 2012, Sep 2012, La Marana (Bastia), France. 90, , 2012, EPTCS, ⟨10.4204/EPTCS.90⟩ ; http://eptcs.web.cse.unsw.edu.au/content.cgi?AUTOJAC2012
Subject Terms: ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.3: Complexity Measures and Classes, [INFO]Computer Science [cs], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], [NLIN.NLIN-CG]Nonlinear Sciences [physics]/Cellular Automata and Lattice Gases [nlin.CG], [NLIN.NLIN-AO]Nonlinear Sciences [physics]/Adaptation and Self-Organizing Systems [nlin.AO]
Subject Geographic: La Marana (Bastia), France
-
15
Authors: et al.
Contributors: et al.
Source: AUTOMATA 2012 & JAC 2012 ; https://hal.science/hal-01312487 ; AUTOMATA 2012 & JAC 2012, Sep 2012, La Marana (Bastia), France. 90, , 2012, EPTCS, ⟨10.4204/EPTCS.90⟩ ; http://eptcs.web.cse.unsw.edu.au/content.cgi?AUTOJAC2012
Subject Terms: ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.3: Complexity Measures and Classes, [INFO]Computer Science [cs], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], [NLIN.NLIN-CG]Nonlinear Sciences [physics]/Cellular Automata and Lattice Gases [nlin.CG], [NLIN.NLIN-AO]Nonlinear Sciences [physics]/Adaptation and Self-Organizing Systems [nlin.AO], stat, info
Subject Geographic: La Marana (Bastia), France
Relation: https://hal.science/hal-01312487
Availability: https://hal.science/hal-01312487
-
16
Authors: et al.
Contributors: et al.
Source: AUTOMATA 2012 & JAC 2012 ; https://hal.archives-ouvertes.fr/hal-01312487 ; AUTOMATA 2012 & JAC 2012, Sep 2012, La Marana (Bastia), France. 90, 2012, EPTCS, ⟨10.4204/EPTCS.90⟩ ; http://eptcs.web.cse.unsw.edu.au/content.cgi?AUTOJAC2012
Subject Terms: ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.3: Complexity Measures and Classes, [INFO]Computer Science [cs], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], [NLIN.NLIN-CG]Nonlinear Sciences [physics]/Cellular Automata and Lattice Gases [nlin.CG], [NLIN.NLIN-AO]Nonlinear Sciences [physics]/Adaptation and Self-Organizing Systems [nlin.AO]
Subject Geographic: La Marana (Bastia), France
Relation: hal-01312487; https://hal.archives-ouvertes.fr/hal-01312487
-
17
Authors: et al.
Contributors: et al.
Source: AUTOMATA 2012 & JAC 2012 ; https://hal.science/hal-01312487 ; AUTOMATA 2012 & JAC 2012, Sep 2012, La Marana (Bastia), France. 90, , 2012, EPTCS, ⟨10.4204/EPTCS.90⟩ ; http://eptcs.web.cse.unsw.edu.au/content.cgi?AUTOJAC2012
Subject Terms: ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.3: Complexity Measures and Classes, [INFO]Computer Science [cs], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD], [NLIN.NLIN-CG]Nonlinear Sciences [physics]/Cellular Automata and Lattice Gases [nlin.CG], [NLIN.NLIN-AO]Nonlinear Sciences [physics]/Adaptation and Self-Organizing Systems [nlin.AO]
Subject Geographic: La Marana (Bastia), France
Nájsť tento článok vo Web of Science