OPTIMIZATION AT A HIGH-LEVEL OF ABSTRACTION

被引：0
|
作者：
RICHARD, I
MILGROM, E
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 367卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：252 / 256
页数：5
相关论文
共 50 条
  • [11] An Abstraction Model for High-Level Application Programming on the Cloud
    Binh Minh Nguyen
    Viet Tran
    Hluchy, Ladislav
    ADVANCED COMPUTATIONAL METHODS FOR KNOWLEDGE ENGINEERING, 2013, 479 : 295 - 306
  • [12] AutoMine: Harmonizing High-Level Abstraction and High Performance for Graph Mining
    Mawhirter, Daniel
    Wu, Bo
    PROCEEDINGS OF THE TWENTY-SEVENTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '19), 2019, : 509 - 523
  • [13] HIGH-LEVEL DEBUGGING OF DISTRIBUTED SYSTEMS - THE BEHAVIORAL ABSTRACTION APPROACH
    BATES, PC
    WILEDEN, JC
    JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) : 255 - 264
  • [14] High-level ab initio studies of prototype hydrogen abstraction
    Temelso, Berhane
    Sherrill, C. David
    Merkle, Ralph C.
    Freitas, Robert A., Jr.
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2006, 231
  • [15] High-level optimization of pipeline design
    Campbell, JPL
    Day, NA
    EIGHTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2003, : 43 - 48
  • [16] High-Level Abstraction for Teaching Smart Systems Design with Modular Hardware
    Philipp, Francois
    Glesner, Manfred
    10TH EUROPEAN WORKSHOP ON MICROELECTRONICS EDUCATION (EWME), 2014, : 146 - 150
  • [17] Stepwise abstraction of high-level system specifications from source code
    Ferrarotti, Flavio
    Moser, Michael
    Pichler, Josef
    JOURNAL OF COMPUTER LANGUAGES, 2020, 60 (60)
  • [18] Communication predicates: A high-level abstraction for coping with transient and dynamic faults
    Hutle, Martin
    Schiper, Andre
    37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2007, : 92 - +
  • [19] Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control
    Raman, Vasumathi
    Piterman, Nir
    Finucane, Cameron
    Kress-Gazit, Hadas
    IEEE TRANSACTIONS ON ROBOTICS, 2015, 31 (03) : 591 - 604
  • [20] High-Level Web Data Abstraction Using Language Integrated Query
    Misek, Jakub
    Zavoral, Filip
    INTELLIGENT DISTRIBUTED COMPUTING IV, 2010, 315 : 13 - 22
12345