|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids
Pune, India
September 11-September 15
ISBN: 0-7695-2678-0
| ASCII Text | x | ||
| C?assio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton D. S. Guerrero, "A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids," Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp. 226-235, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006. | |||
| BibTex | x | ||
| @article{ 10.1109/SEFM.2006.1, author = {C?assio L. Rodrigues and Paulo E. S. Barbosa and Jairson M. Cabral and Jorge C. A. de Figueiredo and Dalton D. S. Guerrero}, title = {A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids}, journal ={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)}, volume = {0}, year = {2006}, isbn = {0-7695-2678-0}, pages = {226-235}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.1}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) TI - A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids SN - 0-7695-2678-0 SP226 EP235 A1 - C?assio L. Rodrigues, A1 - Paulo E. S. Barbosa, A1 - Jairson M. Cabral, A1 - Jorge C. A. de Figueiredo, A1 - Dalton D. S. Guerrero, PY - 2006 KW - null VL - 0 JA - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.1
A strategy for exploring distributed state spaces using computational grids that run bag-of-task applications is discussed. The main idea is to use computational grid tools as a layer between the verification tool and the distributed shared resources, aggregating the vast background developed by researchers in grid computing. Hence, the computational grid deals with resource scalability, computational speedup, and reliability in a transparent manner for the verification tool. Experimental results using a state space generation tool for an object-oriented Petri nets and the OurGrid solution show that is possible to achieve speedup applying it to a private network environment. Moreover, when a wide distributed community is considered, the model size can be increased several times.
Citation:
C?assio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton D. S. Guerrero, "A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids," sefm, pp.226-235, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.