Mukesh Sharma

dblp:25/355 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
1since 2021 · last 2022
—ORCID · conflict

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

Systems, architecture and hardware · 2 · 1 first-authorArtificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021Theory of computation · 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 · 94% Processor architecture and microarchitecture · 6%

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

TopicWeightPapersLastEvidence papers
Electronic design automation › hardware verification and test › hardware verification
assertion-based verification
0.112008
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008
Electronic design automation › hardware verification and test
formal verification
0.112008
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008
Electronic design automation
hardware verification and test
0.112008
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008
Electronic design automation › hardware verification and test
processor verification
0.112008
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008
Electronic design automation › hardware verification and test › hardware verification
property checking
0.112008
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008
Processor architecture and microarchitecture › multithreading
chip multithreading
0.012008
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008

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

simulation-based verification · 0.1formal verification · 0.1assertion checking · 0.1
YearPublicationVenuePosition
2022 Transformer Networks for Non-Intrusive Speech Quality Prediction
abstract
This paper presents the details of our speech quality prediction system submitted to the Conferencing Speech-2022 challenge.The challenge involved the task of non-intrusive speech quality assessment intended for online conferencing applications.We propose two approaches for speech quality prediction in this work.The first approach uses a combination of deep convolutional neural network (CNN) and LSTM neural network with Kullback-Leibler (KL) loss function and cross entropy (CE) loss function for estimating the mean opinion scores (MOS).Our second approach uses transformer based encoder network before applying attention pooling.We observe that our proposed second method gives significant improvements compared to our first method as well as on the baselines provided by the challenge organizers with respect to Pearson Correlation Coefficient (PCC) and Spearman Rank Correlation Coefficient (SRCC) along with reductions in root mean square error (RMSE).The model is also seen to generalize for unseen data resources on the evaluation dataset.
M. K. Jayesh, Mukesh Sharma, Praneeth Vonteddu, M. Ali Basha Shaik, Sriram Ganapathy
INTERSPEECH2
2008 Assertion-based verification of a 32 thread SPARCTM CMT microprocessor
abstract
Exhaustive property checking, design defect isolation and functional coverage measurement are some of the key challenges of design verification. This paper describes how an assertion based approach successfully addressed these challenges for the verification of an enterprise class chip-multi-threaded (CMT) SPARC™ microprocessor. Methodology and experiences are discussed and recommendations are made on how to incorporate this into the design verification process. Experience with using assertion checks for formal verification as well as simulation based verification is presented, which is part of over 100 person year design verification effort.
Babu Turumella, Mukesh Sharma
DAC2
1999 A Low-Power, High-Speed Implementation of a PowerPC(tm) Microprocessor Vector Extension
abstract
The AltiVec/sup TM/ technology is an extension to the PowerPC architecture/sup TM/ which provides new computational and storage operations for handling vectors of various data lengths and data types. The first implementation using this technology is a low-cost, low-power processor based on the acclaimed PowerPC 750/sup TM/ microprocessor. This paper describes the microarchitecture and design of the vector arithmetic unit of this implementation.
Martin S. Schmookler, Michael Putrino, Anh Mather, Jon Tyler, Huy Van Nguyen, Charles Roth, Mukesh Sharma, Mydung N. Pham, Jeff Lent
IEEE Symposium on Computer Arithmetic7
1993 Decremental Scattering for Data Transport Between Host and Hypercube Nodes
abstract
There are many parallel signal processing algorithms that are I/O bound. For such algorithms, fast data and program diStribution is very important. In this paper we study a new strategy for data: distribuUonfiom host to MIMD hypercube nodes. This strategy, based on scatteeng on hypercubes of decremental dimensions, perform much better than other strategies known today. It optimizes both the host and node utilization and also exploits the possible overlap in data sent i o different nodes.
Mukesh Sharma, Meghanad D. Wagh
ICPP (2)1