Výsledky vyhledávání - "Computing methodologies Concurrent computing methodologies"

  • Zobrazuji výsledky 1 - 10 z 10
Upřesnit hledání
  1. 1

    Engineering MultiQueues: Fast Relaxed Concurrent Priority Queues

    Autoři: Williams, Marvin Sanders, Peter Dementiev, Roman a další

    Přispěvatelé: Williams, Marvin Sanders, Peter Dementiev, Roman a další

    Zdroj: 29th Annual European Symposium on Algorithms (ESA 2021)

    Témata: ddc:004, FOS: Computer and information sciences, randomized algorithms, DATA processing & computer science, 0102 computer and information sciences, 02 engineering and technology, priority queues, wait-free locking, 01 natural sciences, concurrent data structure, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), Computing methodologies → Concurrent computing methodologies

    Popis souboru: application/pdf

    Přístupová URL adresa: http://arxiv.org/abs/2107.01350
    https://publikationen.bibliothek.kit.edu/1000138387/128022141
    https://drops.dagstuhl.de/opus/volltexte/2021/14662/pdf/LIPIcs-ESA-2021-81.pdf/
    https://publikationen.bibliothek.kit.edu/1000138387
    https://drops.dagstuhl.de/opus/volltexte/2021/14662/
    https://doi.org/10.4230/LIPIcs.ESA.2021.81
    https://dblp.uni-trier.de/db/journals/corr/corr2107.html#abs-2107-01350
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2021.81

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

    Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.

    Autoři: Foster, Simon Hur, Chung-Kil Woodcock, Jim

    Zdroj: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-40, 40p

    Témata: SOFTWARE engineering, SEMANTICS, LOGIC, MATHEMATICAL proofs, SIMULATION methods & models, PARALLEL programs (Computer programs), INTERACTIVE computer systems

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

    Intermediate Value Linearizability: AQuantitative Correctness Criterion.

    Autoři: RINBERG, ARIK KEIDAR, IDIT

    Zdroj: Journal of the ACM; Apr2023, Vol. 70 Issue 2, p1-21, 21p

    Témata: INFORMATION storage & retrieval systems, DATA structures, DEGREES of freedom

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

    Computational Techniques in PET/CT Image Processing for Breast Cancer: A Systematic Mapping Review.

    Autoři: Carrasco, Karen Tomalá, Lenin Ramírez Meza, Eileen a další

    Zdroj: ACM Computing Surveys; Aug2024, Vol. 56 Issue 8, p1-38, 38p

    Témata: POSITRON emission tomography computed tomography, ARTIFICIAL neural networks, MACHINE learning, COMPUTER-aided diagnosis, MEDICAL personnel, DEEP learning, NAIVE Bayes classification, FUZZY algorithms

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

    Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way.

    Autoři: CANH MINH DO YATI PHYO RIESCO, ADRIÁN a další

    Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2023, Vol. 32 Issue 6, p1-38, 38p

    Témata: MATHEMATICAL optimization

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

    Testing using CSP Models: Time, Inputs, and Outputs.

    Autoři: BAXTER, JAMES CAVALCANTI, ANA GAZDA, MACIEJ a další

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

    Témata: PRODUCTION standards, SEMANTICS, DIALECTS

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

    A Parallelization of Non-Serial Polyadic Dynamic Programming on GPU.

    Autoři: Diwan, Tausif Tembhurne, Jitendra

    Zdroj: Journal of Computing & Information Technology; Jun2019, Vol. 27 Issue 2, p55-66, 12p

    Témata: DYNAMIC programming, COMPUTATIONAL complexity, PARALLEL programming

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

    Interprocess communication with Java in a Microsoft Windows Environment.

    Autoři: Smith, Dylan Wells, George

    Zdroj: South African Computer Journal; Dec2017, Vol. 29 Issue 3, p198-214, 17p

    Témata: JAVA programming language

    Reviews & Products: MICROSOFT Windows (Operating system)

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

    Concurrent programming in web applications.

    Autoři: Erb, Benjamin Kargl, Frank Domaschka, Jörg

    Zdroj: IT: Information Technology; Jun2014, Vol. 56 Issue 3, p119-126, 8p

    Témata: WEB-based user interfaces, COMPUTER programming, MULTICORE processors, COMPUTER software developers, COMPUTER networks, SCALABILITY

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

    Analysing Java's safety guarantees under concurrency.

    Autoři: Lochbihler, Andreas

    Zdroj: IT: Information Technology; Apr2014, Vol. 56 Issue 2, p82-86, 5p

    Témata: JAVA programming language, PROGRAMMING language semantics, SOFTWARE engineering management, SANDBOXES (Computer science), CLOUD computing

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

Vyhledávací nástroje: