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

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

“… In multithreaded programs, executions of procedures (or methods) can be regarded as transactions…”
Získat plný text

Security monitor inlining and certification for multithreaded Java Autor 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…”
Získat plný text

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

“…SUMMARYIn this paper, we present Checkmate, the first generic static analyzer of multithreaded Java programs based on interpretation…”
Získat plný text

An assertion-based proof system for multithreaded Java Autor Á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…”
Získat plný text

Predictive Typestate Checking of Multithreaded Java Programs Autor 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…”
Získat plný text

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

“…) multiprocess program (nx1 - running n processes on a node using one thread in each process); or (2) multiprocess-multithreaded…”
Získat plný text

Specification and static enforcement of scheduler-independent noninterference in a middleweight Java Autor 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…”
Získat plný text

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

“… Among others, web workers API allows multithreaded JavaScript web apps to exploit parallel processors…”
Získat plný text

Parallel algorithm development and testing using Petri-object simulation Autor 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…”
Získat plný text

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

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

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

“…The Java programming language supports multithreading where the threads interact among themselves via read/write of shared data…”
Získat plný text

Java: A Beginner's Guide, Tenth Edition Autor 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…”
Získat plný text

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

“…JavaSplit is a portable runtime environment for distributed execution of standard multithreaded Java programs…”
Získat plný text

Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java Applications Autor 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…”
Získat plný text

Multithreaded Programming Autor Schildt, Herbert

Získat plný text

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

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

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

“… programming languages and deploying them on various environments; often virtually hosted environments…”
Získat plný text

Java Autor 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…”
Získat plný text

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

“…Lock-based synchronization is widely used to avoid data races in multithreaded programs…”
Získat plný text

On building multithreaded applications Autor Omma, M.

Získat plný text