Abstract
We sketch a BDD-like structure for representing unions of simple convex polyhedra, describing the legal values of a set of clocks given bounds on the values of clocks and clock dffierences.
Cite
CITATION STYLE
APA
Larsen, K. G., Weise, C., Yi, W., & Pearson, J. (1998). Clock Difference Diagrams. BRICS Report Series, 5(46). https://doi.org/10.7146/brics.v5i46.19491
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free