Modeling Ion Channel Kinetics with HPC | IEEE Conference Publication | IEEE Xplore