Search Results - D.1.3 [Programming Techniques] Concurrent Programming
-
1
Authors: et al.
Contributors: et al.
Source: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging, D.1.3 [Programming Techniques, Concurrent Programming General Terms Algorithms, Experimentation, Reliability
File Description: 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
Authors:
Contributors:
Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming General Terms Algorithms, Experimentation Keywords composition
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
File Description: application/postscript
-
11
Authors:
Contributors:
Subject Terms: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
File Description: 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
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
13
Authors:
Contributors:
Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms Design, Languages, Performance Keywords Distributed programming, cloud computing, concurrency
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
19
Authors:
Contributors:
Source: http://basics.sjtu.edu.cn/~yuehg/popl/transactors a programming model for maintaining globally consistent distributed state in unreliable environments (2005).pdf.
Subject Terms: tolerance, D.1.3 [Programming Techniques, Concurrent Programming—distributed programming General Terms Languages, Reliability, Design, Theory Keywords Distributed state, Transactor, Tau-calculus, Actor
File Description: 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
Availability: 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
Authors: et al.
Contributors: et al.
Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming — parallel programming. General Terms Performance, Design, Languages. Keywords Transactions
File Description: 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