Sciweavers

5387 search results - page 67 / 1078
» Generating generic functions
Sort
View
ASPDAC
2004
ACM
78views Hardware» more  ASPDAC 2004»
15 years 11 months ago
Automatic generation of bus functional models from transaction level models
Dongwan Shin, Samar Abdi, Daniel Gajski
FATES
2004
Springer
15 years 11 months ago
Symbolic Test Case Generation for Primitive Recursive Functions
Achim D. Brucker, Burkhart Wolff