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 条
  • [21] DATA ENTRY THROUGH DISTRIBUTED DATA PROCESSING
    BENNETT, EM
    JOURNAL OF SYSTEMS MANAGEMENT, 1969, 20 (09): : 30 - 31
  • [22] Extracting and Optimizing Formally Verified Code for Systems Programming
    Ioannidis, Eleftherios
    Kaashoek, Frans
    Zeldovich, Nickolai
    NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 228 - 236
  • [23] Techniques for optimizing microscopy and analysis through digital image processing
    Inoue, T
    Gliksman, N
    METHODS IN CELL BIOLOGY, VOLUME 56: VIDEO MICROSCOPY, 1998, 56 : 63 - 90
  • [24] Optimizing processing parameters of stone crushers through Taguchi method
    Gurway, Shubhangi
    Gadge, Padmanabh
    Materials Today: Proceedings, 2022, 65 : 3512 - 3518
  • [25] Optimizing processing parameters of stone crushers through Taguchi method
    Gurway, Shubhangi
    Gadge, Padmanabh
    MATERIALS TODAY-PROCEEDINGS, 2022, 65 : 3512 - 3518
  • [26] Reducing Bandwidth Requirements and Optimizing Data Flow in Distributed Data Acquisition and Processing
    Preden, Jugo S.
    Motus, Leo
    Pahtma, Raido
    Meriste, Merik
    2013 IEEE INTERNATIONAL MULTI-DISCIPLINARY CONFERENCE ON COGNITIVE METHODS IN SITUATION AWARENESS AND DECISION SUPPORT (COGSIMA), 2013, : 175 - 182
  • [27] Framelet lifting in image processing
    Lu Da-yong
    Feng Tie-yong
    INTERNATIONAL CONFERENCE ON IMAGE PROCESSING AND PATTERN RECOGNITION IN INDUSTRIAL ENGINEERING, 2010, 7820
  • [28] Optimizing complex event processing over RFID data streams
    Chen, Qun
    Li, Zhanhuai
    Liu, Hailong
    2008 IEEE 24TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, VOLS 1-3, 2008, : 1442 - +
  • [29] Optimizing data stream processing for large-scale applications
    Cappellari, Paolo
    Roantree, Mark
    Chun, Soon Ae
    SOFTWARE-PRACTICE & EXPERIENCE, 2018, 48 (09): : 1607 - 1641
  • [30] DATA-PROCESSING WITH THE OBJECTIVE OF IDENTIFYING AND OPTIMIZING TECHNOLOGICAL PROCESSES
    WALHEIM, J
    SIERZANT, T
    MECHANIK MIESIECZNIK NAUKOWO-TECHNICZNY, 1980, 53 (02): : 67 - 70
12345