Bit-blasting is the main approach for solving word-level constraints in SAT Modulo Theories (SMT) for bit-vector logics. However, in practice it often reaches its limits, even if combined with sophisticated rewriting and simplification techniques. In this paper, we extended a recently proposed alternative based on stochastic local search (SLS) and improve neighbor selection based on down propag...

In many distributed applications, pairs of predicates and data have to be evaluated locally. This includes publish-subscribe, keyword search for documents, and selection queries on tuples. We will present the Bit Zipper Rendezvous as a peer-to-peer based solution to these problems. Though not as efficient as value-based partitioning approaches, the Bit Zipper’s generality complements them. Wher...

The major limitation of APC is that, if the bit error occurs in the same bit location of all the received copies then APC fail to correct them which results in reduced correction capability and reduced throughput. In this paper, a new modified APC technique is proposed that can eliminate the major limitation of the APC by using half-byte packet reverse technique and even & odd selection method ...

Multi-sequence video coding allows bit-budget to be traded between sequences. This paper presents the method of selection of a common quantization parameter, which is applied concurrently to each sequence. The approach takes into account ρ-domain rate-distortion models kept independently for each video sequence and builds a common model. The output buffer is verified jointly for all the sequenc...

Cooperative communication describes strategies to transfer the data from a source to a destination by employing relay nodes between them. It is considered as one of the most efficient techniques to overcome fading in wireless networks since it can achieve spatial diversity. Employing all the relays in the network to transfer the data, consumes high power and cost. Selection of one or more relay...

Sapindus mukorossi seeds are commonly drilled and processed into Buddha beads other craft products. To improve the machining qualities of micro-drilling S. seeds, effects drilling parameters (feed rate, speed, drill diameter) on force, hole diameter morphology were found. The mechanism behind these changes was further analyzed. process for optimized. Results indicated that each parameter influe...