Decidable models of integer-manipulating programs with recursive parallelism.

Matthew Hague Anthony W. Lin

Published in: Theor. Comput. Sci. (2018)

Keyphrases

probabilistic model
decision trees
hidden markov models
process model
experimental data
massively parallel
neural network
information systems
complex systems
computational models
transitive closure