Suchergebnisse - (java OR jana)-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

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

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

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

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

Using multithreaded processes in ParJava environment von Akopyan, M.S.

“… ) multiprocess program (nx1 - running n processes on a node using one thread in each process); or (2) multiprocess-multithreaded …”
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

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

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

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

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

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

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

Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java Applications von Sharaf, Mohamed, Jie Huang, Chin-Tser Huang

“… through. In this paper, we propose a Secure Information Flow for Multithreaded Java (SIF-MJ) model, to enforce security and enhance assurance in all information flows …”
Volltext

Multithreaded Programming von Schildt, Herbert

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

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

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

Assuring Lock Usage in Multithreaded Programs with Fractional Permissions von Yang Zhao, Boyland, J.

“… Lock-based synchronization is widely used to avoid data races in multithreaded programs …”
Volltext

On building multithreaded applications von Omma, M.

Volltext