Sciweavers

11 search results - page 3 / 3
» Small Induced-Universal Graphs and Compact Implicit Graph Re...
Sort
View
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 2 months ago
Symbolic pointer analysis
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
Jianwen Zhu