Search Results - "Kalpesh Kapoor"

Weighted approximate parameterized string matching by Das, Shibsankar, Kapoor, Kalpesh

“…We consider the problem of finding a bijection to match a pattern in a text where both the pattern and the text are strings from distinct alphabets. The…”
Get full text

Motion planning in cartesian product graphs by Deb, Biswajit, Kapoor, Kalpesh

“…Let G be an undirected graph with n vertices. Assume that a robot is placed on a vertex and n − 2 obstacles are placed on the other vertices. A vertex on which…”
Get full text

The square density of words having a sequence of FS-double squares by Patawar, Maithilee, Kapoor, Kalpesh

“…A square is a word of the form uu, where u is a non-empty word. The square density of a word is the ratio of the number of distinct squares in a word to its…”
Get full text

Density of distinct squares in non-primitive words by Patawar, Maithilee, Kapoor, Kalpesh

“…A word is said to be primitive if it cannot be expressed as a nontrivial power of another word. A repetition or a non-primitive word, uk, is a concatenation of…”
Get full text

Deadlock Prevention in Payment Channel Networks by Sharma, Neeraj, Kapoor, Kalpesh

“…The use of blockchain-based cryptocurrencies has significantly increased over the last ten years; nevertheless, the broader acceptance of these currencies is…”
Get full text

Design and evaluation of Swift routing for payment channel network by Neeraj Sharma, Kalpesh Kapoor, V. Anirudh

“…Payment Channel Networks (PCNs) are a promising alternative to improve the scalability of a blockchain network. A PCN employs off-chain micropayment channels…”
Get full text

Design and Validation of BlockEval, A Blockchain Simulator by Gouda, Deepak Kumar, Jolly, Shashwat, Kapoor, Kalpesh

“…Blockchain technology is finding its application in a wide range of areas. Due to the highly decentralized and distributed nature of blockchain technology, it…”
Get full text

On multiset of factors of a word by Kapoor, Kalpesh, Nayak, Himadri

“…Given two strings, we investigate the conditions under which they have common multiset of factors of a fixed length. We show that if two strings have the same…”
Get full text

On Complete S-Reachable Graphs by Deb, Biswajit, Kapoor, Kalpesh

“…We consider a variant of pebble motion game on a simple connected undirected graph. A configuration in such a graph indicates the placement of a robot and a…”
Get full text

Attacks in Distributed Routing Protocols in PCNs by Sharma, Neeraj, Kapoor, Kalpesh

“…Blockchain transactions can be made more scalable using Payment Channel Networks (PCNs), which do not require significant modifications to the distributed…”
Get full text

On del-robust primitive words by Srivastava, Amit Kumar, Nayak, Ananda Chandra, Kapoor, Kalpesh

“…A word is said to be primitive if it cannot be expressed as non-trivial power of another word. We characterize a class of primitive words, referred as…”
Get full text

Formal Analysis of Coupling Hypothesis for Logical Faults by Kapoor, Kalpesh

Get full text

A Nonlinear Analytical Optimization Method for Standard Cell Placement of VLSI Circuits by Pawanekar, Sameer, Trivedi, Gaurav, Kapoor, Kalpesh

“…We present an analytical method to perform VLSI standard cell placement. We have developed a placement engine based on analytical methods that makes use of…”
Get full text

Fine-grained Concurrency with Separation Logic by Kapoor, Kalpesh, Lodaya, Kamal, Reddy, Uday S.

“…Reasoning about concurrent programs involves representing the information that concurrent processes manipulate disjoint portions of memory. In sophisticated…”
Get full text

Ins-Robust Primitive Words by Srivastava, Amit Kumar, Kapoor, Kalpesh

“…Let Q be the set of primitive words over a finite alphabet with at least two symbols. We characterize a class of primitive words, Q_I, referred to as…”
Get full text

A formal analysis of MCDC and RCDC test criteria by Kapoor, Kalpesh, Bowen, Jonathan P.

“…The Modified Condition Decision Coverage (MCDC) test criterion is a mandatory requirement for the testing of avionics software as per the DO‐178B standard…”
Get full text

Stability of test criteria and fault hierarchies in software testing by Kapoor, Kalpesh

“…Software testing is an important activity to verify and validate a system. A test criterion is a set of rules that are used for assessing the system under…”
Get full text

Experimental evaluation of the tolerance for control-flow test criteria by Kapoor, Kalpesh, Bowen, Jonathan P.

“…Fault‐detection effectiveness of coverage criteria has remained one of the controversial issues in recent years. In order to detect a fault, a test set must…”
Get full text

Algorithm for GMP1R with single hole by Singh, Jagrati, Darak, Anmol, Dash, Sanket S., Kapoor, Kalpesh

“…In this paper, we are given an undirected, un-weighted, connected simple graph with n vertices. We have a movable robot and a hole at two distinct vertices,…”
Get full text

Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria by Kapoor, K., Bowen, J.

“…Given a test criterion, the number of test-sets satisfying the criterion may be very large, with varying fault detection effectiveness. This paper presents an…”
Get full text