Optimizing Data Processing Through Verified Lifting

被引：0
|
作者：
Ahmad, Maaz Bin Safeer [1 ]
机构：
[1] University of Washington
来源：
ProQuest Dissertations and Theses Global | 2022年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Application programming interfaces (API) - C++ (programming language) - Codes (symbols) - Computer hardware - Data handling - Digital subscriber lines - Java programming language - Optimization - Problem oriented languages - Program compilers - Semantics
引用
收藏
相关论文
共 50 条
  • [41] Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks
    Ahmad, Maaz Bin Safeer
    Cheung, Alvin
    SIGMOD'17: PROCEEDINGS OF THE 2017 ACM INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2017, : 1675 - 1678
  • [42] Optimizing the austenite stability in a ferritic lightweight steel through thermomechanical processing
    Mirshekari, B.
    Zarei-Hanzaki, A.
    Barabi, A.
    Moshiri, A.
    Abedi, H. R.
    Lee, S. -J.
    Fujii, H.
    MATERIALS CHARACTERIZATION, 2020, 166
  • [43] Optimizing Database Performance in Complex Event Processing through Indexing Strategies
    Abbasi, Maryam
    Bernardo, Marco V.
    Vaz, Paulo
    Silva, Jose
    Martins, Pedro
    DATA, 2024, 9 (08)
  • [44] Optimizing Food Processing through a New Approach to Response Surface Methodology
    Rheem, Sungsue
    FOOD SCIENCE OF ANIMAL RESOURCES, 2023, 43 (02) : 374 - 381
  • [45] LiftingWiSe: A Lifting-Based Efficient Data Processing Technique in Wireless Sensor Networks
    Aboelela, Emad
    SENSORS, 2014, 14 (08) : 14567 - 14585
  • [46] Big Data Processing with harnessing Hadoop - MapReduce for Optimizing Analytical Workloads
    Satish, Rama K., V
    Kavya, N. P.
    2014 INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING AND INFORMATICS (IC3I), 2014, : 49 - 54
  • [47] Data Processing for Optimizing Naturalness of Vietnamese Text-to-speech System
    Viet Lam Phung
    Huy Kinh Phan
    Anh Tuan Dinh
    Quoc Bao Nguyen
    PROCEEDINGS OF 2020 23RD CONFERENCE OF THE ORIENTAL COCOSDA INTERNATIONAL COMMITTEE FOR THE CO-ORDINATION AND STANDARDISATION OF SPEECH DATABASES AND ASSESSMENT TECHNIQUES (ORIENTAL-COCOSDA 2020), 2020, : 1 - 6
  • [48] Optimizing Big Data Processing Performance in the Public Cloud: Opportunities and Approaches
    Wang, Dan
    Liu, Jiangchuan
    IEEE NETWORK, 2015, 29 (05): : 31 - 35
  • [49] A Data Processing Method for the Purpose of Optimizing Production of a Certain Type of Car
    Suchanek, Petr
    Bucki, Robert
    Marecki, Franciszek
    33RD INTERNATIONAL CONFERENCE MATHEMATICAL METHODS IN ECONOMICS (MME 2015), 2015, : 755 - 760
  • [50] Lifting shadows off intracellular processing
    De Smedt, Stefaan C.
    JOURNAL OF CONTROLLED RELEASE, 2019, 310 : 209 - 210
12345