HaliVer: Deductive Verification and Scheduling Languages Join Forces.
Lars B. van den HaakAnton WijsMarieke HuismanMark van den BrandPublished in: CoRR (2024)
Keyphrases
- grid workflow
- database languages
- scheduling problem
- scheduling algorithm
- expressive power
- round robin
- databases
- object oriented
- query optimization
- resource allocation
- cross lingual
- join operations
- language independent
- abductive inference
- asynchronous circuits
- resource constraints
- model checking
- information systems
- join algorithms
- text summarization
- query processing
- cartesian product
- database
- verification method
- query language
- flexible manufacturing systems
- programming language
- formal verification
- database management systems
- face verification
- parallel machines
- load balancing
- query translation