Search Sciweavers | Sciweavers

3457 search results - page 166 / 692

» A Symbol Is Not a Symbol

163

click to vote

ASIAN
1997
Springer

81views Algorithms» more ASIAN 1997»

Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation

15 years 10 months ago

Download www.cs.cmu.edu

Randal E. Bryant, Miroslav N. Velev

claim paper

Read More »

164

click to vote

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

15 years 10 months ago

Download www.complang.tuwien.ac.at

Bernhard Scholz, Johann Blieberger, Thomas Fahring...

claim paper

Read More »

144

click to vote

SPIN
2000
Springer

112views Theoretical Computer Science» more SPIN 2000»

Bebop: A Symbolic Model Checker for Boolean Programs

15 years 10 months ago

Download spinroot.com

Thomas Ball, Sriram K. Rajamani

claim paper

Read More »

121

click to vote

TACAS
2000
Springer

87views Algorithms» more TACAS 2000»

Symbolic Reachability Analysis Based on SAT-Solvers

15 years 10 months ago

Download www.een.se

Parosh Aziz Abdulla, Per Bjesse, Niklas Eén

claim paper

Read More »

134

click to vote

DAC
1995
ACM

124views Computer Architecture» more DAC 1995»

Symbolic Modeling and Evaluation of Data Paths

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers