Search Results

Online Reset for Signal Temporal Logic Monitoring.

• Authors : Zhang, Zhenya; Arcaini, Paolo; Xie, Xuan

Subjects: LOGIC; OVERHEAD costs; SEMANTICS

• Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Nov2022, Vol. 41 Issue 11, p4421-4432. 12p.

Record details

XMAP: Programming Memristor Crossbars for Analog Matrix–Vector Multiplication: Toward High Precision Using Representable Matrices.

• Authors : Uysal, Necati; Zhang, Baogang; Jha, Sumit Kumar

Subjects: MATHEMATICAL mappings; OVERHEAD costs; PROCESS capability

• Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Jun2022, Vol. 41 Issue 6, p1827-1841. 15p.

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Submodularity of Storage Placement Optimization in Power Networks.

• Authors : Qin, Junjie (AUTHOR); Yang, Insoon (AUTHOR); Rajagopal, Ram (AUTHOR)

Subjects: SUBMODULAR functions; OVERHEAD costs; ELECTRIC lines

• Source: IEEE Transactions on Automatic Control. Aug2019, Vol. 64 Issue 8, p3268-3283. 16p.

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details