Výsledky vyhledávání - language construct AND features- concurrent programming structures~

Functional and Concurrent Programming : Core Concepts and Features

Autoři: Michel Charpentier

Resource Type: eBook.

Témata: Computer multitasking, Object-oriented programming (Computer science)

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

Categories and Subject Descriptors: D.1.3 [Programming Techniques]: Concurrent Programming--parallel programming; D.3.2 [Programming Languages]: Language Constructs and Features--concurrent programming structures

Autoři: The Design The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: The Design The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-suif.stanford.edu/papers/rinard98.ps.

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.63.6954

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.6954
http://www-suif.stanford.edu/papers/rinard98.ps

Categories and Subject Descriptors: D.1.3 [Programming Techniques]: Concurrent Programming--parallel programming; D.3.2 [Programming Languages]: Language Constructs and Features--concurrent programming structures

Autoři: The Design The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: The Design The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cag.csail.mit.edu/~rinard/paper/toplas98.ps.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.5739
http://www.cag.csail.mit.edu/~rinard/paper/toplas98.ps

Compositional parallel programming languages

Autoři: Ian Foster The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ian Foster The Pennsylvania State University CiteSeerX Archives

Zdroj: http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.1559
http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf

Malleability, obliviousness and aspects for broadcast service attachment

Autoři: Harrison, William

Zdroj: 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

Témata: 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

Popis souboru: application/pdf

Dostupnost: http://opus.kobv.de/ubp/volltexte/2010/4138/

AspectKE*: Security aspects with program analysis for distributed systems

Autoři: Fan, Yang Masuhara, Hidehiko Aotani, Tomoyuki a další

Zdroj: 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

Témata: 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)

Popis souboru: application/pdf

Dostupnost: http://opus.kobv.de/ubp/volltexte/2010/4136/

Language Constructs and Features—Concurrent Programming Structures General Terms Performance, Languages

Autoři: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

Zdroj: http://clip.dia.fi.upm.es/papers/andprolog-new-pasco2007.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4542

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4542
http://clip.dia.fi.upm.es/papers/andprolog-new-pasco2007.pdf

How Often do Experts Make Mistakes?

Autoři: Palix, Nicolas Lawall, Julia L. Thomas, Gaël a další

Zdroj: 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

Témata: 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

Popis souboru: application/pdf

Dostupnost: http://opus.kobv.de/ubp/volltexte/2010/4132/

Composable Asynchronous Events

Autoři: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a další

Přispěvatelé: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a další

Zdroj: http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953
http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf

Eliminating read barriers through procrastination and cleanliness

Autoři: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan a další

Přispěvatelé: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan a další

Zdroj: http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.4789
http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf

Program Slicing for Modern Programming Languages

Autoři: 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ó

Témata: 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

Dostupnost: http://hdl.handle.net/10251/211183

Status Report: The Manicore Project

Autoři: Matthew Fluet Nic Ford Mike Rainey a další

Přispěvatelé: Matthew Fluet Nic Ford Mike Rainey a další

Zdroj: http://people.cs.uchicago.edu/~jhr/papers/2007/ml-manticore.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.7408

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.7408
http://people.cs.uchicago.edu/~jhr/papers/2007/ml-manticore.pdf

Safe Futures for Java

Autoři: Adam Welc Suresh Jagannathan Antony Hosking a další

Přispěvatelé: Adam Welc Suresh Jagannathan Antony Hosking a další

Zdroj: http://www.adamwelc.org/papers/oopsla05futures.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.8890; http://www.adamwelc.org/papers/oopsla05futures.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.8890
http://www.adamwelc.org/papers/oopsla05futures.pdf

Constructs and Features]: Concurrent programming structures

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://fool08.kuis.kyoto-u.ac.jp/lochbihler.pdf.

Témata: General Terms Languages, Theory Keywords Threads, Deadlock, Type Safety, Java

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.8474

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.8474
http://fool08.kuis.kyoto-u.ac.jp/lochbihler.pdf

Modern concurrency abstraction for C

Autoři: Nick Benton Luca Cardelli The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Nick Benton Luca Cardelli The Pennsylvania State University CiteSeerX Archives

Zdroj: http://research.microsoft.com/en-us/um/people/nick/polyphony/polyphonytoplas-pdf.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.631.5800

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.631.5800
http://research.microsoft.com/en-us/um/people/nick/polyphony/polyphonytoplas-pdf.pdf

Ambiance: adaptive object modelbased platform for macroprogramming sensor networks

Autoři: Reza Razavi Kirill Mechitov Jean-françois Perrot a další

Přispěvatelé: Reza Razavi Kirill Mechitov Jean-françois Perrot a další

Zdroj: http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: 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

Monitor Classification

Autoři: Peter A. Buhr Michel Fortier Michael H. Coffin a další

Přispěvatelé: Peter A. Buhr Michel Fortier Michael H. Coffin a další

Zdroj: http://plg.uwaterloo.ca/~usystem/pub/uSystem/MonitorClassification.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.121
http://plg.uwaterloo.ca/~usystem/pub/uSystem/MonitorClassification.pdf

Task Dependence and Termination in Ada

Autoři: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf.

Témata: Language Constructs and Features—concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Ada tasking, distributed termination, master/dependent relation

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1790
http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf

PainSeeker: a head pose-invariant deep learning method for assessing rat's pain by facial expressions.

Autoři: Liu, Liu Li, Guang Deng, Dingfan a další

Zdroj: Frontiers in Veterinary Science. 2025, p1-13. 13p.

AVerifying Custom Synchronisation Constructs Using Higher-Order Separation Logic

Autoři: Mike Dodds The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Mike Dodds The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-users.cs.york.ac.uk/~miked/publications/verifying_custom_sync_constructs.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.6785

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.6785
http://www-users.cs.york.ac.uk/~miked/publications/verifying_custom_sync_constructs.pdf