A formal model of the java multi-threading system and its validation on a known problem.
Serge ChaumetteAsier UgartePublished in: IPDPS (2001)
Keyphrases
- formal model
- multithreading
- multi threaded
- parallel computing
- highly efficient
- computational power
- coarse grained
- data partitioning
- multi core processors
- distributed memory
- fine grained
- security properties
- formal models
- memory efficient
- real time
- predicate calculus
- security patterns
- shared memory
- parallel processing
- source code
- high level
- neural network