Showing 1 - 20 results of 24 for search '(("based computational its computing program") OR ("and computational in computing program"))~', query time: 1.70s Refine Results
2
Published 2011
Subjects: ...Program verification...
Access document
Master thesis
7
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Access document
Doctoral thesis
9
Published 2016
... for subsequent executions. Thus suggests that the performance estimation of CPU and GPU is made based jointly...
Access document
Master thesis
11
... perspective of automation based microelectronics, its historical implications and consequences over production...
Access document
Master thesis
12
Published 2014
... estudo objetivou-se com o intuito de prosseguir na pesquisa sobre paralelismo, atuando num programa...
Access document
Master thesis
13
Published 2021
...Thesis developed within the Doctoral Program in Transport Systems, supervised by Professors...
Access document
14
Published 2023
... is based on the question “How do Educational Robotics and Computational Thinking contribute to the teaching...
Access document
Master thesis
Export CSV Export RIS