Researcher profile

Himanshu Chauhan

Himanshu Chauhan contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2014arXiv

ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism

We present a set of novel ideas on design and implementation of monitor objects for multi-threaded programs. Our approach has two main goals: (a) increase parallelism in monitor objects and thus provide performance gains (shorter runtimes) for multi-threaded programs, and (b) introduce constructs that allow programmers to easily write monitor-based multi-threaded programs that can achieve these performance gains. We describe the concepts of our framework, called ActiveMonitor, and its prototype implementation using futures. We evaluate its performance in terms of runtimes of multi-threaded programs on linked-list, bounded-buffer, and other fundamental problems implemented in Java. We compare the runtimes of our implementation against implementations using Java's reentrant locks, recently proposed automatic signaling framework AutoSynch, and some other techniques from the literature. The results of of the evaluation indicate that monitors based on our framework provide significant gains in runtime performance in comparison to traditional monitors implemented using Java's reentrant locks.

preprint2013arXiv

Distributed Abstraction Algorithm for Online Predicate Detection

Analyzing a distributed computation is a hard problem in general due to the combinatorial explosion in the size of the state-space with the number of processes in the system. By abstracting the computation, unnecessary explorations can be avoided. Computation slicing is an approach for abstracting dis- tributed computations with respect to a given predicate. We focus on regular predicates, a family of predicates that covers a large number of commonly used predicates for runtime verification. The existing algorithms for computation slicing are centralized in nature in which a single process is responsible for computing the slice in either offline or online manner. In this paper, we present a distributed online algorithm for computing the slice of a distributed computation with respect to a regular predicate. Our algorithm distributes the work and storage requirements across the system, thus reducing the space and computation complexities per process. In addition, for conjunctive predicates, our algorithm also reduces the message load per process.

preprint2011arXiv

Wave-Particle Duality Revitalized: Consequences, Applications and Relativistic Quantum Mechanics

The proposed paper presents the unobserved inadequacies in de Broglie's concepts of wave-particle duality and matter waves in the year 1923. The commonly admitted quantum energy or frequency expression hν=γmc2 is shown to be inappropriate for matter waves and is acceptable only for photons. The superluminal phase velocity expression c2/\u{psion}, for matter waves, is investigated in detail and is also reported to be inadequate. The rectifications in the inadequate concepts of de Broglie's theory and refinements in the analogy implementation between light waves and matter waves are presented, which provides the modified frequency and phase velocity expression for matter waves. Mathematical proofs for the proposed modified frequency and phase velocity expression are also presented. In accordance with the proposed concepts, a wave-particle duality picture is presented which elucidates the questions coupled with the wave-particle duality, existing in the literature. Consequently, particle type nature is shown to be a characteristic of waves only, independent from the presence of matter. The modifications introduced in the frequency expression for matter waves leads to variation in the wave function expression for a freely moving particle and its energy operators, with appropriate justifications. A new relation between the Kinetic energy and Momentum of the moving body is proposed and is subsequently applied to introduce novel General and Relativistic Quantum Mechanical Wave Equations. Applications of these equations in bound state quantum mechanical systems provide the information regarding particle's general and relativistic behavior in such systems. Moreover, the proposed wave equations can also be transformed into Schrödinger's and Dirac's equations. The interrelation of Schrödinger's, Dirac's and proposed equations with the universal wave equation is also presented.