Search Sciweavers | Sciweavers

819 search results - page 29 / 164

» Fractal symbolic analysis

119

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 »

125

click to vote

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 »

139

Voted

RTSS
2009
IEEE

171views Control Systems» more RTSS 2009»

Symbolic Robustness Analysis

16 years 25 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 22 days ago

Download www.eecs.umich.edu

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

claim paper

Read More »

136

click to vote

APN
2009
Springer

144views Artificial Intelligence» more APN 2009»

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

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers