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 条
  • [31] Optimizing Performance of Aggregate Query Processing with Histogram Data Structure
    Liang Yong
    Mu Zhaonan
    SOFTWARE ENGINEERING METHODS IN INTELLIGENT ALGORITHMS, VOL 1, 2019, 984 : 342 - 350
  • [32] Optimizing Edge Computing for Big Data Processing in Smart Cities
    Kumar, Subramanian Sendil
    Singireddy, Sneha
    Nanan, Botlagunta Preethish
    Recharla, Mahesh
    Gadi, Anil Lokesh
    Paleti, Srinivasarao
    METALLURGICAL & MATERIALS ENGINEERING, 2025, 31 (03) : 31 - 39
  • [33] Optimizing Cloud MapReduce for Processing Stream Data using Pipelining
    Karve, Rutvik
    Dahiphale, Devendra
    Chhajer, Amit
    UKSIM FIFTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2011), 2011, : 344 - 349
  • [34] Optimizing Data Processing in Information Networks of Airspace Surveillance Systems
    Pavlova, D. B.
    Zavolodko, G. E.
    Obod, I. I.
    Svyd, I. V.
    Maltsev, O. S.
    Saikivska, L. F.
    PROCEEDINGS OF THE 2019 10TH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS, SERVICES AND TECHNOLOGIES (DESSERT), 2019, : 136 - 139
  • [35] Optimizing Big Data Processing using Software Defined Networking
    Sohail, Asjad
    Ismail, Muhammad Ali
    Wajahat, Muhammad
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2019, 19 (05): : 113 - 117
  • [36] A Verified Algebra for Linked Data
    Horne, Ross
    Sassone, Vladimiro
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (58): : 20 - 33
  • [37] Optimizing EEG Visualization Through Remote Data Retrieval
    Capp, N.
    Campbell, C.
    Elseify, T.
    Obeid, I.
    Picone, J.
    2018 IEEE SIGNAL PROCESSING IN MEDICINE AND BIOLOGY SYMPOSIUM (SPMB), 2018,
  • [38] Data Processing Through Optical Interfaces
    Teller, Justin
    Ozguener, Fuesun
    Ewing, Robert
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2009, 24 (10) : 42 - 43
  • [39] Optimizing denominator data estimation through a multimodel approach
    Bryssinckx, Ward
    Ducheyne, Els
    Versteirt, Veerle
    Leirs, Herwig
    Hendrickx, Guy
    GEOSPATIAL HEALTH, 2014, 8 (02) : 573 - 582
  • [40] Data Processing for Direct Marketing Through Big Data
    Viloria, Amelec
    Varela, Noel
    Maldonado Perez, Doyreg
    Lezama, Omar Bonerge Pineda
    COMPUTATIONAL VISION AND BIO-INSPIRED COMPUTING, 2020, 1108 : 187 - 192
12345