Search Sciweavers | Sciweavers

981 search results - page 40 / 197

» Symbolic pointer analysis

120

click to vote

ICCD
2001
IEEE

71views Hardware» more ICCD 2001»

Lower Bound Based DDD Minimization for Efficient Symbolic Circuit Analysis

16 years 3 months ago

Download mixedsignal.eleg.uark.edu

Alicia Manthe, C.-J. Richard Shi

claim paper

Read More »

126

Voted

SOFSEM
2010
Springer

105views Theoretical Computer Science» more SOFSEM 2010»

Symbolic OBDD-Based Reachability Analysis Needs Exponential Space

16 years 3 months ago

Download www.sofsem.cz

Beate Bollig

claim paper

Read More »

140

click to vote

RTSS
2009
IEEE

171views Control Systems» more RTSS 2009»

Symbolic Robustness Analysis

16 years 26 days ago

Download www.cds.caltech.edu

Rupak Majumdar, Indranil Saha

claim paper

Read More »

129

click to vote

MICRO
2009
IEEE

120views Hardware» more MICRO 2009»

Offline symbolic analysis for multi-processor execution replay

16 years 24 days ago

Download www.eecs.umich.edu

Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Z...

claim paper

Read More »

136

Voted

APN
2009
Springer

144views Artificial Intelligence» more APN 2009»

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers