StringologyTimes

Data Structures and Algorithms: 2003/6/15-21

1: Efficient pebbling for list traversal synopses
2: Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures