Suchergebnisse - ((java OR jana) OR jan)-compliant multithreaded programming*

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

“… In multithreaded programs, executions of procedures (or methods) can be regarded as transactions …”
Volltext

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

“… We present elPrep 4, a reimplementation from scratch of the elPrep framework for processing sequence alignment map files in the Go programming language …”
Volltext

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

“… SUMMARYIn this paper, we present Checkmate, the first generic static analyzer of multithreaded Java programs based on interpretation …”
Volltext

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

“… 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 …”
Volltext

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

“… Parallel algorithms are problematic to develop because of the negative influence of synchronisation, complicated behaviour of threads' capturing computing …”
Volltext

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

“… Among others, web workers API allows multithreaded JavaScript web apps to exploit parallel processors …”
Volltext

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

“… Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread classes, allowing for a multithreaded flow of control …”
Volltext

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

“… This proven guide delivers the appropriate mix of theory and practical coding necessary to get readers up and running developing their own Java applications …”
Volltext

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

“… 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 …”
Volltext

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

“… 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 …”
Volltext

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

“… We the authors of this study use mobile agents with capability of strong migration to develop AgentSphere, a platform for an autonomous parallel and …”
Volltext

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

“… 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 …”
Volltext

Java von Schildt, Herbert

“… 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 …”
Volltext

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

“… The Java programming language supports multithreading where the threads interact among themselves via read/write of shared data …”
Volltext

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

“… JavaSplit is a portable runtime environment for distributed execution of standard multithreaded Java programs …”
Volltext

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

“… Learning about concurrency and synchronization is difficult for novices. Our research seeks to support and improve the teaching and learning of concurrency …”
Volltext

Multithreaded Programming von Schildt, Herbert

Volltext

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

“… 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 …”
Volltext

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

“… programming languages and deploying them on various environments; often virtually hosted environments …”
Volltext

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

“… ‐deadlock concurrency bugs. This paper describes the UNICORN approach, its implementations in Java and C++ …”
Volltext