Results 281 to 290 of about 24,092 (308)

A deadlock detection tool for concurrent Java programs

Software: Practice and Experience, 1999
This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator.
DEMARTINI, Claudio Giovanni, IOSIF R., SISTO, Riccardo   +2 more
openaire   +2 more sources

Linguagem concurrent Contract-Java

2018
The goal of this thesis is the study on the integration of mechanisms from concurrent programming, objected-oriented languages, and Designby- Contract. We propose a new language, Concurrent Contract-Java (CCJava), that's an extension of Contract-Java, a language that has extended Java with Design-by-Contract language mechanisms.
openaire   +1 more source

Java Threads and the Concurrency Utilities

2015
This concise book empowers all Java developers to master the complexity of the Java thread APIs and concurrency utilities. This knowledge aids the Java developer in writing correct and complex performing multithreaded applications. Java's thread APIs and concurrency utilities are among its most powerful and challenging APIs and language features.
openaire   +1 more source

Deep machine learning with Sentinel satellite data to map paddy rice production stages across West Java, Indonesia

Remote Sensing of Environment, 2021
Kelly R Thorp, Dena Drajat
exaly  

Existing Models of Concurrency in Java

2018
As multicore processors become more and more standard, different models of concurrent programming have become more popular in Java. Although the core model of concurrency in Java is the Thread, multiple levels of abstraction have been built to enable simpler development.
openaire   +1 more source

Java Concurrency

2016
S G Ganesh, Hari Kiran, Tushar Sharma
openaire   +1 more source

A younger and protracted emplacement of the Ontong Java Plateau

Science, 2023
Peter Davidson, Anthony A P Koppers
exaly  

The Development Effects of the Extractive Colonial Economy: The Dutch Cultivation System in Java

Review of Economic Studies, 2020
Melissa Dell
exaly  

Distribution of microplastic in relation to water quality parameters in the Brantas River, East Java, Indonesia

Environmental Technology and Innovation, 2021
Nanik Retno Buwono, Yenny Risjani, Agoes Soegianto   +2 more
exaly  

Last appearance of Homo erectus at Ngandong, Java, 117,000–108,000 years ago

Nature, 2019
Yan Rizal, Kira E Westaway, Yahdi Zaim
exaly