From relational verification to SIMD loop synthesis.
Gilles BartheJuan Manuel CrespoSumit GulwaniCésar KunzMark MarronPublished in: PPOPP (2013)
Keyphrases
- relational databases
- parallel algorithm
- relational data
- massively parallel
- model checking
- program synthesis
- highly parallel
- databases
- mesh connected
- asynchronous circuits
- relational learning
- relational model
- formal verification
- person identification
- verification method
- processor array
- parallel processing
- data model
- real time