Travelled to:
1 × France
1 × USA
Collaborated with:
R.Vemuri W.Bradley
Talks about:
perform (2) evalu (2) tradeoff (1) partial (1) analysi (1) visual (1) symbol (1) interv (1) verif (1) model (1)
Person: Jeffrey Walrath
DBLP: Walrath:Jeffrey
Contributed to:
Wrote 2 papers:
- DAC-1997-WalrathV #evaluation #modelling #performance #symbolic computation #trade-off #visualisation
- Symbolic Evaluation of Performance Models for Tradeoff Visualization (JW, RV), pp. 359–364.
- EDTC-1997-WalrathVB #analysis #partial evaluation #performance #using #verification
- Performance verification using partial evaluation and interval analysis (JW, RV, WB), p. 622.