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

Rahul Malvi

dblp:53/5672 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1999
—ORCID · none

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

Systems, architecture and hardware · 1

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.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%
Theoretical computer science
1 paper
Graph algorithms and graph theory · 100%

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

TopicWeightPapersLastEvidence papers
Electronic design automation › logic synthesis
boolean function decomposition
0.011999
Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions · DAC 1999
Electronic design automation
logic synthesis
0.011999
Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions · DAC 1999
Graph algorithms and graph theory
graph coloring
0.011999
Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions · DAC 1999

Methods — techniques the papers use, named apart from their topics

graph coloring heuristics · 0.0exact graph coloring · 0.0
YearPublicationVenuePosition
1999 Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions
abstract
Finding the minimum column multiplicity for a bound set of variables is an important problem in Curtis decomposi-tion. To investigate this problem, we compared two graph-coloring programs: one exact, and another one based on heuristics which can give, however, provably exact results on some types of graphs. These programs were incorporated into the multi-valued decomposer MVGUD. We proved that the exact graph coloring is not necessary for high-quality functional decomposers. Thus we improved by orders of magnitude the speed of the column multiplicity problem, with very little or no sacrifice of decomposition quality. Comparison of our experimental results with competing de-composers shows that for nearly all benchmarks our solu-tions are best and time is usually not too high.
Marek A. Perkowski, Rahul Malvi, Stan Grygiel, Michael Burns, Alan Mishchenko
DAC2