A DATA-DRIVEN MODEL FOR A SUBSET OF LOGIC PROGRAMMING

被引：5
|
作者：
BIC, L
LEE, C
机构：
[1] Univ of California, Irvine, CA, USA, Univ of California, Irvine, CA, USA
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1987年 / 9卷 / 04期
关键词：
D O I：
10.1145/29873.31333
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
24
引用
收藏
页码：618 / 645
页数：28
相关论文
共 50 条
  • [1] Data-driven fault model development for superconducting logic
    Li, Mingye
    Wang, Fangzhou
    Gupta, Sandeep
    2020 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2020,
  • [2] The data-driven multithreading programming model based on DDF
    Wu, Baifeng
    Pei, Songwen
    Zhu, Kun
    Yu, Qiang
    2007 2ND INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND APPLICATIONS, VOLS 1 AND 2, 2007, : 538 - 542
  • [3] Data-driven uniform programming model for reconfigurable computing
    Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
    Tien Tzu Hsueh Pao, 2007, 11 (2123-2128):
  • [4] AlphaCode and "data-driven" programming
    Kolter, J. Zico
    SCIENCE, 2022, 378 (6624) : 1056 - 1056
  • [5] SeeQ: A Programming Model for Portable Data-driven Building Applications
    Mavrokapnidis, Dimitris
    Fierro, Gabe
    Husmann, Maria
    Korolija, Ivan
    Rovas, Dimitrios
    PROCEEDINGS OF THE 10TH ACM INTERNATIONAL CONFERENCE ON SYSTEMS FOR ENERGY-EFFICIENT BUILDINGS, CITIES, AND TRANSPORTATION, BUILDSYS 2023, 2023, : 159 - 168
  • [6] A Data-Driven Dynamic Programming Model for Research Position Demand Forecasting
    Xie Y.
    Wu D.
    Chen Y.
    Jiao W.
    Li J.
    Annals of Data Science, 2017, 4 (01) : 19 - 30
  • [7] A data-driven group retrosynthesis planning model inspired by neurosymbolic programming
    Zhang, Xuefeng
    Lin, Haowei
    Zhang, Muhan
    Zhou, Yuan
    Ma, Jianzhu
    NATURE COMMUNICATIONS, 2025, 16 (01)
  • [8] A data-driven air cargo redistribution model based on multiple programming
    Peng, Yang
    Wang, Pu
    Zhao, Xiaolong
    Chen, Meilin
    Zhang, Jun
    Zhang, Fan
    INTERNATIONAL JOURNAL OF MODERN PHYSICS B, 2019, 33 (17):
  • [9] A Unified Programming Model for Time- and Data-Driven Embedded Applications
    Breaban, Gabriela
    Stuijk, Sander
    Goossens, Kees
    2018 26TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2018), 2018, : 26 - 33
  • [10] Data-driven approximate dynamic programming: A linear programming approach
    Sutter, Tobias
    Kamoutsi, Angeliki
    Esfahani, Peyman Mohajerin
    Lygeros, John
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
12345