共 50 条
- [2] PARALLEL BLACK-BOX MULTIGRID PROCEEDINGS OF THE FOURTH COPPER MOUNTAIN CONFERENCE ON MULTIGRID METHODS, 1989, : 255 - 272
- [7] A Black-Box Multigrid Preconditioner for the Biharmonic Equation BIT Numerical Mathematics, 2004, 44 : 151 - 163
- [8] A SET OF 3 DRIVERS FOR BOXMG - A BLACK-BOX MULTIGRID SOLVER COMMUNICATIONS IN APPLIED NUMERICAL METHODS, 1992, 8 (09): : 563 - 571
- [9] Probabilistic verification for "black-box" systems COMPUTER AIDED VERIFICATION< PROCEEDINGS, 2005, 3576 : 253 - 265