Search Results - D.3.2 [Programming Languages]: Language Classifications-concurrent
-
1
Authors:
Source: ACM Transactions on Software Engineering and Methodology. 5:334-377
Subject Terms: D.2.1 [Software Engineering]: Requirements/Specifications, D.3.2 [Programming Languages]: Language Classifications-concurrent, 0202 electrical engineering, electronic engineering, information engineering, distributed, and parallel languages, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, D.2.2 [Software Engineering]: Tools and Techniques
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [Programming Techniques] Applicative (functional) programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications- Concurrent, distributed, and parallel languages, ML, D.3.3 [Programming Languages, Language Constructs and Features- Concurrent programming structures General Terms, Design, Languages, Theory Keywords, Asynchrony, Concurrent ML, First-Class Events, Composability, Message-Passing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953; http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf
-
3
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, D.3.2 [Programming Languages, Lan- guage Classifications—Concurrent, distributed and parallel languages, Object-oriented languages, D.3.4 [Programming Languages, Processors—Compilers, D.1.3 [Programming Tech- niques, Concurrent Programming General Terms, Design, Languages Additional Key Words and Phrases, Asynchrony, chords, events, join calculus, messages, poly- phonic C, synchronization, threads Contents
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications—concurrent, distributed
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: H.3.5 [Information Storage and Retrieval, Online Information Services---Web-based services, H.5.4 [Information Interface and Presentation, Hypertext/Hypermedia---Architectures, Navigation, User issues, H.5.2 [Information Interface and Presentation, User Interfaces, D.3.2 [Programming Languages, Language Classifications---Concurrent, distributed, and parallel languages, JavaScript
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3 [Software, Programming Languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, Control structures, Procedures, functions, and subroutines, D.3.2 [Programming Languages, Language Classifications—Concurrent
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.8890; http://www.adamwelc.org/papers/oopsla05futures.pdf
-
7
Authors:
Contributors:
Subject Terms: D.3.2 [Programming Languages, Language Classifications—concurrent
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2426; http://www.cs.indiana.edu/~dswise/Opie/wmpi04.pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Lan-guages, Processors--Optimization, code generation, compilers, D.3.2 [Programming Languages, Language Classifications--Concurrent, distributed, and parallel languages, Data-flow languages General Terms Languages, Design, Performance Keywords Stream Programing, StreamIt, Synchronous Dataflow, Cache, Cache Optimizations, Fusion, Embedded
File Description: application/postscript
-
9
Authors:
Source: University Faculty Publications and Creative Works
Subject Terms: Applicative (functional) languages, D.3.2 [Programming Languages]: Language Classifications-concurrent, distributed and parallel languages, D.4.2 [Operating Systems]: Storage management-storage hierarchies, E.1 [Data Structures]: Arrays, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.calvin.edu/calvin_facultypubs/558; https://digitalcommons.calvin.edu/context/calvin_facultypubs/article/1557/viewcontent/WiseDavid_Language_20support_20for_20Morton_order_20matrices.pdf
-
10
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Par- allel programming, D.3.2 [Programming Languages, Language Classifications—Concurrent, distributed and parallel languages, Extensible languages, D.3.4 [Programming Languages, Processors—Code gener- ation, Optimization, Run-time environments General Terms, Languages, Performance Additional Key Words and Phrases, Domain-specific languages, multistage programming, language virtual- ization, code generation This researc
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programing, D.3.2 [Programming Languages, Language Classifications—Concurrent, distributed, and parallel languages, Ruby, D.2.5 [Software Engi- neering, Testing and Debugging—Diagnostics General Terms Design, Languages, Reliability Keywords Determinism, deterministic parallelism, data races
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.3619; http://www.cs.rochester.edu/u/scott/papers/2014_PLDI_DPR.pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: D.3.2 [Programming Languages, Language Classifications— Concurrent, distributed, and parallel languages, D.3.4 [Programming Languages, Processors—Compilers General Terms Languages, Performance Keywords Domain Specific Languages, Image Analysis, Scientific Visualization, Parallelism
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.3.2 [Programming Languages, Language Classifications—Concurrent, distributed, and parallel languages, I.6 [Simulation And Modeling, J.3 [Life And Medical
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.9446; http://www.cs.stevens.edu/~abc/publications/bioscape_ACMBCB.pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems, D.1.3 [Programming Techniques, Concurrent Programming—distributed program- ming, D.3.2 [Programming Languages, Language Classifications—concurrent, distributed, and parallel languages, F.1.2 [Computation by Abstract Devices, Modes of Computation— parallelism and concurrency General Terms, Languages, Theory Additional Key Words and Phrases, distributed predicates, distributed computing, snapshots
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7581; http://www.cs.cmu.edu/~CompThink/probes/papers/top1.pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.1.3 [Programming Techniques, Concurrent Program- ming—Distributed programming, D.3.2 [Programming Languages, Language Classifications— Concurrent, distributed, and parallel languages, D.4.5 [Operating Systems, Reliability—Fault- tolerance General Terms, Languages, Reliability Additional Key Words and Phrases, Fault-Tolerance, Distributed Transactional Memory, Pro- gramming Languages, Distributed Systems
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.6440; http://demsky.eecs.uci.edu/publications/recovery.pdf
-
16
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-00639351 ; 2011.
Subject Terms: Concurrency, Parallelism, Verification, D.2.4 [Software/Program Verification]: Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Mechanical verification, D.3.2 [Lan- guage Classifications]: Concurrent, distributed, and parallel languages, F.1.2 [Models of Computatio, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
17
Authors: Milner, Robin
Source: Communications of the ACM; Jan1993, Vol. 36 Issue 1, p78-89, 12p
-
18
Authors:
Contributors:
Subject Terms: object-based programming languages, reference variables, container variables, reference parameters, container parameters, variable lifetime, object lifetime, dynamic typing, static typing, dynamic allocation, static allocation, garbage collection, variable aliasing, parameter passing, communication, sharing, contention, parallelism, concurrency, distribution, Matroshka, Natasha
File Description: application/postscript
-
19
Authors:
Source: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p14-14.37, 37p, 6 Diagrams
-
20
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Mar2010, Vol. 32 Issue 3, p9-9.39, 39p, 1 Diagram, 11 Charts, 5 Graphs
Full Text Finder 
Nájsť tento článok vo Web of Science