981 search results - page 44 / 197 » Symbolic pointer analysis |
ICCAD
1991
IEEE
14 years 12 days ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
AUTOMATICA
2008
13 years 9 months ago
2008
screte abstractions Gr
CORR
2006
Springer
13 years 9 months ago
2006
Springer
IJFCS
2008
13 years 9 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...