Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Grid result checking
Germain-Renaud C., Monnier-Ragaigne D.  Computing frontiers (Proceedings of the 2nd Conference on Computing Frontiers, Ischia, Italy, May 4-6, 2005)87-96.2005.Type:Proceedings
Date Reviewed: Aug 5 2005

I’m not sure what I expected from this paper. What I got was a very mathematically mature description of verifying large data sets, the general inhabitants of grid computers. A physics case study is used, which fits well with the authors’ experience: one works with a linear accelerator and the other on computer research. Both authors are French, but the paper is well written and accurate. After reading the paper, readers will have another window into understanding Monte Carlo structures to reduce testing.

Reviewer:  J. E. Tomayko Review #: CR131636 (0606-0614)
Bookmark and Share
  Featured Reviewer  
 
Software/ Program Verification (D.2.4 )
 
 
Physics (J.2 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Software/Program Verification": Date
Verification of sequential and concurrent programs
Krzysztof R., Olderog E., Springer-Verlag New York, Inc., New York, NY, 1991. Type: Book (9780387975320)
Jul 1 1992
On verification of programs with goto statements
Lifschitz V. (ed) Information Processing Letters 18(4): 221-225, 1984. Type: Article
Mar 1 1985
The validation, verification and testing of software
Ince D. (ed), Oxford University Press, Inc., New York, NY, 1985. Type: Book (9789780198590040)
Sep 1 1987
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy