238 results on '"Pradhan, D.K."'
Search Results
202. Recent advances in verification, equivalence checking & SAT solvers
203. Wormhole routing in de Bruijn networks and hyper-de Bruijn networks
204. Logic transformation and coding theory-based frameworks for Boolean satisfiability
205. Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization
206. Location management in distributed mobile environments
207. Yield modeling and optimization of large redundant RAMs
208. Improving performance of TCP over wireless networks
209. Mathematical framework for representing discrete functions as word-level polynomials
210. A Low Power 128-pt Implementation of FFT/IFFT for High Performance Wireless Personal Area Networks
211. A fast and efficient strategy for submesh allocation in mesh-connected parallel computers
212. A design for testability scheme to reduce test application time in full scan
213. Recursive Learning: An attractive alternative to the decision tree for test generation in digital ci
214. Functional learning: a new approach to learning in digital circuits
215. VERILAT: verification using logic augmentation and transformations
216. Logic insertion to speed-up logic verification: a recent development
217. Roll-forward and rollback recovery: performance-reliability trade-off
218. Optimal broadcasting in binary de Bruijn networks and hyper-deBruijn networks
219. Fault-Tolerant Computing: An Introduction
220. C-testable S-box implementation for secure advanced encryption standard.
221. Fault Tolerant Reversible Finite Field Arithmetic Circuits.
222. Highly Reliable Power Aware Memory Design.
223. Reuse-based test access and integrated test scheduling for network-on-chip.
224. Thermal-aware testing of network-on-chip using multiple-frequency clocking.
225. Comparative study of CA with phase shifters and GLFSRs.
226. MODD: a new decision diagram and representation for multiple output binary functions.
227. Wormhole routing in de Bruijn networks and hyper-de Bruijn networks.
228. Aliasing and Diagnosis Probability in MISR and STUMPS Using a General Error Model.
229. High level synthesis of data driven ASICs.
230. Signal transition graph transformations for initializability.
231. Bit-serial generalized median filters.
232. SHIFT REGISTERS DESIGNED FOR ON-LINE FAULT DETECTION.
233. Recursive Learning: An attractive alternative to the decision tree for test generation in digital ci.
234. Dielectric and impedance spectroscopy of zirconium modified (Na0.5Bi0.5)TiO3 ceramics
235. Solution combustion synthesis and physicochemical characterization of ZrO2–MoO3 nanocomposite oxides prepared using different fuels
236. Derivation of Reduced Test Vectors for Bit-Parallel Multipliers over GF(2m).
237. Structural, microstructural and electrical studies of La and Cu doped BaTiO3 ceramics
238. Structural characteristics and electrochemical performance of layered Li[Mn0.5−x Cr2x Ni0.5−x ]O2 cathode materials
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.