nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces.

Flavio M. de Paula Alan J. Hu Amir Nahir

Published in: CAV (2012)

Keyphrases

high speed
query rewriting
low cost
high density
conjunctive queries
gallium arsenide
parallel programming
presburger arithmetic
databases
integrity constraints
rewrite rules
regular path queries
queries using views
silicon dioxide