Towards Parallel Boolean Functional Synthesis.
S. AkshaySupratik ChakrabortyAjith K. JohnShetal ShahPublished in: CoRR (2017)
Keyphrases
- parallel implementation
- real valued
- program synthesis
- boolean functions
- artificial intelligence
- parallel processing
- functional properties
- parallel programming
- parallel computation
- shared memory
- bayesian networks
- learning algorithm
- real world
- artificial neural networks
- similarity measure
- image processing
- data mining
- parallel architectures
- databases