Mostrando 1 - 20 resultados de 451 para a busca 'based model methodology programming', tempo de busca: 0,17s

2

... proposed in this work is based on the integer linear programming. In the current implementation of topology...

Topology optimization of fluid diodes based on integer linear programming.

Publicado em 2021
Tese

8

Assuntos: ...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...

BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking

Dissertação

11

12

... de Software ainda não exploradas na área de programação paralela, incluindo o modelo de Putnam, Pontos...

Improving parallel programming assessment : challenges, methods, and opportunities in coding productivity

Publicado em 2023
Tese

13