Showing 1 - 5 results of 5 for search '(("using computational in computing program") OR ("and specification and computing program"))~', query time: 2.54s Refine Results
1
Published 2011
Subjects: ...Program verification...
Access document
Master thesis
2
... specification in which parameters are used to abstract variables, such as in predicates and functions. In the...
Access document
Doctoral thesis
3
Published 2017
... simulation approach to get maximum benefit from SIMD/MIMD computational architectures and highly massive...
Access document (1)
Access document (2)
Conference object
Export CSV Export RIS