Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,888,363 papers from all fields of science
Search
Sign In
Create Free Account
Java concurrency
Known as:
Concurrency in java
, JSR 166
The Java programming language and the Java virtual machine (JVM) have been designed to support concurrent programming, and all execution takes place…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
Central processing unit
Common subexpression elimination
Compiler
Concurrency (computer science)
Expand
Broader (1)
Java
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Java Threads and the Concurrency Utilities
J. Friesen
Apress
2015
Corpus ID: 803815
This concise book empowers all Java developers to master the complexity of the Java thread APIs and concurrency utilities. This…
Expand
2015
2015
Additional Concurrency Utilities
J. Friesen
2015
Corpus ID: 57989231
Chapters 5 through 7 introduced you to the concurrency utilities, executors (and callables and futures), synchronizers, and the…
Expand
2012
2012
jpf-concurrent: An extension of Java PathFinder for java.util.concurrent
Mateusz Ujma
,
N. Shafiei
arXiv.org
2012
Corpus ID: 2809812
One of the main challenges when verifying multi-threaded Java applications is the state space explosion problem. Due to thread…
Expand
Review
2004
Review
2004
Overview • Interfaces Technical view of interfaces • Development Development with interfaces • Practice
K. Henney
2004
Corpus ID: 51131622
2003
2003
A Transformational Approach to the Systematic Design of Real-Time Systems
M. C. Tuñon
,
J. R. B. Almagro
2003
Corpus ID: 18584640
In this paper, a bottom-up formal technique to obtain a correct system specification from the RT/SA requirements specification of…
Expand
2003
2003
ACP Model of Java Concurrency
Xu Bao
2003
Corpus ID: 64053227
Feasibility and efficiency of analyzing concurrent programs mostly rely on the programs' representations. This paper proposes a…
Expand
2002
2002
Java Distributed Separate Objects
M. Katrib
,
Iskander Sierra
,
M. Valle
,
Thaizel Fuentes
Journal of Object Technology
2002
Corpus ID: 44594125
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match…
Expand
Review
2002
Review
2002
Extracting a Petri Net Representation of Java Concurrency : Literature Survey
Anita Bateman
,
Travis W. Pouarz
2002
Corpus ID: 9443123
Automated analysis is necessary to verify the correct operation of concurrent systems. Petri Nets have a large body of research…
Expand
2001
2001
Strategies for improving connection management in a Java-based, GIOP ORB
Masood Mortazavi
,
Feng Hong
Fourth IEEE International Symposium on Object…
2001
Corpus ID: 43048634
The authors summarize an empirical investigation conducted in order to optimize connection management in the RMI-IIOP ORB, for…
Expand
2000
2000
Investigating Java Concurrency Using Abstract State Machines 1
Y. Gurevich
2000
Corpus ID: 14505629
We present a mathematically precise, platform-independent model of Java concurrency using the Abstract State Machine methodology…
Expand