12 citations · 13 across the 2 of their papers we have counts for
3 papers
A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints
Krishna C. Kalagarla, Rahul Jain, Pierluigi Nuzzo
Constrained Markov Decision Processes (CMDPs) formalize sequential decision-making problems whose objective is to minimize a cost function while satisfying constraints on various c…
Profiling minisat based on user defined execution time -- GPROF
Shubhendra Pal Singhal, Sandeep Gupta, Pierluigi Nuzzo
This paper focuses on the explanation of the architecture of profilers particularly gprof and how to profile a program according to the user defined input of execution time . Gprof…
Toward Efficient Evaluation of Logic Encryption Schemes: Models and Metrics
Yinghua Hu, Vivek V. Menon, Andrew Schmidt +3
Research in logic encryption over the last decade has resulted in various techniques to prevent different security threats such as Trojan insertion, intellectual property leakage,…