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 ...

Florida Rep. joins UF scientists to capture, track invasive pythons

A Florida representative joined university of Florida scientists to capture a 10-foot python they have tracked. U.S. Rep. Debbie Wasserman Schultz joined UF scientists to ...
IEEE

Establish the basis for Breadth-First Search on Frontier System: XBFS on AMD GPUs

Abstract: Graphics Processing Units (GPUs) offer significant potential for accelerating various computational tasks, including Breadth-First Search (BFS). Numerous efforts have been made to deploy BFS ...
IEEE

Quantization-Aware Optimization for Breadth-First Search Detection in MIMO Systems

Abstract: This paper introduces a quantization-aware optimization framework for MIMO detection that jointly optimizes algorithmic parameters and fixed-point quantization across layers in Breadth-First ...