Výsledky vyhledávání - D.1.3 [Programming Techniques] Concurrent Programming~
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software Engineering, Software/Program Verification—Class invariants, Correctness proofs, Formal methods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechanical verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification condition generation ACM Reference Format
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177; http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Concurrent programming structures, Data types and structures Keywords Concurrency, Composition, Transactions, Data Structures, Automatic Synchronization
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7801; http://www.cs.tau.ac.il/~ggolan/papers/pldi13.pdf
-
3
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.4.6 [Security and Protection, Information flow controls General Terms Keywords Security, Languages, Design Monad, Library, Covert channels
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.9896; http://www.cse.chalmers.se/~russo/publications_files/icfp2012.pdf
-
4
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging, D.1.3 [Programming Techniques, Concurrent Programming General Terms Security, Verification, Languages, Algorithms Keywords Software cruising, buffer overflow, program monitor, multicore, concurrency, lock-free
Popis souboru: application/pdf
-
5
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging, D.1.3 [Programming Techniques, Concurrent Programming General Terms Algorithms, Experimentation, Reliability
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.9955; http://srl.cs.berkeley.edu/~ksen/papers/thrille.pdf
-
6
Autoři:
Přispěvatelé:
Témata: D.1.3 [Programming Techniques, Concurrent Programming General Terms Algorithms, Experimentation Keywords composition
Popis souboru: application/pdf
-
7
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.4 [Programming Languages, Processors—Compilers, Optimization Languages, Performance, Design, Experimenta- General Terms tion Keywords Implicit parallelism, semantic commutativity, programming model, automatic parallelization
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.7696; http://liberty.princeton.edu/Publications/pldi11_commset.pdf
-
8
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.2.5 [Software Engineering, Testing and Debugging – abstract data types, polymorphism, control structures. General Terms Reliability, Languages. Keywords Java, JUnit, unit testing
Popis souboru: application/pdf
-
9
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.3. Software [Programming Techniques, Concurrent Programming General Terms Languages, Verification Keywords Aspect-oriented programming, concurrency, formal verification, implementation, Java
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.4036; http://www.emn.fr/sudholt/papers/gpce06.pdf
-
10
Autoři:
Přispěvatelé:
Témata: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
Popis souboru: application/postscript
-
11
Autoři:
Přispěvatelé:
Témata: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.5739; http://www.cag.csail.mit.edu/~rinard/paper/toplas98.ps
-
12
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming, D.3.3 [Programming Languages, Language Constructs and Features – Frameworks, Concurrent programming structures, E.1 [Data Structures, Distributed data structures, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Languages, Theory Keywords Transactional Boosting, non-blocking algorithms, abstract locks
Popis souboru: application/pdf
-
13
Autoři:
Přispěvatelé:
Témata: D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms Design, Languages, Performance Keywords Distributed programming, cloud computing, concurrency
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8418; http://research.microsoft.com/pubs/102137/sigmod09.pdf
-
14
Autoři: a další
Přispěvatelé: a další
Témata: D.1.3 [Programming Techniques, Concurrent Programming General Terms, Languages, Measurement, Performance Additional Key Words and Phrases, Static analysis, runtime systems, concurrent languages, message passing, Erlang
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.9548; http://www.fantasi.se/jesper/publications/TOPLAS06.pdf
-
15
Autoři:
Přispěvatelé:
Témata: applications, D.1.3 [Programming Techniques, Concurrent Programming— Distributed programming General Terms, Algorithms, Design, Performance, Experimentation Keywords, wireless sensor networks, Muse, Melete, network protocols, Trickle, virtual machine, Maté, concurrent applications, dynamic group formation, group-keyed code dissemination, group-keyed
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.3535; http://halcyon.usc.edu/~yangyu/data/Sensys06.pdf
-
16
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, D.3.m [Programming Languages, Miscellaneous General Terms, Design, Languages Additional Key Words and Phrases, Programming models and languages, survey, taxonomy ACM Reference Format
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8607; http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.3 Programming Techniques Concurrent Programming—parallel programming, E.1 Data Structures Distributed Data Structures, E.1 Data Structures Trees, G.3 Probability and Statistics Probabilistic algorithms, General Terms, Algorithms, Theory. Keywords, Cache-Oblivious B-tree, Concurrent B-tree, Non- Blocking, Lock Free, Exponential Tree, Packed-Memory Array
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6378; http://supertech.csail.mit.edu/papers/cobtree.pdf
-
18
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, D.3.m [Programming Languages, Miscellaneous General Terms, Design, Languages Additional Key Words and Phrases, Programming models and languages, survey, taxonomy
Popis souboru: application/pdf
-
19
Autoři:
Přispěvatelé:
Zdroj: http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf.
Témata: tolerance, D.1.3 [Programming Techniques, Concurrent Programming—distributed programming General Terms Languages, Reliability, Design, Theory Keywords Distributed state, Transactor, Tau-calculus, Actor
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.586.2465; http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.586.2465
http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf -
20
Autoři: a další
Přispěvatelé: a další
Témata: D.1.3 [Programming Techniques, Concurrent Programming — parallel programming. General Terms Performance, Design, Languages. Keywords Transactions
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.2537; http://tcc.stanford.edu/publications/tcc_asplos2004.pdf
Nájsť tento článok vo Web of Science