Formal verification of distributed dynamic thermal management
Proceedings of the International Conference on Computer-Aided Design
Hi-index | 4.10 |
Gradually introducing some simple features will eventually result in a global improvement in the software development situation.