6 citations · 6 across the 12 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.AR2016
Neutron induced strike: On the likelihood of multiple bit-flips in logic circuits
Nanditha P. Rao, Madhav P. Desai
High energy particles from cosmic rays or packaging materials can generate a glitch or a current transient (single event transient or SET) in a logic circuit. This SET can eventual…
cs.PF2016
On Continuous-space Embedding of Discrete-parameter Queueing Systems
Neha Karanjkar, Madhav P. Desai, Shalabh Bhatnagar
Motivated by the problem of discrete-parameter simulation optimization (DPSO) of queueing systems, we consider the problem of embedding the discrete parameter space into a continuo…
cs.CC2016
Projective cofactor decompositions of Boolean functions and the satisfiability problem
Madhav Desai, Virendra Sule
Given a CNF formula , we present a new algorithm for deciding the satisfiability (SAT) of and computing all solutions of assignments. The algorithm is based on the concept o…