中文
相关论文

相关论文: Performance of the Vipera framework for DSLs on mi…

200 篇论文

Domain Specific Languages (DSLs) increase programmer productivity and provide high performance. Their targeted abstractions allow scientists to express problems at a high level, providing rich details that optimizing compilers can exploit…

Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit specific knowledge encoded in the constructs for the generation of code adapted to a…

数学软件 · 计算机科学 2019-05-08 Pramod Kumbhar , Omar Awile , Liam Keegan , Jorge Blanco Alonso , James King , Michael Hines , Felix Schürmann

In this technical report we describe describe the Domain Specific Language (DSL) of the Workflow Execution Execution (WEE). Instead of interpreting an XML based workflow description language like BPEL, the WEE uses a minimized but…

软件工程 · 计算机科学 2010-03-18 Juergen Mangler , Gerhard Stuermer , Erich Schikuta

We have designed a Python-based Domain Specific Language (DSL) for modeling synchronous digital circuits. In this DSL, hardware is modeled as a collection of transactions -- running in series, parallel, and loops. When the model is executed…

We evaluate the performance of Devito, a domain specific language (DSL) for finite differences on Arm ThunderX2 processors. Experiments with two common seismic computational kernels demonstrate that Arm processors can deliver competitive…

性能 · 计算机科学 2019-08-20 Hermes Senger , Jaime F. de Souza , Edson S. Gomi , Fabio Luporini , Gerard J. Gorman

The performance model of an application can pro- vide understanding about its runtime behavior on particular hardware. Such information can be analyzed by developers for performance tuning. However, model building and analyzing is…

性能 · 计算机科学 2017-05-23 Kewen Meng , Boyana Norris

Large language models (LLMs) have shown exceptional performance and vast potential across diverse tasks. However, the deployment of LLMs with high performance in low-resource environments has garnered significant attention in the industry.…

人工智能 · 计算机科学 2024-07-11 Pujiang He , Shan Zhou , Wenhuan Huang , Changqing Li , Duyi Wang , Bin Guo , Chen Meng , Sheng Gui , Weifei Yu , Yi Xie

Unit test environments are today's state of the art for many programming languages to keep the software's quality above a certain level. However, the software's syntactic quality necessary for the developers themselves is not covered by the…

软件工程 · 计算机科学 2014-09-09 Christian Berger , Bernhard Rumpe , Steven Völkel

Tensor processing infrastructures such as deep learning frameworks and specialized hardware accelerators have revolutionized how computationally intensive code from domains such as deep learning and image processing is executed and…

编程语言 · 计算机科学 2024-12-17 Jie Qiu , Colin Cai , Sahil Bhatia , Niranjan Hasabnis , Sanjit A. Seshia , Alvin Cheung

Sparse graphs are ubiquitous in real and virtual worlds. With the phenomenal growth in semi-structured and unstructured data, sizes of the underlying graphs have witnessed a rapid growth over the years. Analyzing such large structures…

分布式、并行与集群计算 · 计算机科学 2024-01-08 Ashwina Kumar , M. Venkata Krishna , Prasanna Bartakke , Rahul Kumar , Rajesh Pandian M , Nibedita Behera , Rupesh Nasre

In this paper, we present domain-specific languages (DSLs) that we devised for their use in the implementation of a finite domain constraint programming system, available as library(clpfd) in SWI-Prolog and YAP-Prolog. These DSLs are used…

人工智能 · 计算机科学 2011-08-31 Markus Triska

Modern large language models (LLMs) are often deployed as agents, calling external tools adaptively to solve tasks. Rather than directly calling tools, it can be more effective for LLMs to write code to perform the tool calls, enabling them…

编程语言 · 计算机科学 2025-06-17 Stephen Mell , Botong Zhang , David Mell , Shuo Li , Ramya Ramalingam , Nathan Yu , Steve Zdancewic , Osbert Bastani

Quality requirements typically differ among software features, e.g., due to different usage contexts of the features, different impacts of related quality deficiencies onto overall user satisfaction, or long-term plans of the developing…

软件工程 · 计算机科学 2022-03-08 Philipp Haindl , Reinhold Plösch

Many applications are increasingly requiring numerical simulations for solving complex problems. Most of these numerical algorithms are massively parallel and often implemented on parallel high-performance computers. However, classic…

分布式、并行与集群计算 · 计算机科学 2021-11-02 Karl F. A. Friebel , Stephanie Soldavini , Gerald Hempel , Christian Pilato , Jeronimo Castrillon

Large Language Models (LLMs) have shown impressive capabilities in code generation for popular programming languages. However, their performance on Low-Resource Programming Languages (LRPLs) and Domain-Specific Languages (DSLs) remains a…

软件工程 · 计算机科学 2025-09-29 Sathvik Joel , Jie JW Wu , Fatemeh H. Fard

Dynamic languages have become popular for scientific computing. They are generally considered highly productive, but lacking in performance. This paper presents Julia, a new dynamic language for technical computing, designed for performance…

编程语言 · 计算机科学 2012-09-25 Jeff Bezanson , Stefan Karpinski , Viral B. Shah , Alan Edelman

Tensor algebra is widely used in many applications, such as scientific computing, machine learning, and data analytics. The tensors represented real-world data are usually large and sparse. There are tens of storage formats designed for…

分布式、并行与集群计算 · 计算机科学 2021-02-11 Ruiqin Tian , Luanzheng Guo , Jiajia Li , Bin Ren , Gokcen Kestor

Large Language Models (LLMs) are gaining prominence in various fields, thanks to their ability to generate high- quality content from human instructions. This paper delves into the field of chip design using LLMs, specifically in Power-…

硬件体系结构 · 计算机科学 2025-10-21 Kiran Thorat , Jiahui Zhao , Yaotian Liu , Amit Hasan , Hongwu Peng , Xi Xie , Bin Lei , Caiwen Ding

Achieving high-performance GPU kernels requires optimizing algorithm implementations to the targeted GPU architecture. It is of utmost importance to fully use the compute and memory hierarchy, as well as available specialised hardware.…

编程语言 · 计算机科学 2020-03-16 Bastian Hagedorn , Archibald Samuel Elliott , Henrik Barthels , Rastislav Bodik , Vinod Grover

Large Language Models (LLMs) have demonstrated significant promise in automating software development tasks, yet their capabilities with respect to software design tasks remains largely unclear. This study investigates the capabilities of…

软件工程 · 计算机科学 2025-03-11 L. P. Franciscatto Guerra , N. Ernst