Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Pushkin R. Pari

dblp:70/4163 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
0since 2021 · last 2006
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 2 · 1 first-authorSystems, architecture and hardware · 2Graphics, computer vision, multimedia, augmented reality and games · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Automated reasoning and model checking · 33% Algorithms and data structures · 17% Computational complexity · 17%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › satisfiability › k-SAT
3-SAT
0.012004
Generating 'Random' 3-SAT Instances with Specific Solution Space Structure · AAAI 2004
Automata and formal languages
finite automata
0.012004
Finding Redundant Constraints for FSM Minimization · AAAI 2004
Graph algorithms and graph theory
graph algorithms
0.012004
Finding Redundant Constraints for FSM Minimization · AAAI 2004
Algorithms and data structures
randomized algorithms
0.012004
Generating 'Random' 3-SAT Instances with Specific Solution Space Structure · AAAI 2004
Computational complexity › constraint satisfaction › random constraint satisfaction
random SAT instance generation
0.012004
Generating 'Random' 3-SAT Instances with Specific Solution Space Structure · AAAI 2004
Automated reasoning and model checking
satisfiability
0.012004
Generating 'Random' 3-SAT Instances with Specific Solution Space Structure · AAAI 2004
YearPublicationVenuePosition
2006 Dual-Processor Design of Energy Efficient Fault-Tolerant System
abstract
A popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the primary copy. If there is no fault, the secondary processor terminates its execution. Otherwise, should the fault occur, the second processor continues and completes the application before its deadline. In this paper, we study the energy efficiency of such dualprocessor system. Specifically, we first derive an optimal static voltage scaling policy for single periodic task. We then extend it to multiple periodic tasks based on worst case execution time (WCET) analysis. Finally, we discuss how to further reduce system's energy consumption at run time by taking advantage of the actual execution time which is less than the WCET. Simulation on real-life benchmark applications shows that our technique can save up to 80% energy while still providing fault tolerance.
Shaoxiong Hua, Pushkin R. Pari, Gang Qu 0001
ASAP2
2004 Generating 'Random' 3-SAT Instances with Specific Solution Space Structure
Pushkin R. Pari, Gang Qu 0001
AAAI1
2004 Finding Redundant Constraints for FSM Minimization
Pushkin R. Pari, Gang Qu 0001
AAAI2
2003 Zero overhead watermarking technique for FPGA designs
abstract
FPGAs, because of their re-programmability, are becoming very popular for creating and exchanging VLSI intellectual properties (IPs) in the reuse-based design paradigm. Existing watermarking and fingerprinting techniques successfully embed identification information into FPGA designs to deter IP infringement. However, such methods incur timing and/or resource overhead, unpredictable at times, which causes performance degradation. In this paper, we propose a new FPGA watermarking technique that guarantees zero design overhead. Our approach consists of two phases. First we design as usual to obtain the best, possible, quality IP. Then we map the required signature to additional timing constraints on carefully selected nets and redo a small portion of the design (e.g. place and route). The FPGA configuration bitstream for the resulting watermarked design will be significantly different from the original design, which provides us with a strong proof of authorship. The watermarking technique has zero design overhead because it is developed to maintain the performance of the design from the first phase. This is demonstrated by applying the proposed technique on several real-life FPGA designs, which range in size from a few thousand to more than two million gates, on Xilinx devices.
Adarsh K. Jain, Pushkin R. Pari, Gang Qu 0001
ACM Great Lakes Symposium on VLSI3