Author:
Wieczorek Bożena,Połomski Marcin,Pecka Piotr,Deorowicz Sebastian
Publisher
Springer International Publishing
Reference20 articles.
1. Baskaran, M., Bordawekar, R.: Optimizing sparse matrix-vector multiplication on GPUs using compile-time and run-time strategies. Tech. Rep. RC24704 (W0812-047), IBM Research Report (2008)
2. Bell, N., Garland, M.: Efficient sparse matrix-vector multiplication on cuda. Tech. Rep. NVR-2008-004, NVIDIA Technical Report (2008)
3. Berard, B., Bidoit, M., Finkel, A.: Systems and Software Verification: Model-Checking Techniques and Tools. Springer, Berlin (2001)
4. Bryant, R.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35, 677–691 (1986)
5. Ciura, M., Deorowicz, S.: How to squeeze a lexicon. Software–Practice and Experience 31, 1077–1090 (2001)