Výsledky vyhľadávania - D.1.3 [Programming Techniques] Concurrent Programming*
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
5
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: D.1.3 [Programming Techniques, Concurrent Programming General Terms Algorithms, Experimentation Keywords composition
Popis súboru: application/pdf
-
7
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
Popis súboru: application/postscript
-
11
Autori:
Prispievatelia:
Predmety: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
Popis súboru: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
13
Autori:
Prispievatelia:
Predmety: D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms Design, Languages, Performance Keywords Distributed programming, cloud computing, concurrency
Popis súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2010-codes+isss.pdf.
Predmety: D3.4 [Programming Languages, Processors—Compil- ers, D.1.3 [Programming Techniques, Concurrent Pro- gramming—Parallel Programming General Terms Experimentation, Languages, Measurement, Performance
Popis súboru: application/pdf
-
17
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8607; http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf
-
18
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6378; http://supertech.csail.mit.edu/papers/cobtree.pdf
-
19
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
20
Autori:
Prispievatelia:
Zdroj: http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf.
Predmety: tolerance, D.1.3 [Programming Techniques, Concurrent Programming—distributed programming General Terms Languages, Reliability, Design, Theory Keywords Distributed state, Transactor, Tau-calculus, Actor
Popis súboru: 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
Dostupnosť: 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
Nájsť tento článok vo Web of Science