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
Nájsť tento článok vo Web of Science