TYPICAL: A Knowledge Representation System for Automated Discovery and Inference by Haase, Kenneth W., Jr.

Subjects: Get full text

RepFTI: Representation-Fused Function-Type Inference for Vehicular Secure Software Systems by Xiaoyu Yi, Gaolei Li, Jianhua Li, Ao Ding

Subjects: “…function-type inference…”
Get full text

A compiler architecture for domain-specific type error diagnosis by Serrano Alejandro, Hage Jurriaan

Subjects: Get full text

Procedural metadata for geographic information using an algebra of core concept transformations by Niels Steenbergen, Eric Top, Enkhbold Nyamsuren, Simon Scheider

Subjects: Get full text

FPGA-Based Hybrid-Type Implementation of Quantized Neural Networks for Remote Sensing Applications by Xin Wei, Wenchao Liu, Lei Chen, Long Ma, He Chen, Yin Zhuang

Subjects: Get full text

A framework for improving error messages in dependently-typed languages by Eremondi Joseph, Swierstra Wouter, Hage Jurriaan

Subjects: Get full text

A Markov model for inferring event types on diabetes patients data by Danilo F. de Carvalho, Uzay Kaymak, Pieter Van Gorp, Natal van Riel

Subjects: Get full text

SCVerify: Verification of Software Implementation Against Power Side-Channel Attacks by ZHANG Jun

Subjects: Get full text

Cache refinement type for side-channel detection of cryptographic software by Jiang, Ke, Bao, Yuyan, Wang, Shuai, Liu, Zhibo, Zhang, Tianwei

Subjects: Get full text

Enhanced type inference for binding-time analysis by Szokoli Mátyás, Kiss Attila

Subjects: “…type inference…”
Get full text