Search Results - "Models of Computation—Parallelism and concurrency"
-
1
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, F.1.2 [Computation by Abstract Devices, Models of Computation--parallelism and concurrency, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems General Terms, Algorithms, Theory
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.2927; http://www.cs.utexas.edu/users/plaxton/pubs/1998/jacm.ps
-
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation— Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs— Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, expressiveness, language embedding, multiset rewriting systems
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284; http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf
-
3
Authors:
Contributors:
Source: http://arxiv.org/pdf/0804.3351v2.pdf.
Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709; http://arxiv.org/pdf/0804.3351v2.pdf
-
4
Authors:
Contributors:
Source: http://arxiv.org/pdf/0804.3351v3.pdf.
Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945; http://arxiv.org/pdf/0804.3351v3.pdf
-
5
Authors: et al.
Source: Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers; 2014, p373-384, 12p
-
6
Authors:
Source: ACM Transactions on Programming Languages & Systems; Oct2014, Vol. 36 Issue 4, p14:1-14:29, 29p
-
7
Authors:
Source: ACM Transactions on Programming Languages & Systems; Nov2013, Vol. 35 Issue 3, p10-10:49, 49p
-
8
Authors:
Contributors:
Subject Terms: General Terms, Languages, Theory. Additional Key Words and Phrases, Action Renement, Axiomatization, Noninterleaving Semantics, Process Algebra, ST Bisimulation
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6078; http://www.cs.unibo.it/~bravetti/./html/./papers/tocl.ps
-
9
Authors: et al.
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms
Nájsť tento článok vo Web of Science 
Full Text Finder