Scientific Research Publishing

SymPcNSGA-Testing: A Hybrid Approach to Mitigate Path Explosion in Software Programs ()

To address these shortcomings, we introduce SymPcNSGA-Testing (Symbolic execution, Path clustering and NSGA-II Testing), a ...

Turing Award winner Tony Hoare, computing pioneer who invented the Quicksort algorithm for a sixpence bet, dies at the age of 92

"You know, you shouldn't trust us intelligent programmers." ...
IEEE

Short-HotStuff: Two-Chain BFT Algorithm With Linear Complexity and Optimistic Responsiveness

Abstract: HotStuff is a pipelined Byzantine Fault Tolerance (BFT) algorithm that has the good properties of both linear communication complexity and optimistic responsiveness. However, its three-chain ...
IEEE

Accurate and Energy-Efficient Implementation of Non-Linear Adder in Parallel Stochastic Computing using Sorting Network

Abstract: Recently, due to the high fault tolerance and low hardware cost, stochastic computing (SC)-based neural network (NN) accelerators have been widely studied. One big challenge of it is the ...