Gamma Ray
Sstic 2015 detailed_version_triton_concolic_execution_frame_work_f_saudel_jsalwan
A System to Generate Test Data and Symbolically Execute Programs Lori A. Clarke September 1976.
Minimum Dynamic Power CMOS Circuit Design by a Reduced Constraint Set Linear Program Tezaswi Raja Vishwani Agrawal Michael L. Bushnell Rutgers University,
Aug 23, ‘021Low-Power Design Minimum Dynamic Power Design of CMOS Circuits by Linear Program Using Reduced Constraint Set Vishwani D. Agrawal Agere Systems,
Aug 31, '02VDAT'02: Low-Power Design1 Minimum Dynamic Power Design of CMOS Circuits by Linear Program Using Reduced Constraint Set Tezaswi Raja, Rutgers.
May 28, 2003Minimum Dynamic Power CMOS1 Minimum Dynamic Power CMOS Circuits Vishwani D. Agrawal Rutgers University, Dept. of ECE Piscataway, NJ 08854 .
Minimum Dynamic Power Design of CMOS Circuits by Linear Program Using Reduced Constraint Set
Minimum Dynamic Power CMOS Circuit Design by a Reduced Constraint Set Linear Program
Minimum Dynamic Power CMOS Circuits