Numerical analysis of memristor-based circuits with semi-implicit methods | IEEE Conference Publication | IEEE Xplore