The linux kernel has many version releases and within that there are many variations based on custom patches. Unforuntately I don't know anything about what youre asking really, only that there are probaby several patches available, or even a scienctific biased dsitro, might be worth checking distrowatch
Because of the nature of the linux kernel, modular and open source, people can patch it and use it almost anywhere for anything.
No help, sorry, but maybe someone else knows more specifically
You can search
on distrowatch for linux distro types ie scientific, may turn up a result as well as the "High Performance" section within search. Turned up this