Výsledky vyhledávání - (java OR jan)-compliant multithreaded programming*
-
1
Runtime analysis of atomicity for multithreaded programs
ISSN: 0098-5589Vydáno: IEEE 01.02.2006Vydáno v IEEE transactions on software engineering (01.02.2006)“… In multithreaded programs, executions of procedures (or methods) can be regarded as transactions…”
Získat plný text
Journal Article -
2
elPrep 4: A multithreaded framework for sequence analysis
ISSN: 1932-6203, 1932-6203Vydáno: United States Public Library of Science 13.02.2019Vydá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
A generic static analyzer for multithreaded Java programs
ISSN: 0038-0644, 1097-024XVydáno: Bognor Regis Blackwell Publishing Ltd 01.06.2013Vydá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
Security monitor inlining and certification for multithreaded Java
ISSN: 0960-1295, 1469-8072, 1469-8072Vydáno: Cambridge, UK Cambridge University Press 01.03.2015Vydáno v Mathematical structures in computer science (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
Parallel algorithm development and testing using Petri-object simulation
ISSN: 1744-5760, 1744-5779Vydáno: Abingdon Taylor & Francis 02.11.2021Vydáno v International journal of parallel, emergent and distributed systems (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
Dynamic web worker pool management for highly parallel javascript web applications
ISSN: 1532-0626, 1532-0634Vydáno: Blackwell Publishing Ltd 10.09.2016Vydá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
An assertion-based proof system for multithreaded Java
ISSN: 0304-3975, 1879-2294Vydáno: Amsterdam Elsevier B.V 01.02.2005Vydá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
Java: A Beginner's Guide, Tenth Edition
ISBN: 9781265054632, 1265054630Vydá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
Predictive Typestate Checking of Multithreaded Java Programs
ISBN: 142442187X, 9781424421879ISSN: 1938-4300Vydáno: IEEE 01.09.2008Vydáno v 2008 23rd IEEE/ACM International Conference on Automated Software Engineering (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
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
ISSN: 1477-8424, 1873-6866Vydáno: Elsevier Ltd 01.11.2016Vydáno v Computer languages, systems & structures (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
Improvement of strong migration method to manage multithreaded agents and implementation of mechanisms for sharing information of agents in AgentSphere
ISSN: 2154-5952Vydáno: IEEE 01.08.2015Vydáno v Conference proceedings (IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing) (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
Lock-free atom garbage collection for multithreaded Prolog
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.09.2016Vydáno v Theory and practice of logic programming (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
Java
ISBN: 1260463419, 9781260463415Vydá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
Specifying multithreaded Java semantics for program verification
ISBN: 158113472X, 9781581134728ISSN: 0270-5257Vydáno: New York, NY, USA ACM 01.01.2002Vydáno v Proceedings - International Conference on Software Engineering (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
A Platform-Independent Distributed Runtime for Standard Multithreaded Java
ISSN: 0885-7458, 1573-7640Vydáno: New York Springer Nature B.V 01.04.2006Vydáno v International journal of parallel programming (01.04.2006)“…JavaSplit is a portable runtime environment for distributed execution of standard multithreaded Java programs…”
Získat plný text
Journal Article -
16
Design and Evaluation of Extensions to UML Sequence Diagrams for Modeling Multithreaded Interactions
ISSN: 1473-8716, 1473-8724Vydáno: London, England SAGE Publications 01.06.2009Vydá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
Multithreaded Programming
ISBN: 1260463559, 9781260463552Vydáno: United States McGraw-Hill Education 2022Vydáno v Java: a Beginner's Guide, Ninth Edition (2022)Získat plný text
Kapitola -
18
How Programming Languages and Paradigms Affect Performance and Energy in Multithreaded Applications
ISSN: 2324-7894Vydáno: IEEE 01.11.2016Vydáno v Brazilian Symposium on Computing System Engineering (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
Virtualization vs. Containerization: Towards a Multithreaded Performance Evaluation Approach
ISSN: 2161-5330Vydáno: IEEE 01.11.2019Vydáno v Proceedings / ACS/IEEE International Conference on Computer Systems and Applications (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
UNICORN: a unified approach for localizing non-deadlock concurrency bugs
ISSN: 0960-0833, 1099-1689Vydáno: Chichester Blackwell Publishing Ltd 01.05.2015Vydáno v Software testing, verification & reliability (01.05.2015)“…‐deadlock concurrency bugs. This paper describes the UNICORN approach, its implementations in Java and C++…”
Získat plný text
Journal Article

