A Reversible Debugger for Imperative Parallel Programs with Contracts.
Takashi IkedaShoji YuenPublished in: RC (2022)
Keyphrases
- parallel programming
- programming environment
- parallel processing
- primitive operations
- high level programming language
- supply chain
- database
- markov chain
- cellular automata
- distributed memory
- database systems
- parallel computing
- data mining
- multi core processors
- databases
- real time
- programming language
- cloud computing
- query processing
- case study
- decision making
- automatic programming
- sorting algorithms
- multicore processors