Sciweavers

526 search results - page 4 / 106
» date 2008
Sort
View
DATE
2008
IEEE
95views Hardware» more  DATE 2008»
15 years 11 months ago
Completeness in SMT-based BMC for Software Programs
Malay K. Ganai, Aarti Gupta
DATE
2008
IEEE
71views Hardware» more  DATE 2008»
15 years 11 months ago
Efficient Implementation of Native Software Simulation for MPSoC
Patrice Gerin, Xavier Guerin, Frédér...