Export Citations
1 Results for: Book/Issue: PASCO '07: Proceedings of the 2007 international workshop on Parallel symbolic computation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,801,766 records)|Limit your search to The ACM Full-Text Collection (771,395 records)
Showing 1 - 1of1 Results
Select All
- ArticleJuly 2007
Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product
PASCO '07: Proceedings of the 2007 international workshop on Parallel symbolic computationPages 88–92https://doi.org/10.1145/1278177.1278191In [6], a new approach for certifying the correctness of program executions in hostile environments has been proposed. The authors presented probabilistic certification by massive attack detection through two algorithms MCT and EMCT. The execution to ...
