TVOC: A Translation Validator for Optimizing Compilers.
Clark W. BarrettYi FangBenjamin GoldbergYing HuAmir PnueliLenore D. ZuckPublished in: CAV (2005)
Keyphrases
- hardware and software
- programming language
- computer systems
- cross language information retrieval
- machine translation
- computer architecture
- information retrieval
- image processing
- case study
- video sequences
- artificial neural networks
- low cost
- information retrieval systems
- cross language
- massively parallel
- statistical machine translation