Hierarchical simulation-based verification of Anton, a special-purpose parallel machine.
J. P. GrossmanJohn K. SalmonRichard C. HoDoug IerardiBrian TowlesBrannon BatsonJochen SpenglerStanley C. WangRolf MuellerMichael TheobaldCliff YoungJoseph GagliardoMartin M. DeneroffRon O. DrorDavid E. ShawPublished in: ICCD (2008)
Keyphrases
- special purpose
- parallel machines
- general purpose
- scheduling problem
- earliness tardiness
- total tardiness
- sequence dependent setup times
- single machine
- minimize total
- unrelated parallel machines
- release dates
- massively parallel
- shared memory
- highly optimized
- setup times
- precedence constraints
- model checking
- parallel computing
- list scheduling
- distributed memory
- lot sizing
- special case
- parallel implementation
- probability distribution
- parallel machine scheduling problem
- search algorithm
- bayesian networks
- decision making
- ibm sp
- information systems