This paper continues the investigation of the connection between probabilistically checkable proofs (PCPs) and the approximability of NP-optimization problems. The emphasis is on p...
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
Virtual reality based surgical simulators offer the possibility to provide training on a wide range of findings of different pathologies. Current research aims at a high fidelity h...
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
Clock selection has a significant impact on the performance and quality of designs in high-level synthesis. In most synthesis systems, a convenient value of the clock is chosen or...
J. Ramanujam, Sandeep Deshpande, Jinpyo Hong, Mahm...