中文
相关论文

相关论文: Early Experience with ASDL in lcc

200 篇论文

Large language models are increasingly used within larger systems ("LLM agents"). These make a sequence of LLM calls, each call providing the LLM with a combination of instructions, observations, and interaction history. The design of the…

人工智能 · 计算机科学 2026-05-05 Noga Peleg Pelc , Gal A. Kaminka , Yoav Goldberg

Component-based software engineering (CBSE) decomposes complex systems into reusable components. Model-driven engineering (MDE) aims to abstract from complexities by lifting abstract models to primary development artifacts. Component and…

软件工程 · 计算机科学 2015-11-02 Lars Hermerschmidt , Katrin Hölldobler , Bernhard Rumpe , Andreas Wortmann

This paper presents an overview and features of an Analysis Description Language (ADL) designed for HEP data analysis. ADL is a domain specific, declarative language that describes the physics content of an analysis in a standard and…

计算物理 · 物理学 2021-09-08 Harrison B. Prosper , Sezen Sekmen , Gokhan Unel , Arpon Paul

We will present the latest developments in CutLang, the runtime interpreter of a recently-developed analysis description language (ADL) for collider data analysis. ADL is a domain-specific, declarative language that describes the contents…

高能物理 - 唯象学 · 物理学 2021-07-29 G. Unel , S. Sekmen , A. M. Toon , B. Gokturk , B. Orgen , A. Paul , N. Ravel , J. Setpal

Data analysis at the LHC has a very steep learning curve, which erects a formidable barrier between data and anyone who wishes to analyze data, either to study an idea or to simply understand how data analysis is performed. To make analysis…

物理教育 · 物理学 2022-03-28 Sezen Sekmen , Gokhan Unel , Harrison B. Prosper , Aytul Adiguzel , Burak Sen

Accelerator design languages (ADLs), high-level languages that compile to hardware units, help domain experts quickly design efficient application-specific hardware. ADL compilers optimize datapaths and convert software-like control flow…

编程语言 · 计算机科学 2025-11-26 Ayaka Yorihiro , Griffin Berlstein , Pedro Pontes García , Kevin Laeufer , Adrian Sampson

Artificial Intelligence (AI) has witnessed remarkable growth, particularly through the proliferation of Deep Neural Networks (DNNs). These powerful models drive technological advancements across various domains. However, to harness their…

On the one hand, ACME is a language designed in the late 90s as an interchange format for software architectures. The need for recon guration at runtime has led to extend the language with speci c support in Plastik. On the other hand, PDDL…

软件工程 · 计算机科学 2012-06-04 Jean-Eudes Méhus , Thais Batista , Jérémy Buisson

In this paper, we propose an analysis mechanism based structured Analysis Discriminative Dictionary Learning (ADDL) framework. ADDL seamlessly integrates the analysis discriminative dictionary learning, analysis representation and analysis…

计算机视觉与模式识别 · 计算机科学 2019-05-29 Zhao Zhang , Weiming Jiang , Jie Qin , Li Zhang , Fanzhang Li , Min Zhang , Shuicheng Yan

This paper introduces AFDL, a logic-based framework for reasoning about safety, security, and defense interactions in Attack-Fault-Defense Trees, which is a model that captures all safety, security, and defense domains in a single…

计算机科学中的逻辑 · 计算机科学 2025-07-31 Reza Soltani , Stefano M. Nicoletti , Milan Lopuhaä-Zwakenberg , Mariëlle Stoelinga

Today, it is important for software companies to build software systems in a short time-interval, to reduce costs and to have a good market position. Therefore well organized and systematic development approaches are required. Reusing…

软件工程 · 计算机科学 2009-06-10 Rolf Andreas Rasenack

Program source code contains complex structure information, which can be represented in structured data forms like trees or graphs. To acquire the structural information in source code, most existing researches use abstract syntax trees…

软件工程 · 计算机科学 2022-04-13 Kechi Zhang , Wenhan Wang , Huangzhao Zhang , Ge Li , Zhi Jin

Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-level debugger for C, is completely independent of its target…

编程语言 · 计算机科学 2007-05-23 David R. Hanson

Gradient preconditioning is a key technique to integrate the second-order information into gradients for improving and extending gradient-based learning algorithms. In deep learning, stochasticity, nonconvexity, and high dimensionality lead…

机器学习 · 计算机科学 2023-05-09 Kazuki Osawa , Satoki Ishikawa , Rio Yokota , Shigang Li , Torsten Hoefler

A central strategy of synthetic biology is to understand the basic processes of living creatures through engineering organisms using the same building blocks. Biological machines described in terms of parts can be studied by computer…

定量方法 · 定量生物学 2020-06-24 William Waites , Goksel Misirli , Matteo Cavaliere , Vincent Danos , Anil Wipat

Component&connector (C&C) architecture description languages (ADLs) combine component-based software engineering and model-driven engineering to increase reuse and to abstract from implementation details. Applied to robotics application…

软件工程 · 计算机科学 2015-11-18 Jan O. Ringert , Bernhard Rumpe , Andreas Wortmann

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…

Model-based parser generators decouple language specification from language processing. The model-driven approach avoids the limitations that conventional parser generators impose on the language designer. Conventional tools require the…

编程语言 · 计算机科学 2012-03-01 Luis Quesada , Fernando Berzal , Juan-Carlos Cubero

Similar to other programming models, compilers for SYCL, the open programming model for heterogeneous computing based on C++, would benefit from access to higher-level intermediate representations. The loss of high-level structure and…

We propose to adopt a declarative domain specific language for describing the physics algorithm of a high energy physics (HEP) analysis in a standard and unambiguous way decoupled from analysis software frameworks, and argue that this…

高能物理 - 唯象学 · 物理学 2022-03-21 Harrison B. Prosper , Sezen Sekmen , Gokhan Unel
‹ 上一页 1 2 3 10 下一页 ›