共 50 条
- [1] Data Abstraction: A General Framework to Handle Program Verification of Data Structures [J]. STATIC ANALYSIS, SAS 2021, 2021, 12913 : 215 - 235
- [2] SIMDified Data Processing - Foundations, Abstraction, and Advanced Techniques [J]. COMPANION OF THE 2024 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, SIGMOD-COMPANION 2024, 2024, : 613 - 621
- [5] Data bases general health data processing [J]. PROCEEDINGS OF THE 2ND WSEAS INTERNATIONAL CONFERENCE ON BIOMEDICAL ELECTRONICS AND BIOMEDICAL INFORMATICS: RECENT ADVANCES IN BIOMEDICAL ELECTRONICS AND BIOMEDICAL INFORMATICS, 2009, : 70 - +
- [7] Generalized inverses of tensors via a general product of tensors [J]. Frontiers of Mathematics in China, 2018, 13 : 893 - 911
- [8] General approach to statistical data processing [J]. PROCEEDINGS OF THE ITI 2008 30TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2008, : 401 - 406
- [9] Quantitative Impact Evaluation of an Abstraction Layer for Data Stream Processing Systems [J]. 2019 39TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2019), 2019, : 1381 - 1392
- [10] A general product of tensors with applications [J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2013, 439 (08) : 2350 - 2366