LintQ is a framework for static analysis of quantum programs written in Qiskit. It comprises: LintQ Core: a set of quantum-specific concepts that supports the definition of static analysis of quantum ...

Test suites for software products vary in size from hundreds of test cases for small programs to millions for a large software product like Microsoft Windows. One problem in the product life cycle is ...

While the programming of microcontroller-based embeddable devices typically is the realm of the C language, such devices are now finding their way into the classroom for CS education, even at the ...

Abstract: We develop a charge deficit-based non-quasi-static (NQS) model that is compatible with neural network-based transistor compact models for transient, AC, and RF simulations. The charge ...

Abstract: In this paper, a non-iterative sensitivity-based zsolve the distribution network reconfiguration (DNR) problem and ensure the security of the switch operation process, while maintaining the ...