Výsledky vyhledávání - D.3.2 [Programming Languages]: Language Classifications-concurrent*

Context constraints for compositional reachability analysis

Autoři: Cheung, Shing Chi Kramer, Jeff

Zdroj: ACM Transactions on Software Engineering and Methodology. 5:334-377

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

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

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

Foundational Calculi for Network Aware Programming, Technical Report, Universita’ di Firenze, c/o Dipartimento di Sistemi ed Informatica

Autoři: Gianluigi Ferrari Rosario Pugliese Emilio Tuosto a další

Přispěvatelé: Gianluigi Ferrari Rosario Pugliese Emilio Tuosto a další

Zdroj: http://music.dsi.unifi.it/papers/DRAFT-foundat-calc.pdf.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications—concurrent, distributed

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.3144
http://music.dsi.unifi.it/papers/DRAFT-foundat-calc.pdf

Performance of Ajax applications on mobile devices

Autoři: Mikko Pervilä The Pennsylvania State University CiteSeerX Archives

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

Zdroj: https://helda.helsinki.fi/bitstream/handle/10138/21396/performa.pdf?sequence=2.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.7173

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

The Opie compiler from row-major source to Morton-ordered matrices

Autoři: Steven T. Gabriel David S. Wise The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Steven T. Gabriel David S. Wise The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.indiana.edu/~dswise/Opie/wmpi04.pdf.

Témata: D.3.2 [Programming Languages, Language Classifications—concurrent

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2426
http://www.cs.indiana.edu/~dswise/Opie/wmpi04.pdf

Cache Aware Optimization of Stream Programs

Autoři: Janis Sermulins William Thies Rodric Rabbah a další

Přispěvatelé: Janis Sermulins William Thies Rodric Rabbah a další

Zdroj: http://cag.lcs.mit.edu/commit/papers/05/sermulins-lctes05.ps.

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

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.2854
http://cag.lcs.mit.edu/commit/papers/05/sermulins-lctes05.ps

Language support for Morton-order matrices

Autoři: Wise, David S. Alexander, Gregory A. Frens, Jeremy D.

Zdroj: University Faculty Publications and Creative Works

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

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

Dostupnost: https://digitalcommons.calvin.edu/calvin_facultypubs/558
https://doi.org/10.1145/568014.379559
https://digitalcommons.calvin.edu/context/calvin_facultypubs/article/1557/viewcontent/WiseDavid_Language_20support_20for_20Morton_order_20matrices.pdf

Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages

Autoři: Hyoukjoong Lee The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://ppl.stanford.edu/papers/a134-sujeeth.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.452.416
http://ppl.stanford.edu/papers/a134-sujeeth.pdf

Dynamic Enforcement of Determinism in a Parallel Scripting Language

Autoři: Li Lu Weixing Ji Michael L. Scott a další

Přispěvatelé: Li Lu Weixing Ji Michael L. Scott a další

Zdroj: http://www.cs.rochester.edu/u/scott/papers/2014_PLDI_DPR.pdf.

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

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

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

PREPRINT: To be presented at PLDI ’12, June 11–16, Beijing, China Diderot: A Parallel DSL for Image Analysis and Visualization

Autoři: Charisee Chiw Gordon Kindlmann Lamont Samuels a další

Přispěvatelé: Charisee Chiw Gordon Kindlmann Lamont Samuels a další

Zdroj: http://people.cs.uchicago.edu/~jhr/papers/2012/pldi-diderot.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.1787
http://people.cs.uchicago.edu/~jhr/papers/2012/pldi-diderot.pdf

General Terms

Autoři: Jie Li Vishakha Sharma Narayan Ganesan a další

Přispěvatelé: Jie Li Vishakha Sharma Narayan Ganesan a další

Zdroj: http://www.cs.stevens.edu/~abc/publications/bioscape_ACMBCB.pdf.

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.9446
http://www.cs.stevens.edu/~abc/publications/bioscape_ACMBCB.pdf

Detecting Locally Distributed Predicates

Autoři: Michael De Rosa Seth Copen Goldstein Peter Lee a další

Přispěvatelé: Michael De Rosa Seth Copen Goldstein Peter Lee a další

Zdroj: http://www.cs.cmu.edu/~CompThink/probes/papers/top1.pdf.

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7581
http://www.cs.cmu.edu/~CompThink/probes/papers/top1.pdf

Fault-Tolerant Distributed Transactional Memory

Autoři: Jihoon Lee Alokika Dash Sean Tucker a další

Přispěvatelé: Jihoon Lee Alokika Dash Sean Tucker a další

Zdroj: http://demsky.eecs.uci.edu/publications/recovery.pdf.

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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.6440; http://demsky.eecs.uci.edu/publications/recovery.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.6440
http://demsky.eecs.uci.edu/publications/recovery.pdf

Analysis of Recursively Parallel Programs

Autoři: Bouajjani, Ahmed Emmi, Michael Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) a další

Přispěvatelé: Bouajjani, Ahmed Emmi, Michael Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) a další

Zdroj: https://hal.science/hal-00639351 ; 2011.

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

Dostupnost: https://hal.science/hal-00639351
https://hal.science/hal-00639351v2/document
https://hal.science/hal-00639351v2/file/hal-tr.pdf

Element of Interaction :Touring Award Lecture.

Autoři: Milner, Robin

Zdroj: Communications of the ACM; Jan1993, Vol. 36 Issue 1, p78-89, 12p

Témata: CONCURRENT Aggregates (Computer program language), INFORMATION theory, COMPUTER software, COMPARATIVE linguistics, SEMANTICS, PROGRAMMING languages

Variables and Parameters as References and Containers

Autoři: Lawrence A. Crowl The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Lawrence A. Crowl The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.crowl.org/Lawrence/paper/reports/1992R-ORSTCS-92-60-20/fulltext.ps.gz.

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

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.761
http://www.crowl.org/Lawrence/paper/reports/1992R-ORSTCS-92-60-20/fulltext.ps.gz

Santa Claus: Formal Analysis of a Process-Oriented Solution.

Autoři: WELCH, PETER H. PEDERSEN, JAN B.

Zdroj: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p14-14.37, 37p, 6 Diagrams

Témata: MULTICORE processors, SIMULTANEOUS multithreading processors, COMPUTER multitasking, PARALLEL processing, SOFTWARE verification, COMPUTER software correctness

Satin: A High-Level and Efficient Grid Programming Model.

Autoři: VAN NIEUWPOORT, ROB V. WRZESIŃSKA, GOSIA JACOBS, CERIEL J. H. a další

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2010, Vol. 32 Issue 3, p9-9.39, 39p, 1 Diagram, 11 Charts, 5 Graphs

Témata: GRID computing, DYNAMIC programming, JAVA programming language, PARALLEL programming, COMPUTER multitasking, DISTRIBUTED computing, ALGORITHMS