Verification for Java's Reentrant Multithreading Concept.

Erika Ábrahám-Mumm Frank S. de Boer Willem P. de Roever Martin Steffen

Published in: FoSSaCS (2002)

Keyphrases

multithreading
multi threaded
computational power
parallel computing
highly efficient
object oriented
neural network
memory efficient
shared memory
scheduling problem
co occurrence
search strategies
distributed memory
data partitioning