Showing 1 - 7 results of 7 for search '(("based solution and computing program") OR ("based computational in computing program"))~', query time: 1.20s Refine Results
1
Published 2016
Subjects: ...power-and energy-efficient computing...
Access document
Master thesis
2
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Access document
Doctoral thesis
5
Published 2016
...), lu (LU decomposition) and durbin (system solution Toeplitz matrix). Each has different computational complexity. The...
Access document
Master thesis
6
... e constatar que o programa satisfaz todas as restrições impostas, maximiza o ganho de peso de cada animal...
Access document
Master thesis
Export CSV Export RIS