Search Results - language construct AND features- concurrent programming structures
-
1
Authors: Michel Charpentier
Resource Type: eBook.
Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#
-
2
Authors:
Contributors:
Subject Terms: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
File Description: application/postscript
-
3
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
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classica- tions|Concurrent, distributed, and parallel languages, D.3.3 [Programming Languages, Lan- guage Constructs and Features|Concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Compositionality
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.1559; http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf
-
5
Authors: Harrison, William
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 41 - 47
Subject Terms: service-oriented, aspect-oriented, programming language, middleware, concurrency, Data processing Computer science, Software Architectures (NEW), Data abstraction (NEW), Domain-specific architectures (NEW), Information hiding (NEW), Languages (e.g., description, interconnection, definition) (NEW), Patterns (e.g., client/server, pipeline, blackboard) (NEW), Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4138/
-
6
Authors: et al.
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 27 - 31
Subject Terms: aspect oriented programming, program analysis, security policies, distributed systems, tuple spaces, Data processing Computer science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion, Security and Protection (K.6.5), Access controls, Authentication, Cryptographic controls, Information flow controls, Invasive software (e.g., viruses, worms, Trojan horses), Security kernels, Verification, Semantics of Programming Languages (D.3.1), Algebraic approaches to semantics, Denotational semantics, Operational semantics, Partial evaluation (NEW), Process models (NEW), Program analysis (NEW)
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4136/
-
7
Authors:
Contributors:
File Description: application/pdf
-
8
Authors: et al.
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 9 - 17
Subject Terms: History of pattern occurrences, bug tracking, Herodotos, Coccinelle, Data processing Computer science, Metrics (D.4.8), Complexity measures, Performance measures, Process metrics (NEW), Product metrics (NEW), Software science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4132/
-
9
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
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.4.2 [Operating Systems, Storage Management – Allocation/Deallocation strategies, Garbage collection, D.3.3 [Programming Languages, Language Constructs and Features – Concurrent programming structures General Terms Algorithms, Design, Experimentation, Management, Measurement, Performance Keywords barrier elimination, private heaps, parallel and concurrent collection
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.4789; http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf
-
11
Authors: Galindo Jiménez, Carlos Santiago
Thesis Advisors: Silva Galiana, Josep Francesc, Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Subject Terms: Lenguajes de Programación, Communicating Sequential Processes (CSP), Program slicing, System dependence graph, Control dependence, Data dependence, Context sensitivity, Java, Erlang, Programming languages, Program analysis, Static analysis, Fragmentación de programas, Program dependence graph, LENGUAJES Y SISTEMAS INFORMATICOS
Availability: http://hdl.handle.net/10251/211183
-
12
Authors: et al.
Contributors: et al.
Subject Terms: parallel languages, Applicative (functional) languages, D.3.3 [Programming Languages, Language Constructs and Features — Concurrent programming structures, D.3.4 [Programming Languages, Processors — Compilers, Run-time environments General Terms Keywords
File Description: application/pdf
-
13
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
-
14
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: General Terms Languages, Theory Keywords Threads, Deadlock, Type Safety, Java
File Description: application/pdf
-
15
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
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented Programming – metalevel architec- tures, D.3.2 [Programming Languages, Language Classifica- tions – Specialized application languages, D.3.3 [Programming Languages, Language Constructs and Features – Concurrent programming structures, D.3.4 [Programming Languages, Processors – Code generation, Runtime environments. General Terms Design, Languages, Verification, Reliability. Keywords Sensor Networks, Actors, Adaptive Object-Models 1. Ambient Intelligence and Sensor Networks
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.1325; http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.3.3 [Programming Languages, Language Constructs and Features—concurrent programming structures, control structures, D.4.1 [Operating Systems, Process Management—concurrency, mutual exclusion, scheduling, synchronization, Performance—simulation, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—control primitives General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Monitors, Classification
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.121; http://plg.uwaterloo.ca/~usystem/pub/uSystem/MonitorClassification.pdf
-
18
Authors:
Contributors:
Subject Terms: Language Constructs and Features—concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Ada tasking, distributed termination, master/dependent relation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1790; http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf
-
19
Authors: et al.
Source: Frontiers in Veterinary Science. 2025, p1-13. 13p.
HTML Full Text PDF Full Text -
20
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Separation Logic, Concurrent Abstract Predicates, Concurrency
File Description: application/pdf
Nájsť tento článok vo Web of Science