Travelled to:1 × USA
Collaborated with:R.Marlet C.Consel L.M.R.Mullin D.R.Dooling E.A.Sandberg
Talks about:architectur (1) implement (1) protocol (1) communic (1) softwar (1) schedul (1) partial (1) method (1) formal (1) effici (1)
Person: Scott Thibault
DBLP: Thibault:Scott
Contributed to:
1997
1993Wrote 2 papers:
- ASE-1997-MarletTC #architecture #implementation #partial evaluation #performance
- Mapping Software Architectures to Efficient Implementations via Partial Evaluation (RM, ST, CC), pp. 183–192.
- HPDC-1993-MullinTDS #communication #formal method #protocol #scheduling
- Formal Method for Scheduling, Routing and Communication Protocol (LMRM, ST, DRD, EAS), pp. 234–242.