Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Priyankar Ghosh"'
Publikováno v:
Proceedings of the International Symposium on Combinatorial Search. 3:41-48
In this paper we consider finding solutions for problems represented using AND/OR graphs, which contain tasks that can fail when executed. In our setting each node represent an atomic task which is associated with a failure probability and a rollback
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f6cbb4debd52228ec5c9c78527a6366
https://doi.org/10.1609/socs.v3i1.18246
https://doi.org/10.1609/socs.v3i1.18246
Publikováno v:
Journal of Liquid Chromatography & Related Technologies. 37:1917-1928
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 drugs in recent times. A sensitive analytical methodology using Liquid Chromatography tandem Ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba8e05681ff95aaceb16ee530d44ffc4
https://doi.org/10.1080/10826076.2013.825851
https://doi.org/10.1080/10826076.2013.825851
Publikováno v:
Journal of Low Power Electronics. 9:350-362
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 effect of these parameters on performance, reliability, cooling and packing costs, as well as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43d0bb7761cf34e31888e8b210ad593d
https://doi.org/10.1166/jolpe.2013.1262
https://doi.org/10.1166/jolpe.2013.1262
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 32:1274-1287
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 instances of the bug scenario; otherwise, the bug may return with a different valuation of the va
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adebc6baacee2da1351d5b096490d98e
https://doi.org/10.1109/tcad.2013.2252055
https://doi.org/10.1109/tcad.2013.2252055
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications
Publikováno v:
IEEE Embedded Systems Letters. 5:8-11
We present formal methods for determining whether a set of components with given reliability certificates for specific functional properties are adequate to guarantee desired end-to-end properties with specified reliability requirements. We introduce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f925d00976e76b1f26e36390be1f883
https://doi.org/10.1109/les.2013.2239605
https://doi.org/10.1109/les.2013.2239605
Publikováno v:
Journal of Artificial Intelligence Research. 44:275-333
We present algorithms for generating alternative solutions for explicit acyclic AND/OR structures in non-decreasing order of cost. The proposed algorithms use a best first search technique and report the solutions using an implicit representation ord
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::425ec8fa42ffa3ba3c288fe9034448a5
https://doi.org/10.1613/jair.3576
https://doi.org/10.1613/jair.3576
Publikováno v:
Journal of Electronic Testing. 28:449-468
It has been advocated by many experts in design verification that the key to successful verification convergence lies in developing the verification plan with adequate formal rigor. Traditionally, the verification plans for simulation and formal prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffe9086c0beb071395ea501c89193ad1
https://doi.org/10.1007/s10836-012-5308-1
https://doi.org/10.1007/s10836-012-5308-1
Autor:
Rahul Gonnabhaktula, Niraj Bhilegaonkar, Priyankar Ghosh, Chittaranjan Mandal, Krishna Paul, Aritra Hazra, Pallab Dasgupta
Publikováno v:
Journal of Low Power Electronics. 8:293-303
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::88e06c80547f36a98a23d14dd237c570
https://doi.org/10.1166/jolpe.2012.1193
https://doi.org/10.1166/jolpe.2012.1193
Autor:
Sashidhar Rao Beedu, Priyankar Ghosh, Rajendra Kumar Sarin, Sudhershanan Mahadevan, Mohanakrishna R Mudiam, Sanjukta A. Kumar
Publikováno v:
Journal of AOAC INTERNATIONAL. 88:1469-1484
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, Cu, Zn, Ga, Sr, Cd, Ag, Ba, Pb, Bi Y, La, Ce, Nd, Pr, Sm, Eu, Gd, Tb, Dy, Ho, Er, Tm, Yb,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1da3333be2c195a10ef23690b1c1d101
https://doi.org/10.1093/jaoac/88.5.1469
https://doi.org/10.1093/jaoac/88.5.1469
Publikováno v:
Food Chemistry. 91:757-764
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 index of argemone oil adulteration (measured as % adulteration). The methodology required
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44453aeb6fe9a1db0318db7b7a1ffd41
https://doi.org/10.1016/j.foodchem.2004.10.012
https://doi.org/10.1016/j.foodchem.2004.10.012