共 50 条
- [5] Speed-up estimation for HW/SW-systems [J]. FOURTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CO-DESIGN (CODES/CASHE '96), PROCEEDINGS, 1996, : 36 - 43
- [6] A Speed-Up of the Algorithm for Computing Comprehensive Grobner Systems [J]. ISSAC 2007: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2007, : 299 - 306
- [8] EFFECTIVE SPEED-UP AND LONG PROOFS OF TRIVIAL THEOREMS IN FORMAL THEORIES [J]. REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1976, 10 (03): : 29 - 38
- [9] DRAM System Simulation Speed-up by Effective-cycle Selection [J]. 2014 INTERNATIONAL SYMPOSIUM ON COMPUTER, CONSUMER AND CONTROL (IS3C 2014), 2014, : 1053 - 1056