6 citations · 12 across the 8 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.GL2016★ 2 cited
Philosophical Solution to P=?NP: P is Equal to NP
Steven Meyer
The P=?NP problem is philosophically solved by showing P is equal to NP in the random access with unit multiply (MRAM) model. It is shown that the MRAM model empirically best model…
cs.PL2016★ 2 cited
CVC Verilog Compiler -- Fast Complex Language Compilers Can be Simple
Steven Meyer
This paper explains how to develop Verilog hardware description language (HDL) optimized flow graph compiled simulators. It is claimed that the methods and algorithms described her…