Search Results - (java OR jana)-compliant multithreaded programming

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

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

Security monitor inlining and certification for multithreaded Java by 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…”
Get full text

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

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

An assertion-based proof system for multithreaded Java by Á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…”
Get full text

Predictive Typestate Checking of Multithreaded Java Programs by 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…”
Get full text

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

“…) multiprocess program (nx1 - running n processes on a node using one thread in each process); or (2) multiprocess-multithreaded…”
Get full text

Specification and static enforcement of scheduler-independent noninterference in a middleweight Java by 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…”
Get full text

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

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

Parallel algorithm development and testing using Petri-object simulation by 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…”
Get full text

Improvement of strong migration method to manage multithreaded agents and implementation of mechanisms for sharing information of agents in AgentSphere by 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…”
Get full text

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

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

Java: A Beginner's Guide, Tenth Edition by 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…”
Get full text

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

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

Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java Applications by 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…”
Get full text

Multithreaded Programming by Schildt, Herbert

Get full text

Design and Evaluation of Extensions to UML Sequence Diagrams for Modeling Multithreaded Interactions by 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…”
Get full text

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

“… programming languages and deploying them on various environments; often virtually hosted environments…”
Get full text

Java by 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…”
Get full text

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

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

On building multithreaded applications by Omma, M.

Get full text