Parallel Complexity Analysis with Temporal Session Types.
Ankush DasJan HoffmannFrank PfenningPublished in: CoRR (2018)
Keyphrases
- complexity analysis
- theoretical analysis
- lower bound
- genetic algorithm
- parallel computation
- first order logic
- spatial and temporal
- parallel processing
- temporal constraints
- temporal patterns
- neural network
- temporal data
- general purpose
- spatio temporal
- distributed memory
- time stamped
- parallel execution
- temporal knowledge