Vinita Palaniveloo

0 Seguidores

vinita palaniveloo palaniveloo vinita network on chip embedded software ip model checker options risk theft source code mapping genetic algorithm worst case latency spin

Ver mais

Atividades
Sobre

Application of formal methods for system level verification of final

Há 4 anos • 45 Visualizações

Formal estimation of worst case communication latency in a network on chip final bkp

Há 4 anos • 31 Visualizações

Improving Genetic Algorithm (GA) based NoC mapping algorithm using a formal model

Há 4 anos • 49 Visualizações

Strategies to prevent code theft

Há 4 anos • 25 Visualizações

Risk mitigation in Embedded Software Development

Há 4 anos • 46 Visualizações

Protecting Embedded software IP

Há 4 anos • 48 Visualizações