Type-based safe resource deallocation for shared-memory concurrency.
Kohei SuenagaRyota FukudaAtsushi IgarashiPublished in: OOPSLA (2012)
Keyphrases
- shared memory
- parallel algorithm
- message passing
- distributed memory
- multi processor
- parallel computing
- parallel programming
- parallel architecture
- parallel machines
- database systems
- parallel computation
- shared memory multiprocessors
- address space
- parallel computers
- concurrency control
- scheduling problem
- probabilistic model
- high resolution
- parallel execution
- search algorithm
- three dimensional
- multi core systems
- heterogeneous platforms
- image processing