Cuadro+ Thermal Simulator and Benchmarker simulates the thermal history of a chip being cooled by a heatsink and forced convection.
ReynoldsMark is Computational Fluid Dynamics software. It numerically computes a laminar flow field around a submerged body through a finite differencing and artificial compression schemes. The system's performance is assessed by measuring runtime.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).