Travelled to:3 × USA
Collaborated with:M.R.Mercer R.Kapur K.M.Butler R.K.Gaede
Talks about:order (3) effici (2) represent (1) parallel (1) function (1) catapult (1) approach (1) variabl (1) topolog (1) manipul (1)
Person: Don E. Ross
DBLP: Ross:Don_E=
Contributed to:
199219911988Wrote 3 papers:
- DAC-1992-MercerKR #functional #generative #order #performance
- Functional Approaches to Generating Orderings for Efficient Symbolic Representations (MRM, RK, DER), pp. 624–627.
- DAC-1991-ButlerRKM #diagrams #heuristic #order #performance
- Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams (KMB, DER, RK, MRM), pp. 417–420.
- DAC-1988-GaedeRMB #automation #concurrent #named #parallel #testing #using
- CATAPULT: Concurrent Automatic Testing Allowing Parallelization and Using Limited Topology (RKG, DER, MRM, KMB), pp. 597–600.