Výsledky vyhľadávania - ((java OR jana) OR jan)-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ískať 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ískať 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ískať plný text

elPrep 4: A multithreaded framework for sequence analysis Autor 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…”
Získať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text

Multithreaded Programming Autor Schildt, Herbert

Získať plný text

Lock-free atom garbage collection for multithreaded Prolog Autor 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…”
Získať 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ískať 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ískať 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ískať plný text