16 citations · 20 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CC2017★ 16 cited
Barriers for Rank Methods in Arithmetic Complexity
Klim Efremenko, Ankit Garg, Rafael Oliveira +1
Arithmetic complexity is considered simpler to understand than Boolean complexity, namely computing Boolean functions via logical gates. And indeed, we seem to have significantly m…
cs.OS2017★ 2 cited
Adapting the DMTCP Plugin Model for Checkpointing of Hardware Emulation
Rohan Garg, Kapil Arya, Jiajun Cao +5
Checkpoint-restart is now a mature technology. It allows a user to save and later restore the state of a running process. The new plugin model for the upcoming version 3.0 of DMTCP…