Scheduling considerations for building dynamic verification tools for MPI.
Sarvani S. VakkalankaMichael DelisiGanesh GopalakrishnanRobert M. KirbyPublished in: PADTAD (2008)
Keyphrases
- scheduling problem
- dynamically changing
- general purpose
- dynamic environments
- decision support
- scheduling algorithm
- software tools
- record keeping
- real time
- grid workflow
- flexible manufacturing systems
- parallel implementation
- shared memory
- model checking
- optimal solution
- case study
- website
- information systems
- neural network