Automated parallelization of discrete state-space generation

Journal of Parallel and Distributed Computing

Volumn 47, Issue 2, 1997, Pages 153-167

  Nicol, David M ^a   Ciardo, Gianfranco ^b  

^a DARTMOUTH COLLEGE   (United States)

^b The College of William and Mary   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031574534     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.1997.1409     Document Type: Article

References (29)

1. S. C. Allmaier, M. Kowarshcik, G. Horton, June 1997, State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor, Proceedings of the 7th Int. Workshop on Petri-Net and Performance Models, Saint Malo, France, 112, 121, IEEE Comput. Soc. Los Alamitos, CA.
2. Blelloch G. E. Scans as primitive parallel operations. IEEE Trans. Comput. 38:1989;1526-1538.
3. G. Ciardo, J. Gluckman, D. Nicol, Distributed state-space generation of discrete-state stochastic models, INFORMS J. Comput.
4. Ciardo G., Trivedi K. A decomposition approach for stochastic reward net models. Perform. Eval. 18:1993;37-59.
5. G. Ciardo, K. Trivedi, J. Muppala, December 1989, SPNP: Stochastic Petri net package, Proceedings of the 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan, 142, 151, IEEE Press, New York.
6. Cybenko G. Dynamic load balancing for distributed memory multiprocessors. J. Parallel Distrib. Comput. 7:1989;279-301.
7. Eager D. L., Lazowska E. D., Zahorjan J. Adaptive load sharing in homogeneous distributed systems. IEEE Trans. Software Engrg. SE-12:1986;662-675.
8. Gerogiannis D., Orphanoudakis S. Load balancing requirements in parallel implementations of image feature extraction tasks. IEEE Trans. Parallel Distrib. Systems. 4:1993;994-1013.
9. Gropp W., Lusk E., Skjellum A. Using MPI. 1994;MIT Press, Cambridge.
10. Horowitz E., Sahni S. Fundamentals of Data Structures. 1978;Computer Science Press, Potomac.
11. L. Kale, 1988, Comparing the performance of two dynamic load distribution methods, Proceedings of the 1988 Int. Conference on Parallel Processing, 8, 12.
12. R. Karp, Y. Zhang, 1988, A randomized parallel branch-and-bound procedure, Proceedings of the 20th Annual ACM Symp. on Theory of Computing, 290, 300.
13. Kumar V., Grama A., Vempaty N. Scalable load balancing techniques for parallel computers. J. Parallel Distrib. Comput. 22:1994;60-79.
14. Lin F., Keller R. The gradient model load balancing method. IEEE Trans. Software Engrg. SE-13:1987.
15. R. Lüling, B. Monien, 1992, Load balancing for distributed branch-and-bound, Proceedings of 6th Int. Parallel Processing Symposium, 543, 548.
16. P. Marenzoni, S. Caselli, G. Conte, June 1997, Analysis of large GSPN models: a distributed solution tool, Proceedings of the 7th Int. Workshop on Petri-Net and Performance Models, Saint Malo, France, 122, 131, IEEE Comput. Soc. Los Alamitos, CA.
17. D. Nicol, April 1992, Communication efficient global load balancing, Proceedings of the 1992 Scalable High Performance Computing Conference, IEEE Press, New York.
18. Nicol D. Non-committal barrier synchronization. Parallel Comput. 21:1995;529-549.
19. Nicol D., Simha R., Towsley D. Static assignment of stochastic tasks using majorization. IEEE Trans. Comput. 45:1996;730-740.
20. Nicol D. M., Reynolds P. F. Jr. Optimal dynamic remapping of data parallel computations. IEEE Trans. Comput. 39:1990;206-219.
21. Nicol D. M., Saltz J. H. Dynamic remapping of parallel computations with varying resource demands. IEEE Trans. Comput. 37:1988;1073-1087.
22. Nicol D. M., Saltz J. H., Townsend J. Delay point schedules for irregular parallel computations. Internat. J. Parallel Progr. 18:1989;69-90.
23. Rao N., Kumar V. Parallel depth-first-search, part I: Implementation. Internat. J. Parallel Progr. 16:1987;479-499.
24. Ross H. S. Stochastic Processes. 1983;Wiley, New York.
25. Stankovic J. A. An application of bayesian decision theory to decentralized control of job scheduling. IEEE Trans. Comput. C-34:1985;117-130.
26. A. Sinha, L. V. Kale, April 1993, A load balancing strategy for prioritized execution of tasks, Proceedings of the 1993 Int. Parallel Processing Symposium, 230, 237, Newport Beach, CA.
27. Willebeek-LeMair M., Reeves A. Strategies for dynamic load balancing on highly parallel computers. IEEE Trans. Parallel Distrib. Systems. 4:1993;979-993.
28. Xu C.-Z., Lau F. Analysis of the generalized dimension exchange method for dynamic load balancing. J. Parallel Distrib. Comput. 16:1992;385-393.
29. Xu C.-Z., Lau F. Iterative dynamic load balancing in multicomputers. J. Oper. Res. Soc. 45:1994;786-796.