scispace - formally typeset
S

Sharad Malik

Researcher at Imperial College London

Publications -  621
Citations -  40406

Sharad Malik is an academic researcher from Imperial College London. The author has contributed to research in topics: Large Hadron Collider & Standard Model. The author has an hindex of 95, co-authored 615 publications receiving 37258 citations. Previous affiliations of Sharad Malik include University at Buffalo & University of California, Berkeley.

Papers
More filters
Proceedings ArticleDOI

Chaff: engineering an efficient SAT solver

TL;DR: The development of a new complete solver, Chaff, is described which achieves significant performance gains through careful engineering of all aspects of the search-especially a particularly efficient implementation of Boolean constraint propagation (BCP) and a novel low overhead decision strategy.
Journal ArticleDOI

Power analysis of embedded software: a first step towards software power minimization

TL;DR: A power analysis technique is developed that has been applied to two commercial microprocessors and can be employed to evaluate the power cost of embedded software and can help in verifying if a design meets its specified power constraints.
Proceedings ArticleDOI

Efficient conflict driven learning in a boolean satisfiability solver

TL;DR: This paper generalizes various conflict driven learning strategies in terms of different partitioning schemes of the implication graph to re-examine the learning techniques used in various SAT solvers and propose an array of new learning schemes.
Journal ArticleDOI

Determination of jet energy calibration and transverse momentum resolution in CMS

S. Chatrchyan, +2271 more
TL;DR: In this article, the transverse momentum balance in dijet and γ/Z+jets events is used to measure the jet energy response in the CMS detector, as well as the transversal momentum resolution.
Proceedings ArticleDOI

Orion: a power-performance simulator for interconnection networks

TL;DR: Orion is presented, a power-performance interconnection network simulator that is capable of providing detailed power characteristics, in addition to performance characteristics, to enable rapid power- performance trade-offs at the architectural-level.