Search Results - "Ghosh, Priyankar"

Formal Guarantees for Localized Bug Fixes by Mitra, Srobona, Banerjee, Ansuman, Dasgupta, Pallab, Ghosh, Priyankar, Kumar, Harish

“…Bug traces produced in simulation serve as the basis for patching the RTL code in order to fix a bug. It is important to prove that the patch covers all…”
Get full text

DETERMINATION OF CLONAZEPAM IN HAIR AND NAIL USING LIQUID CHROMATOGRAPHY TANDEM MASS SPECTROMETRY (LC-MS/MS) by John, Cijo, Ghosh, Priyankar, Varshney, K. M., Kaur, Sukhminder, Shukla, S. K., Satyanarayana, S.

“…Clonazepam, (5-(2-Chlorophenyl)-7-nitro-1,3-dihydro-1,4-benzodiazepin-2-one), a nitrobenzodiazepine and a scheduled drug, is one of the most highly abused…”
Get full text

Cohesive Coverage Management: Simulation Meets Formal Methods by Hazra, Aritra, Ghosh, Priyankar, Dasgupta, Pallab, Chakrabarti, Partha Pratim

“…It has been advocated by many experts in design verification that the key to successful verification convergence lies in developing the verification plan with…”
Get full text

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures by Ghosh, P., Sharma, A., Chakrabarti, P.P., Dasgupta, P.

“…We present algorithms for generating alternative solutions for explicit acyclic AND/OR structures in non-decreasing order of cost. The proposed algorithms use…”
Get full text

Memory Footprint Optimization for Neural Network Inference in Mobile SoCs by Agrawal, Sakshi, Ghosh, Priyankar, Kumar, Gaurav, Radhika, Tripuraneni

“…In the last decade, deep neural networks (DNNs) have gained widespread acceptance and used heavily in mobile SoCs for performing complex tasks. Memory…”
Get full text

Simultaneous determination of methaqaulone, saccharin, paracetamol, and phenacetin in illicit drug samples by hplc by Idris, Mohd, John, Cijo, Ghosh, Priyankar, Shukla, Sudhir Kumar, Baggi, Tulsidas Ramachandra Rao

“…Background Saccharin, a low calorie artificial sweetener was found as a new diluent / adulterant present along with paracetamol and phenacetin in an illicit…”
Get full text

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications by Hazra, A., Ghosh, P., Vadlamudi, S. G., Chakrabarti, P. P., Dasgupta, P.

“…We present formal methods for determining whether a set of components with given reliability certificates for specific functional properties are adequate to…”
Get full text

Quantitative evaluation of sanguinarine as an index of argemone oil adulteration in edible mustard oil by high performance thin layer chromatography by Ghosh, Priyankar, Krishna Reddy, M.M., Sashidhar, R.B.

“…A simple analytical procedure based on HPTLC method was developed for the detection of argemone oil adulteration in edible mustard oil using sanguinarine as an…”
Get full text

Source identification of Indian opium based on chromatographic fingerprinting of amino acids by Krishna Reddy, M.M., Ghosh, Priyankar, Rasool, S.N., Sarin, R.K., Sashidhar, R.B.

“…Total and free pool of amino acids was determined in Indian opium samples using liquid chromatography (LC) with post-column o-pthalaldehyde derivatization…”
Get full text

Coverage Management with Inline Assertions and Formal Test Points by Hazra, A., Ghosh, P., Dasgupta, P., Chakrabarti, P.P.

“…This paper studies the problem of coverage management with two emerging formalisms in simulation based validation, namely formal specification of test points…”
Get full text

Quantitative evaluation of 28 mineral elements by inductively coupled plasma/mass spectrometry and its application in source identification of Indianopium by MUDIAM, Mohanakrishna R, KUMAR, Sanjukta A, MAHADEVAN, Sudhershanan, GHOSH, Priyankar, SARIN, Rajendra K, BEEDU, Sashidhar R

Get full text

Analysis and quantitation of diazepam in cream biscuits by high-performance thin-layer chromatography and its confirmation by mass spectrometry by Ghosh, Priyankar, Krishna Reddy, M.M., Ramteke, V.B., Sashidhar Rao, B.

“…An analytical methodology was developed for the detection and quantitation of diazepam in cream biscuits (food matrix constituting high amount of fat,…”
Get full text

Inline Assertions - Embedding Formal Properties in a Test Bench by Hazra, A., Ghosh, P., Dasgupta, P., Chakrabarti, P.P.

“…The scope of immediate assertions in SystemVerilog is restricted to Boolean properties, where as temporal properties are specified as concurrent assertions…”
Get full text

Detecting Ontological Conflicts in Protocols between Semantic Web Services by Ghosh, Priyankar, Dasgupta, Pallab

“…International Journal of Web & Semantic Technology (IJWest) Vol.1, Num.4, October 2010 The task of verifying the compatibility between interacting web services…”
Get full text

Quantitative evaluation of 28 mineral elements by inductively coupled plasma/mass spectrometry and its application in source identification of Indian Opium by Mudiam, M.R, Kumar, S.A, Mahadevan, S, Ghosh, P, Sarin, R.K, Beedu, S.R

“…An analytical method based on inductively coupled plasma/mass spectrometry (ICP/MS) was developed for the determination of 28 mineral elements (Cr, Mn, Co, Ni,…”
Get full text

HotSpot minimization using fine-grained DVS architecture at 90 nm technology by Mukherjee, Rajdeep, Ghosh, Priyankar, Pal, Ajit

“…Power and temperature has become the major design challenges in the development of today's complex low power digital integrated circuits due to the adverse…”
Get full text

Determination of diazepam in cream biscuits by liquid chromatography by GHOSH, Priyankar, MUDIAM MOHANAKRISHNA REDDY, BEEDU SASHIDHAR RAO, RAJENDRA KUMAR SARIN

“…An analytical procedure was developed for the detection and quantitation of diazepam in cream biscuits, which were used to commit crime. The method involves…”
Get full text

Genetic Algorithms: Stopping Times and a New Model by Ghosh, Priyankar

“…Mankind has been trying to solve optimization problems in different spheres of life. There have been several ways in which those problems have been attempted…”
Get full text

A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture by Mukherjee, Rajdeep, Ghosh, Priyankar, Dasgupta, Pallab, Pal, Ajit

“…The stringent power budget of fine grained power managed digital integrated circuits have driven chip designers to optimize power at the cost of area and…”
Get full text

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures by Ghosh, Priyankar, Sharma, Amit, Chakrabarti, P. P, Dasgupta, Pallab

“…Journal Of Artificial Intelligence Research, Volume 44, pages 275-333, 2012 We present algorithms for generating alternative solutions for explicit acyclic…”
Get full text