Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDP. P. Chakrabarti
Partha Pratim Chakrabarti
Person information
- affiliation: Indian Institute of Technology, Kharagpur
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[i6]Gaurav Suryawanshi, Varun Madhavan, Adway Mitra, Partha Pratim Chakrabarti:
City-scale Simulation of Covid-19 Pandemic and Intervention Policies using Agent-based Modelling. CoRR abs/2104.01650 (2021)- 2020
- [i5]Ginju V. George, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. CoRR abs/2005.00995 (2020)
2010 – 2019
- 2019
- [j85]Surender Baswana, Partha Pratim Chakrabarti, Sharat Chandran
, Yashodhan Kanoria, Utkarsh Patange:
Centralized Admissions for Engineering Colleges in India. INFORMS J. Appl. Anal. 49(5): 338-354 (2019) - [c96]Sohini Saha, Debraj Kundu, Sudip Roy, Sukanta Bhattacharjee, Krishnendu Chakrabarty, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips. ASP-DAC 2019: 462-467 - [c95]Surender Baswana, Partha Pratim Chakrabarti, Sharat Chandran, Yashodhan Kanoria, Utkarsh Patange:
Centralized Admissions for Engineering Colleges in India. EC 2019: 323-324 - [i4]Surender Baswana, P. P. Chakrabarti, Yashodhan Kanoria, Utkarsh Patange, Sharat Chandran:
Joint Seat Allocation 2018: An algorithmic perspective. CoRR abs/1904.06698 (2019) - 2018
- [j84]Shalu, Srijan Kumar, Ananya Singla, Sudip Roy, Krishnendu Chakrabarty, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Demand-Driven Single- and Multitarget Mixture Preparation Using Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 23(4): 55:1-55:26 (2018) - 2017
- [j83]Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti:
RELSPEC: a framework for reliability aware design of component based embedded systems. Des. Autom. Embed. Syst. 21(1): 37-87 (2017) - [j82]Sikhar Patranabis, Abhishek Chakraborty, Debdeep Mukhopadhyay, Partha Pratim Chakrabarti:
Fault Space Transformation: A Generic Approach to Counter Differential Fault Analysis and Differential Fault Intensity Analysis on AES-Like Block Ciphers. IEEE Trans. Inf. Forensics Secur. 12(5): 1092-1102 (2017) - [c94]Anshuman Tripathi, Arnab Sarkar, P. P. Chakrabarti:
Migration Aware Low Overhead ERfair Scheduler. VLSI Design 2017: 219-224 - 2016
- [j81]Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Formal assessment of reliability specifications in embedded cyber-physical systems. J. Appl. Log. 18: 71-104 (2016) - [j80]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
Anytime pack search. Nat. Comput. 15(3): 395-414 (2016) - [j79]Piyoosh Purushothaman Nair, Arnab Sarkar, N. M. Harsha, Megha Gandhi, P. P. Chakrabarti, Sujoy Ghose:
ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems. ACM Trans. Design Autom. Electr. Syst. 22(1): 19:1-19:25 (2016) - 2015
- [j78]Sudip Roy, Partha Pratim Chakrabarti, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
Waste-aware single-target dilution of a biochemical fluid using digital microfluidic biochips. Integr. 51: 194-207 (2015) - [j77]Sudip Roy, Partha Pratim Chakrabarti, Srijan Kumar, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
Layout-Aware Mixture Preparation of Biochemical Fluids on Application-Specific Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 20(3): 45:1-45:34 (2015) - [c93]Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta:
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC 2015: 385-392 - [i3]Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta:
Multi-mode Sampling Period Selection for Embedded Real Time Control. CoRR abs/1506.08538 (2015) - [i2]Sikhar Patranabis, Abhishek Chakraborty, Debdeep Mukhopadhyay, P. P. Chakrabarti:
Using State Space Encoding To Counter Biased Fault Attacks on AES Countermeasures. IACR Cryptol. ePrint Arch. 2015: 806 (2015) - 2014
- [j76]Satya Gautam Vadlamudi, Partha Pratim Chakrabarti:
Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection. IEEE Trans. Dependable Secur. Comput. 11(1): 45-58 (2014) - [c92]Sudip Roy, Srijan Kumar, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya, Krishnendu Chakrabarty:
Demand-Driven Mixture Preparation and Droplet Streaming using Digital Microfluidic Biochips. DAC 2014: 144:1-144:6 - [c91]Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta:
Synthesis of sampling modes for adaptive control. ICCSCE 2014: 294-299 - [i1]Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. CoRR abs/1401.5852 (2014) - 2013
- [j75]Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta:
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. IEEE Embed. Syst. Lett. 5(1): 8-11 (2013) - [j74]Satya Gautam Vadlamudi, Sandip Aine, P. P. Chakrabarti:
Incremental Beam search. Inf. Process. Lett. 113(22-24): 888-893 (2013) - [c90]M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Handling fault detection latencies in automata-based scheduling for embedded control software. CACSD 2013: 1-6 - [c89]Srijan Kumar, Sudip Roy, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya, Krishnendu Chakrabarty:
Efficient mixture preparation on digital microfluidic biochips. DDECS 2013: 205-210 - [c88]Anshul Gupta, Aurosish Mishra, Satya Gautam Vadlamudi, P. P. Chakrabarti, Sudeshna Sarkar, Tridib Mukherjee, Nathan Gnanasambandam:
A Mobility Simulation Framework Of Humans With Group Behavior Modeling. ICDM 2013: 1067-1072 - [c87]Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. IJCAI 2013: 3156-3160 - [c86]Sudip Roy, Partha Pratim Chakrabarti, Srijan Kumar, Bhargab B. Bhattacharya, Krishnendu Chakrabarty:
Routing-aware resource allocation for mixture preparation in digital microfluidic biochips. ISVLSI 2013: 165-170 - [c85]Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta:
Ordered Solution Generation for Implicit AND/OR Search Spaces. PReMI 2013: 581-586 - [c84]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
Anytime Pack Heuristic Search. PReMI 2013: 628-634 - [c83]Sunandita Patra, Satya Gautam Vadlamudi, Partha Pratim Chakrabarti:
Anytime Contract Search. SGAI Conf. 2013: 139-155 - [c82]Saptarshi Roy, Amit Patra, Partha Pratim Chakrabarti, Purnendu Sinha, Dipankar Das:
Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks. VLSI Design 2013: 19-24 - 2012
- [j73]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Cohesive Coverage Management: Simulation Meets Formal Methods. J. Electron. Test. 28(4): 449-468 (2012) - [j72]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
SAT based timing analysis for fixed and rise/fall gate delay models. Integr. 45(4): 357-364 (2012) - [j71]Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. J. Artif. Intell. Res. 44: 275-333 (2012) - [j70]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes 37(1): 1-14 (2012) - [j69]Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta:
Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults. ACM Trans. Design Autom. Electr. Syst. 17(4): 47:1-47:20 (2012) - [j68]Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar:
Online Scheduling of Dynamic Task Graphs with Communication and Contention for Multiprocessors. IEEE Trans. Parallel Distributed Syst. 23(1): 126-133 (2012) - [c81]Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta:
Anytime Algorithms for Biobjective Heuristic Search. Australasian Conference on Artificial Intelligence 2012: 230-241 - [c80]Satya Gautam Vadlamudi, Piyush Gaurav, Sandip Aine, Partha Pratim Chakrabarti:
Anytime Column Search. Australasian Conference on Artificial Intelligence 2012: 254-265 - [c79]Satya Gautam Vadlamudi, Partha Pratim Chakrabarti, Sudeshna Sarkar:
Anytime Algorithms for Mining Groups with Maximum Coverage. AusDM 2012: 209-220 - [c78]Vishal Shrivastav, Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha:
Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults. ISED 2012: 167-171 - [c77]Sudip Roy, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Algorithms for On-Chip Solution Preparation Using Digital Microfluidic Biochips. ISVLSI 2012: 7-8 - [c76]Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta:
Execution Ordering in AND/OR Graphs with Failure Probabilities. SOCS 2012 - [c75]Sathyam K. Pattanam, P. P. Chakrabarti, Mahesh Mahendale, Srikanth Jadcherla, Seer Akademi, Vikas Gautham, Raju Bala Showry Pudota:
Panel Discussion: SoC Realization - A Bridge to New Horizons or a Bridge to Nowhere? VLSI Design 2012: 38 - 2011
- [j67]Arnab Sarkar, A. Shanker, Sujoy Ghose, P. P. Chakrabarti:
A Low-Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems. IEEE Embed. Syst. Lett. 3(1): 5-8 (2011) - [j66]Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti:
Sticky-ERfair: a task-processor affinity aware proportional fair scheduler. Real Time Syst. 47(4): 356-377 (2011) - [j65]Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti:
A Corrigendum to: "Sticky-ERfair: a task-processor affinity aware proportional fair scheduler". Real Time Syst. 47(4): 382-385 (2011) - [j64]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
$\hbox {MAWA}^{\ast }$ - A Memory-Bounded Anytime Heuristic-Search Algorithm. IEEE Trans. Syst. Man Cybern. Part B 41(3): 725-735 (2011) - [c74]Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha:
A framework for early stage quality-fault tolerance analysis of embedded control systems. DSN 2011: 315-322 - [c73]Dipankar Das, P. P. Chakrabarti, Purnendu Sinha:
Robust embedded software design through early analysis of quality faults. ISEC 2011: 31-40 - [c72]Sudip Roy, Bhargab B. Bhattacharya, Partha Pratim Chakrabarti, Krishnendu Chakrabarty:
Layout-Aware Solution Preparation for Biochemical Analysis on a Digital Microfluidic Biochip. VLSI Design 2011: 171-176 - 2010
- [j63]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Heuristic search under contract. Comput. Intell. 26(4): 386-419 (2010) - [j62]Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose:
Partition oriented frame based fair scheduler. J. Parallel Distributed Comput. 70(7): 707-718 (2010) - [j61]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Bounded delay timing analysis and power estimation using SAT. Microelectron. J. 41(5): 317-324 (2010) - [j60]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Thermal analysis of multiprocessor SoC applications by simulation and verification. ACM Trans. Design Autom. Electr. Syst. 15(2): 15:1-15:52 (2010) - [c71]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Contract Search: Heuristic Search under Node Expansion Constraints. ECAI 2010: 733-738 - [c70]Sandip Aine, P. P. Chakrabarti:
An analysis of breadth-first beam search using uniform cost trees. ISAIM 2010 - [c69]Arnab Sarkar, Rahul Nanda, Sujoy Ghose, P. P. Chakrabarti:
Safe-ERfair. VLSI Design 2010: 128-133 - [c68]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Coverage Management with Inline Assertions and Formal Test Points. VLSI Design 2010: 140-145 - [c67]Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta:
Accelerating Synchronous Sequential Circuits Using an Adaptive Clock. VLSI Design 2010: 176-181
2000 – 2009
- 2009
- [j59]Sandip Aine, Rajeev Kumar, P. P. Chakrabarti:
Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off. Appl. Soft Comput. 9(2): 527-540 (2009) - [j58]Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti:
Design intent coverage revisited. ACM Trans. Design Autom. Electr. Syst. 14(1): 9:1-9:32 (2009) - [j57]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Scenario-based timing verification of multiprocessor embedded applications. ACM Trans. Design Autom. Electr. Syst. 14(3): 37:1-37:58 (2009) - [c66]Arnab Sarkar, Sarthak Swaroop, Sujoy Ghose, Partha Pratim Chakrabarti:
ERfair Scheduler with Processor Shutdown. HiPC 2009: 4-12 - [c65]Partha Pratim Chakrabarti, Sandip Aine:
New Approaches to Design and Control of Time Limited Search Algorithms. PReMI 2009: 1-6 - [c64]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design 2009: 71-76 - 2008
- [j56]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst. 13(4): 62:1-62:31 (2008) - [j55]Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar:
Simulation-based verification using Temporally Attributed Boolean Logic. ACM Trans. Design Autom. Electr. Syst. 13(4): 63:1-63:52 (2008) - [j54]Pravanjan Choudhury, Rajeev Kumar, P. P. Chakrabarti:
Hybrid Scheduling of Dynamic Task Graphs with Selective Duplication for Multiprocessors under Memory and Time Constraints. IEEE Trans. Parallel Distributed Syst. 19(7): 967-980 (2008) - [j53]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Satisfiability Models for Maximum Transition Power. IEEE Trans. Very Large Scale Integr. Syst. 16(8): 941-951 (2008) - [c63]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA 2008: 222-227 - [c62]Partha Pratim Chakrabarti:
Approaches to Design Intent Verification. ICIIS 2008: 1 - [c61]Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan:
Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI 2008: 251-256 - 2007
- [j52]Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta:
Statistical static timing analysis using symbolic event propagation. IET Circuits Devices Syst. 1(4): 283-291 (2007) - [j51]Bhaskar Pal, Arnab Sinha, Pallab Dasgupta, P. P. Chakrabarti, Kaushik De:
Hardware accelerated constrained random test generation. IET Comput. Digit. Tech. 1(4): 423-433 (2007) - [j50]Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
BUSpec: A framework for generation of verification aids for standard bus protocol specifications. Integr. 40(3): 285-304 (2007) - [j49]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
An Automated Meta-Level Control Framework for Optimizing the Quality-Time Tradeoff of VLSI Algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(11): 1992-2008 (2007) - [j48]Abhishek Somani, P. P. Chakrabarti, Amit Patra:
An Evolutionary Algorithm-Based Approach to Automated Design of Analog and RF Circuits Using Adaptive Normalized Cost Functions. IEEE Trans. Evol. Comput. 11(3): 336-353 (2007) - [j47]Tathagato Rai Dastidar, P. P. Chakrabarti:
A verification system for transient response of analog circuits. ACM Trans. Design Autom. Electr. Syst. 12(3): 31:1-31:39 (2007) - [j46]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Event propagation for accurate circuit delay calculation using SAT. ACM Trans. Design Autom. Electr. Syst. 12(3): 36:1-36:23 (2007) - [j45]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Functional verification of task partitioning for multiprocessor embedded systems. ACM Trans. Design Autom. Electr. Syst. 12(4): 44 (2007) - [c60]Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta:
Timing Analysis of Sequential Circuits Using Symbolic Event Propagation. ICCTA 2007: 151-157 - [c59]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
AWA* - A Window Constrained Anytime Heuristic Search Algorithm. IJCAI 2007: 2250-2255 - [c58]Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar:
Simulation Based Verification using Temporally Attributed Boolean Logic. VLSI Design 2007: 57-62 - [c57]Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar:
Online Dynamic Voltage Scaling using Task Graph Mapping Analysis for Multiprocessors. VLSI Design 2007: 89-94 - [c56]Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti:
A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. VLSI Design 2007: 95-102 - [c55]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Bounded Delay Timing Analysis Using Boolean Satisfiability. VLSI Design 2007: 295-302 - 2006
- [j44]Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar:
Frame-Based Proportional Round-Robin. IEEE Trans. Computers 55(9): 1121-1129 (2006) - [j43]Arijit Mondal, P. P. Chakrabarti:
Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(9): 1793-1814 (2006) - [j42]Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni:
Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(10): 1922-1934 (2006) - [c54]Dipankar Das, Rajeev Kumar, P. P. Chakrabarti:
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications. APSEC 2006: 199-208 - [c53]Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti:
Discovering the input assumptions in specification refinement coverage. ASP-DAC 2006: 13-18 - [c52]Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti:
Synthesis of system verilog assertions. DATE Designers' Forum 2006: 70-75 - [c51]Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti:
What lies between design intent coverage and model checking? DATE 2006: 1217-1222 - [c50]Rajeev Kumar, Rahul Chaudhry, Dipankar Das, Vibha Rathi, Subrat Kumar Panda, P. P. Chakrabarti:
SystemC Modeling and Validation of A RISC Processor System. FDL 2006: 189-197 - [c49]Abhishek Somani, P. P. Chakrabarti, Amit Patra:
A model-based hybrid evolutionary algorithm for fast yield-inclusive design space exploration of analog circuits. ISCAS 2006 - [c48]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE 2006: 198 - [c47]Diganchal Chakraborty, P. P. Chakrabarti, Arijit Mondal, Pallab Dasgupta:
A Framework for Estimating Peak Power in Gate-Level Circuits. PATMOS 2006: 573-582 - [c46]Samik Das, P. P. Chakrabarti, Pallab Dasgupta:
Instruction-Set-Extension Exploration Using Decomposable Heuristic Search. VLSI Design 2006: 293-298 - [c45]Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar:
Frame Based Fair Multiprocessor Scheduler: A Fast Fair Algorithm for Real-Time Embedded Systems. VLSI Design 2006: 677-682 - [c44]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Improving the Performance of CAD Optimization Algorithms Using On-Line Meta-Level Control. VLSI Design 2006: 683-688 - 2005
- [j41]Rajeev Kumar, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti:
Post-compilation optimization for multiple gains with pattern matching. ACM SIGPLAN Notices 40(12): 14-23 (2005) - [j40]Tathagato Rai Dastidar, P. P. Chakrabarti, Partha Ray:
A synthesis system for analog circuits based on evolutionary search and topological reuse. IEEE Trans. Evol. Comput. 9(2): 211-224 (2005) - [j39]Arnab Roy, Subrat Kumar Panda, Rajeev Kumar, P. P. Chakrabarti:
A framework for systematic validation and debugging of pipeline simulators. ACM Trans. Design Autom. Electr. Syst. 10(3): 462-491 (2005) - [c43]Sandip Aine, Rajeev Kumar, P. P. Chakrabarti:
An Adaptive Framework for Solving Multiple Hard Problems Under Time Constraints. CIS (1) 2005: 57-64 - [c42]Abhishek Somani, Partha Pratim Chakrabarti, Amit Patra:
Mixing Global and Local Competition in Genetic Optimization based Design Space Exploration of Analog Circuits. DATE 2005: 1064-1069 - [c41]Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti:
Multiobjective EA Approach for Improved Quality of Solutions for Spanning Tree Problem. EMO 2005: 811-825 - [c40]Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti:
SAT based solutions for consistency problems in formal property specifications for open systems. ICCAD 2005: 885-888 - [c39]Sandip Aine, Rajeev Kumar, P. P. Chakrabarti:
Adaptive Control of Anytime Algorithm Parameters. IICAI 2005: 72-87 - [c38]Tathagato Rai Dastidar, P. P. Chakrabarti:
A Verification System for Transient Response of Analog Circuits Using Model Checking. VLSI Design 2005: 195-200 - [c37]Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix:
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design 2005: 201-206 - [c36]Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti:
Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. VLSI Design 2005: 213-218 - [c35]Abhishek Somani, P. P. Chakrabarti, Amit Patra:
A Hierarchical Cost Tree Mutation Approach to Optimization of Analog Circuits. VLSI Design 2005: 535-538 - [c34]Dipankar Das, Rajeev Kumar, P. P. Chakrabarti:
Dictionary Based Code Compression for Variable Length Instruction Encodings. VLSI Design 2005: 545-550 - 2004
- [j38]Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti:
The power of first-order quantification over states in branching and linear time temporal logics. Inf. Process. Lett. 91(5): 201-210 (2004) - [c33]Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix:
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? DATE 2004: 668-669 - [c32]Arijit Mondal, P. P. Chakrabarti, Chittaranjan A. Mandal:
A New Approach to Timing Analysis Using Event Propagation and Temporal Logic. DATE 2004: 1198-1203 - [c31]Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti:
Improved Quality of Solutions for Multiobjective Spanning Tree Problem Using Distributed Evolutionary Algorithm. HiPC 2004: 494-503 - [c30]Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni:
Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD 2004: 198-203 - [c29]Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti:
Multiobjective Genetic Search for Spanning Tree Problem. ICONIP 2004: 218-223 - [c28]Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti:
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. IWDC 2004: 102-113 - [c27]Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti:
Distributed Evolutionary Algorithm Search for Multiobjective Spanning Tree Problem. IWDC 2004: 538 - [c26]Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
The BUSpec platform for automated generation of verification aids for standard bus protocols. MEMOCODE 2004: 119-128 - [c25]