Výsledky vyhledávání - (java OR jan)-compliant multithreaded programming*

  1. 1

    Runtime analysis of atomicity for multithreaded programs Autor Wang, L., Stoller, S.D.

    ISSN: 0098-5589
    Vydáno: IEEE 01.02.2006
    “… In multithreaded programs, executions of procedures (or methods) can be regarded as transactions…”
    Získat plný text
    Journal Article
  2. 2

    elPrep 4: A multithreaded framework for sequence analysis Autor Herzeel, Charlotte, Costanza, Pascal, Decap, Dries, Fostier, Jan, Verachtert, Wilfried

    ISSN: 1932-6203, 1932-6203
    Vydáno: United States Public Library of Science 13.02.2019
    Vydáno v PloS one (13.02.2019)
    “…We present elPrep 4, a reimplementation from scratch of the elPrep framework for processing sequence alignment map files in the Go programming language…”
    Získat plný text
    Journal Article
  3. 3

    A generic static analyzer for multithreaded Java programs Autor Ferrara, P.

    ISSN: 0038-0644, 1097-024X
    Vydáno: Bognor Regis Blackwell Publishing Ltd 01.06.2013
    Vydáno v Software, practice & experience (01.06.2013)
    “…SUMMARYIn this paper, we present Checkmate, the first generic static analyzer of multithreaded Java programs based on interpretation…”
    Získat plný text
    Journal Article
  4. 4

    Security monitor inlining and certification for multithreaded Java Autor DAM, MADS, JACOBS, BART, LUNDBLAD, ANDREAS, PIESSENS, FRANK

    ISSN: 0960-1295, 1469-8072, 1469-8072
    Vydáno: Cambridge, UK Cambridge University Press 01.03.2015
    “… For multithreaded Java one difficulty is the need to maintain a shared monitor state. We show that this problem introduces fundamental limitations in the type of security policies that can be…”
    Získat plný text
    Journal Article
  5. 5

    Parallel algorithm development and testing using Petri-object simulation Autor Stetsenko, Inna V., Pavlov, Alexander A., Dyfuchyna, Oleksandra

    ISSN: 1744-5760, 1744-5779
    Vydáno: Abingdon Taylor & Francis 02.11.2021
    “…Parallel algorithms are problematic to develop because of the negative influence of synchronisation, complicated behaviour of threads' capturing computing…”
    Získat plný text
    Journal Article
  6. 6

    Dynamic web worker pool management for highly parallel javascript web applications Autor Verdú, Javier, Costa, Juan José, Pajuelo, Alex

    ISSN: 1532-0626, 1532-0634
    Vydáno: Blackwell Publishing Ltd 10.09.2016
    Vydáno v Concurrency and computation (10.09.2016)
    “… Among others, web workers API allows multithreaded JavaScript web apps to exploit parallel processors…”
    Získat plný text
    Journal Article Publikace
  7. 7

    An assertion-based proof system for multithreaded Java Autor Ábrahám, Erika, de Boer, Frank S., de Roever, Willem-Paul, Steffen, Martin

    ISSN: 0304-3975, 1879-2294
    Vydáno: Amsterdam Elsevier B.V 01.02.2005
    Vydáno v Theoretical computer science (01.02.2005)
    “…Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread classes, allowing for a multithreaded flow of control…”
    Získat plný text
    Journal Article Konferenční příspěvek
  8. 8

    Java: A Beginner's Guide, Tenth Edition Autor Schildt, Herbert, Coward, Danny

    ISBN: 9781265054632, 1265054630
    Vydáno: Place of publication not identified McGraw-Hill/Osborne 2024
    “…This proven guide delivers the appropriate mix of theory and practical coding necessary to get readers up and running developing their own Java applications…”
    Získat plný text
    E-kniha
  9. 9

    Predictive Typestate Checking of Multithreaded Java Programs Autor Joshi, P., Sen, K.

    ISBN: 142442187X, 9781424421879
    ISSN: 1938-4300
    Vydáno: IEEE 01.09.2008
    “…Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as data races, atomicity violations, and deadlocks…”
    Získat plný text
    Konferenční příspěvek
  10. 10

    Specification and static enforcement of scheduler-independent noninterference in a middleweight Java Autor Iranmanesh, Zeinab, Fallah, Mehran S.

    ISSN: 1477-8424, 1873-6866
    Vydáno: Elsevier Ltd 01.11.2016
    “… In doing so, we first add multithreading constructs to Middleweight Java, a subset of the Java programming language with a fairly rich set of features…”
    Získat plný text
    Journal Article
  11. 11

    Improvement of strong migration method to manage multithreaded agents and implementation of mechanisms for sharing information of agents in AgentSphere Autor Hasumi, Kenta, Kai, Munenori

    ISSN: 2154-5952
    Vydáno: IEEE 01.08.2015
    “…We the authors of this study use mobile agents with capability of strong migration to develop AgentSphere, a platform for an autonomous parallel and…”
    Získat plný text
    Konferenční příspěvek Journal Article
  12. 12

    Lock-free atom garbage collection for multithreaded Prolog Autor WIELEMAKER, JAN, HARRIS, KERI

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.09.2016
    “…The runtime system of dynamic languages such as Prolog or Lisp and their derivatives contain a symbol table, in Prolog often called the atom table. A simple…”
    Získat plný text
    Journal Article
  13. 13

    Java Autor Schildt, Herbert

    ISBN: 1260463419, 9781260463415
    Vydáno: New York McGraw-Hill Education 2021
    “…The Definitive Java Programming Guide Fully updated for Java SE 17, Java(tm): The Complete Reference, Twelfth Edition explains how to develop, compile, debug, and run Java…”
    Získat plný text
    E-kniha
  14. 14

    Specifying multithreaded Java semantics for program verification Autor Roychoudhury, Abhik, Mitra, Tulika

    ISBN: 158113472X, 9781581134728
    ISSN: 0270-5257
    Vydáno: New York, NY, USA ACM 01.01.2002
    “…The Java programming language supports multithreading where the threads interact among themselves via read/write of shared data…”
    Získat plný text
    Konferenční příspěvek Journal Article
  15. 15

    A Platform-Independent Distributed Runtime for Standard Multithreaded Java Autor Factor, Michael, Schuster, Assaf, Shagin, Konstantin

    ISSN: 0885-7458, 1573-7640
    Vydáno: New York Springer Nature B.V 01.04.2006
    “…JavaSplit is a portable runtime environment for distributed execution of standard multithreaded Java programs…”
    Získat plný text
    Journal Article
  16. 16

    Design and Evaluation of Extensions to UML Sequence Diagrams for Modeling Multithreaded Interactions Autor Xie, Shaohua, Kraemer, Eileen, Stirewalt, R. E. K., Dillon, Laura K, Fleming, Scott D

    ISSN: 1473-8716, 1473-8724
    Vydáno: London, England SAGE Publications 01.06.2009
    Vydáno v Information visualization (01.06.2009)
    “…Learning about concurrency and synchronization is difficult for novices. Our research seeks to support and improve the teaching and learning of concurrency…”
    Získat plný text
    Journal Article
  17. 17

    Multithreaded Programming Autor Schildt, Herbert

    ISBN: 1260463559, 9781260463552
    Vydáno: United States McGraw-Hill Education 2022
    Získat plný text
    Kapitola
  18. 18

    How Programming Languages and Paradigms Affect Performance and Energy in Multithreaded Applications Autor Magalhaes, Guilherme Grunewald, Sartor, Anderson Luis, Lorenzon, Arthur Francisco, Navaux, Philippe Olivier Alexandre, Schneider Beck, Antonio Carlos

    ISSN: 2324-7894
    Vydáno: IEEE 01.11.2016
    “…Considering that multithreaded applications may be implemented using several programming languages and paradigms, in this work we show how they influence performance, energy consumption and energy-delay product (EDP…”
    Získat plný text
    Konferenční příspěvek
  19. 19

    Virtualization vs. Containerization: Towards a Multithreaded Performance Evaluation Approach Autor Abuabdo, Amro, Al-Sharif, Ziad A.

    ISSN: 2161-5330
    Vydáno: IEEE 01.11.2019
    “… programming languages and deploying them on various environments; often virtually hosted environments…”
    Získat plný text
    Konferenční příspěvek
  20. 20

    UNICORN: a unified approach for localizing non-deadlock concurrency bugs Autor Park, Sangmin, Vuduc, Richard, Harrold, Mary Jean

    ISSN: 0960-0833, 1099-1689
    Vydáno: Chichester Blackwell Publishing Ltd 01.05.2015
    “…‐deadlock concurrency bugs. This paper describes the UNICORN approach, its implementations in Java and C++…”
    Získat plný text
    Journal Article