Výsledky vyhledávání - "Safe Parallel Programming"

Upřesnit hledání
  1. 1

    Safe parallel programming in ada with language extensions

    Autoři: Brad Moore Stephen Michell Luis Miguel Pinho a další

    Zdroj: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. :87-96

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 6. Clean water

    Přístupová URL adresa: http://www.cister.isep.ipp.pt/docs/safe_parallel_programming_in_ada_with_language_extensions/1030/view.pdf
    http://dblp.uni-trier.de/db/conf/sigada/hilt2014.html#TaftMPM14
    http://www.cister.isep.ipp.pt/docs/safe_parallel_programming_in_ada_with_language_extensions/1030/
    https://193.136.60.49/docs/safe_parallel_programming_in_ada_with_language_extensions/1030/
    http://www.cister.isep.ipp.pt/docs/safe_parallel_programming_in_ada_with_language_extensions/1030/view.pdf
    https://dl.acm.org/doi/10.1145/2663171.2663181
    https://dblp.uni-trier.de/db/conf/sigada/hilt2014.html#TaftMPM14

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Safe parallel programming using dynamic dependence hints

    Autoři: KeChuanle ZhangChao BaiTongxin a další

    Zdroj: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. :243-258

    Témata: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

    Přístupová URL adresa: https://dl.acm.org/doi/10.1145/2048066.2048087
    https://dblp.uni-trier.de/db/conf/oopsla/oopsla2011.html#KeLZBJD11
    https://doi.org/10.1145/2048066.2048087
    http://www.cs.rochester.edu/~cding/Documents/Publications/oopsla117-ke.pdf
    https://dl.acm.org/doi/10.1145/2076021.2048087

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Language Constructs for Safe Parallel Programming on Multi-Cores

    Autoři: Östlund, Johan Wrigstad, Tobias, Docent Henrio, Ludovic, CR1

    Přispěvatelé: Östlund, Johan Wrigstad, Tobias, Docent Henrio, Ludovic, CR1

    Zdroj: UPMARC Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology.

    Témata: Programming Languages, Type Systems, Ownership Types, Concurrency, Parallelism, Actors, Active Objects, Structured Parallelism, Data Race-Freedom, Immutability, Uniqueness, Datavetenskap, Computer Science

    Popis souboru: electronic

    Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-266795
    https://uu.diva-portal.org/smash/get/diva2:872118/FULLTEXT01.pdf

    View record in SwePub Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    Multiparty Session C: Safe Parallel Programming with Message Optimisation

    Autoři: Nicholas Ng Kohei Honda Nobuko Yoshida

    Zdroj: Lecture Notes in Computer Science ISBN: 9783642305603

    Přístupová URL adresa: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.2633

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    Safe Parallel Programming in an Interpreted Language

    Autoři: Ding, Chen (1970 - ) Gernhart, Brian Li, Pengcheng a další

    Témata: speculative parallelization, garbage collection, parallel programming, dynamic language, Ruby, performance, Technical Report

    URL: http://hdl.handle.net/1802/28389

    View this record from OAIster Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    Safe Parallel Programming with Session Java

    Autoři: Pernet, O Ng, N Hu, R a další

    Přispěvatelé: Pernet, O Ng, N Hu, R a další

    Zdroj: Lecture Notes in Computer Science ISBN: 9783642214639

    Témata: [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO] Computer Science [cs]

    Popis souboru: application/pdf

    Přístupová URL adresa: http://www.doc.ic.ac.uk/research/technicalreports/2010/DTR10-14.pdf
    https://inria.hal.science/hal-01582999v1/document
    https://inria.hal.science/hal-01582999v1
    https://doi.org/10.1007/978-3-642-21464-6_8
    http://hdl.handle.net/10044/1/95228

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    Safe parallel programming in ada with language extensions

    Autoři: Taft, S. Tucker Moore, Brad Pinho, Luís Miguel a další

    Zdroj: ACM SIGAda Ada Letters ; volume 34, issue 3, page 87-96 ; ISSN 1094-3641

    Dostupnost: https://doi.org/10.1145/2692956.2663181
    https://dl.acm.org/doi/10.1145/2692956.2663181
    https://dl.acm.org/doi/pdf/10.1145/2692956.2663181

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    Safe Parallel Programming with Session Java

    Autoři: Olivier Pernet Nicholas Ng Raymond Hu a další

    Přispěvatelé: Olivier Pernet Nicholas Ng Raymond Hu a další

    Zdroj: http://www.doc.ic.ac.uk/research/technicalreports/2010/DTR10-14.pdf.

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.185.4543
    http://www.doc.ic.ac.uk/research/technicalreports/2010/DTR10-14.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Safe parallel programming with session Java

    Autoři: Pernet, O Ng, N Hu, R a další

    Zdroj: 35 ; 1

    Relation: Departmental Technical Report: 10/14; http://hdl.handle.net/10044/1/95228; https://doi.org/10.25561/95228

    Dostupnost: http://hdl.handle.net/10044/1/95228
    https://doi.org/10.25561/95228

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    Safe parallel programming using dynamic dependence hints

    Autoři: Ke, Chuanle Liu, Lei Zhang, Chao a další

    Zdroj: ACM SIGPLAN Notices ; volume 46, issue 10, page 243-258 ; ISSN 0362-1340 1558-1160

    Dostupnost: https://doi.org/10.1145/2076021.2048087
    https://dl.acm.org/doi/10.1145/2076021.2048087
    https://dl.acm.org/doi/pdf/10.1145/2076021.2048087

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    Multiparty Session C: Safe Parallel Programming with Message Optimisation.

    Autoři: Ng, Nicholas Yoshida, Nobuko Honda, Kohei

    Zdroj: Objects, Models, Components, Patterns (9783642305603); 2012, p202-218, 17p

    Přidat do oblíbených
  12. 12

    Access Annotation for Safe Speculative Parallelization: Semantics and Support

    Autoři: Ding, Chen (1970 - )

    Témata: safe parallel programming, software speculative parallelization, race checking

    Relation: http://hdl.handle.net/1802/14390

    Dostupnost: http://hdl.handle.net/1802/14390

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    R.: Deterministic Parallelism via Liquid Effects

    Autoři: Ming Kawaguchi Patrick Rondon Alexander Bakst a další

    Přispěvatelé: Ming Kawaguchi Patrick Rondon Alexander Bakst a další

    Zdroj: http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf.

    Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation, D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming General Terms Languages, Reliability, Verification Keywords Liquid Types, Type Inference, Dependent Types, Safe Parallel Programming, Determinism

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.6152; http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.6152
    http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    Deterministic Parallelism via Liquid Effects ∗

    Autoři: Ming Kawaguchi Patrick Rondon Alexander Bakst a další

    Přispěvatelé: Ming Kawaguchi Patrick Rondon Alexander Bakst a další

    Zdroj: http://goto.ucsd.edu/%7Epmr/papers/liquid-effects-pldi12.pdf.

    Témata: Techniques, Concurrent Programming – Parallel Programming General Terms Languages, Reliability, Verification Keywords Liquid Types, Type Inference, Dependent Types, Safe Parallel Programming, Determinism

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.269.5773
    http://goto.ucsd.edu/%7Epmr/papers/liquid-effects-pldi12.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations

    Autoři: Taft, S. Tucker

    Témata: Computer Science - Programming Languages, text

    URL: http://arxiv.org/abs/1902.00525

    View this record from OAIster Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    Precise Subtyping for Asynchronous Multiparty Sessions.

    Autoři: GHILEZAN, SILVIA PANTOVIĆ, JOVANKA PROKIĆ, IVAN a další

    Zdroj: ACM Transactions on Computational Logic; Apr2023, Vol. 24 Issue 2, p1-73, 73p

    Témata: COMMUNICATION patterns, FIRST in, first out (Queuing theory), TCP/IP, ASYNCHRONOUS learning

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Scripting Multiple CPUs with Safe Data Sharing.

    Autoři: Skyrme, Alexandre Rodriguez, Noemi Ierusalimschy, Roberto

    Zdroj: IEEE Software; Sep2014, Vol. 31 Issue 5, p44-51, 8p, 1 Color Photograph

    Témata: SCRIPTING languages (Computer science), DATA, PROGRAMMING languages, COMPUTER software, DATA libraries

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  18. 18

    A Comprehensive Exploration of Languages for Parallel Computing.

    Autoři: CICCOZZI, FEDERICO ADDAZI, LORENZO ASADOLLAH, SARA ABBASPOUR a další

    Zdroj: ACM Computing Surveys; Mar2023, Vol. 55 Issue 2, p1-39, 39p, 2 Diagrams, 8 Charts, 12 Graphs

    Témata: PARALLEL programming, GREY literature, LANGUAGE research, AUTONOMOUS vehicles

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    A Type Discipline for Message Passing Parallel Programs.

    Autoři: VASCONCELOS, VASCO T. MARTINS, FRANCISCO LÓPEZ, HUGO-ANDRÉS a další

    Zdroj: ACM Transactions on Programming Languages & Systems; Dec2022, Vol. 44 Issue 4, p1-55, 55p

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  20. 20

    A survey of concurrency-oriented refactoring.

    Autoři: Zhang, Yang Li, Liuxu Zhang, Dongwen

    Zdroj: Concurrent Engineering: Research & Applications; Dec2020, Vol. 28 Issue 4, p319-330, 12p

    Témata: PARALLEL programming, PROGRAMMING languages, SURVEYS

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: