AMP / Sized Time Systems / Computer Sciences / / /
Facility
Heriot-Watt University / BMF-BSP Building / Informatics The University of Edinburgh / /
IndustryTerm
aiT tool / on processor / tridiagonal systems / by-product / process networks / parallel algorithms / communication infrastructure / array summing algorithms / representative parallel/distributed applications / conventional sequential processors / scheduling algorithms / representative systems / communication network / embedded systems processors / /
MusicAlbum
U.K. / /
OperatingSystem
Sequent / /
Organization
Heriot-Watt University / School of Mathematical and Computer Sciences / University of Edinburgh / PRAM The Parallel Random Access Machine / School of Mathematical / /
Position
abstract cost model / which cannot provide precise bounds / designer / cost model for BMF across list-structured data / representative / model / the programmer / scheduler / programmer / /
ProgrammingLanguage
Haskell / Jocaml / /
TVStation
WCET / /
Technology
functional programming / parallel algorithms / conventional sequential processors / four processor / embedded systems processors / array summing algorithms / Random Access / shared memory / /
Characterising Effective Resource Analyses for Parallel and Distributed Coordination P. W. Trinder1 , M. I. Cole2 , H-W. Loidl1 , and G. J. Michaelson1 1 School of Mathematical and Computer Sciences,