Search Sciweavers | Sciweavers

981 search results - page 40 / 197

» Symbolic pointer analysis

click to vote

ICCD
2001
IEEE

71views Hardware» more ICCD 2001»

Lower Bound Based DDD Minimization for Efficient Symbolic Circuit Analysis

15 years 6 months ago

Download mixedsignal.eleg.uark.edu

Alicia Manthe, C.-J. Richard Shi

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

105views Theoretical Computer Science» more SOFSEM 2010»

Symbolic OBDD-Based Reachability Analysis Needs Exponential Space

15 years 6 months ago

Download www.sofsem.cz

Beate Bollig

claim paper

Read More »

click to vote

RTSS
2009
IEEE

171views Control Systems» more RTSS 2009»

Symbolic Robustness Analysis

15 years 4 months ago

Download www.cds.caltech.edu

Rupak Majumdar, Indranil Saha

claim paper

Read More »

click to vote

MICRO
2009
IEEE

120views Hardware» more MICRO 2009»

Offline symbolic analysis for multi-processor execution replay

15 years 4 months ago

Download www.eecs.umich.edu

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

claim paper

Read More »

click to vote

APN
2009
Springer

144views Artificial Intelligence» more APN 2009»

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers