咨询与建议

限定检索结果

文献类型

  • 19 篇 会议
  • 16 篇 期刊文献
  • 2 篇 学位论文

馆藏范围

  • 37 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 31 篇 工学
    • 28 篇 计算机科学与技术...
    • 12 篇 软件工程
    • 3 篇 电气工程
  • 3 篇 理学
    • 3 篇 数学

主题

  • 37 篇 source-to-source...
  • 5 篇 constraint handl...
  • 3 篇 cuda
  • 3 篇 renderscript
  • 3 篇 android
  • 2 篇 program improvem...
  • 2 篇 openacc
  • 2 篇 mini-app
  • 2 篇 skeleton program...
  • 2 篇 portability
  • 2 篇 java
  • 2 篇 optimization
  • 2 篇 static analysis
  • 2 篇 stencil
  • 2 篇 smart contract
  • 2 篇 high-level synth...
  • 2 篇 heterogeneous pa...
  • 2 篇 c++11
  • 2 篇 simulation accel...
  • 2 篇 python

机构

  • 3 篇 univ ulm d-89069...
  • 2 篇 univ la laguna e...
  • 2 篇 german univ cair...
  • 2 篇 univ calif los a...
  • 1 篇 linköping univer...
  • 1 篇 univ la laguna d...
  • 1 篇 univ sci & techn...
  • 1 篇 hkbk coll engn d...
  • 1 篇 microsoft corp r...
  • 1 篇 natl ctr atmosph...
  • 1 篇 univ colorado bo...
  • 1 篇 pontificia univ ...
  • 1 篇 telecom sudparis...
  • 1 篇 ras keldysh inst...
  • 1 篇 computer science...
  • 1 篇 telecom sudparis...
  • 1 篇 univ nacl la pla...
  • 1 篇 univ edinburgh e...
  • 1 篇 massachusetts co...
  • 1 篇 linkoping univ d...

作者

  • 5 篇 abdennadher slim
  • 4 篇 almeida francisc...
  • 4 篇 acosta alejandro
  • 3 篇 sharaf nada
  • 3 篇 cong jason
  • 3 篇 choi young-kyu
  • 2 篇 xi rui
  • 2 篇 pattabiraman kar...
  • 2 篇 fruehwirth thom
  • 2 篇 zaki amira
  • 2 篇 wang jie
  • 2 篇 chi yuze
  • 2 篇 ernstsson august
  • 1 篇 loveman db
  • 1 篇 christopher kerr
  • 1 篇 habel r.
  • 1 篇 chen zhe
  • 1 篇 shao yewei
  • 1 篇 dantas mario a. ...
  • 1 篇 kerr christopher

语言

  • 36 篇 英文
  • 1 篇 其他
检索条件"主题词=Source-to-Source Transformation"
37 条 记 录,以下是1-10 订阅
排序:
Exhaustive Execution of CHR Through source-to-source transformation  24th
收藏 引用
24th International Symposium on Logic-Based Program Synthesis and transformation (LOPSTR)
作者: Elsawy, Ahmed Zaki, Amira Abdennadher, Slim German Univ Cairo Cairo Egypt Univ Ulm D-89069 Ulm Germany
Constraint Handling Rules (CHR) is a committed-choice rule-based programming language. Rules rewrite a global multi-set of constraints to another. Overlapping sets of constraints within the rules and the order of cons... 详细信息
来源: 评论
Towards the Implementation of a source-to-source transformation Tool for CHR Operational Semantics  1
收藏 引用
23rd International Symposium on Logic-based Program Synthesis and transformation (LOPSTR)
作者: Fakhry, Ghada Sharaf, Nada Abdennadher, Slim German Univ Cairo Dept Comp Sci & Engn Cairo Egypt
Constraint Handling Rules (CHR) is a high-level committed-choice language based on multi-headed and guarded rules. Over the past decades, several extensions to CHR and variants of operational semantics were introduced... 详细信息
来源: 评论
A large-scale empirical study of low-level function use in Ethereum smart contracts and automated replacement
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 2023年 第3期53卷 631-664页
作者: Xi, Rui Pattabiraman, Karthik Univ British Columbia UBC Dept Elect & Comp Engn Rm 4048Fred Kaiser Bldg2332 Main Mall Vancouver BC V6T 1Z4 Canada
The Ethereum blockchain stores and executes complex logic via smart contracts written in Solidity, a high-level programming language. The Solidity language (in its early versions) provides features to exercise fine-gr... 详细信息
来源: 评论
When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts  29
When They Go Low: Automated Replacement of Low-level Functio...
收藏 引用
29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
作者: Xi, Rui Pattabiraman, Karthik Univ British Columbia UBC Dept Elect & Comp Engn Vancouver BC Canada
Smart contracts in the Ethereum blockchain are typically written using a high-level, Turing-complete language called Solidity. However, the Solidity language has many features to allow programmers fine-grained control... 详细信息
来源: 评论
source-to-source transformations for Parallel Optimizations in STAPL
Source-to-Source Transformations for Parallel Optimizations ...
收藏 引用
作者: Kelley, Brian M Texas A&M University
Programs that use the STAPL C++ parallel programming library express their control and data flow explicitly through the use of skeletons. Skeletons can be simple parallel operations like map and reduce, or the result ... 详细信息
来源: 评论
Runtime Verification of Memory Safety via source transformation  18
Runtime Verification of Memory Safety via Source Transformat...
收藏 引用
40th ACM/IEEE International Conference on Software Engineering (ICSE)
作者: Chen, Zhe Yan, Junqi Li, Wenming Qian, Ju Huang, Zhiqiu Nanjing Univ Aeronaut & Astronaut Coll Comp Sci & Technol Nanjing Jiangsu Peoples R China
The unsafe features of C often lead to memory errors that can result in vulnerabilities. Many runtime verification tools are widely used to detect memory errors. However, existing tools lack DO178C compliance, show li... 详细信息
来源: 评论
FLASH: Fast, Parallel, and Accurate Simulator for HLS
收藏 引用
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 2020年 第12期39卷 4828-4841页
作者: Choi, Young-Kyu Chi, Yuze Wang, Jie Cong, Jason Univ Calif Los Angeles Comp Sci Dept Los Angeles CA 90095 USA
A large semantic gap between a high-level synthesis (HLS) design and a low-level RTL simulation environment often creates a barrier for those who are not field-programmable gate array (FPGA) experts. Moreover, such a ... 详细信息
来源: 评论
Rapid Cycle-Accurate Simulator for High-Level Synthesis  19
Rapid Cycle-Accurate Simulator for High-Level Synthesis
收藏 引用
ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
作者: Chi, Yuze Choi, Young-kyu Cong, Jason Wang, Jie Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90024 USA
A large semantic gap between the high-level synthesis (HLS) design and the low-level (on-board or RTL) simulation environment often creates a barrier for those who are not FPGA experts. Moreover, such low-level simula... 详细信息
来源: 评论
SkePU 2: Flexible and Type-Safe Skeleton Programming for Heterogeneous Parallel Systems
收藏 引用
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING 2018年 第1期46卷 62-80页
作者: Ernstsson, August Li, Lu Kessler, Christoph Linkoping Univ Dept Comp & Informat Sci PELAB Linkoping Sweden
In this article we present SkePU 2, the next generation of the SkePU C++ skeleton programming framework for heterogeneous parallel systems. We critically examine the design and limitations of the SkePU 1 programming i... 详细信息
来源: 评论
An Empirical Study of the Effect of source-Level Loop transformations on Compiler Stability
收藏 引用
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL 2018年 第OOPSLA期2卷 1–29页
作者: Gong, Zhangxiaowen Chen, Zhi Szaday, Justin Wong, David Sura, Zehra Watkinson, Neftali Maleki, Saeed Padua, David Veidenbaum, Alexander Nicolau, Alexandru Torrellas, Josep Univ Illinois Champaign IL 61820 USA Univ Calif Irvine Irvine CA 92717 USA Intel Corp Santa Clara CA 95051 USA IBM Corp Armonk NY 10504 USA Microsoft Corp Redmond WA 98052 USA
Modern compiler optimization is a complex process that offers no guarantees to deliver the fastest, most efficient target code. For this reason, compilers struggle to produce a stable performance from versions of code... 详细信息
来源: 评论