使满足
发表于 2025-3-23 13:02:02
Nettle: A Language for Configuring Routing Networksr this task is the . (BGP) , which allows autonomous systems to independently define their own route preferences and route advertisement policies. By careful design of these BGP policies, autonomous systems can achieve a variety of objectives..Currently available configuration and policy language
jagged
发表于 2025-3-23 14:02:01
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskellors useful for solving that particular class of problems. Such a language can be of two kinds: it can form a new language or it can be embedded as a sublanguage in an existing one. We describe an embedded DSL in the form of a library which extends a general purpose language. Our domain is that of vu
AXIS
发表于 2025-3-23 20:05:58
Domain-Specific Language for HW/SW Co-design for FPGAs configurable logic in addition to embedded processors, distributed RAM blocks, and DSP slices in order to help facilitate building HW/SW co-designed systems. A technical challenge in building such systems is that the practice of designing software and hardware requires different areas of expertise
integrated
发表于 2025-3-23 22:14:40
http://reply.papertrans.cn/29/2826/282523/282523_14.png
Connotation
发表于 2025-3-24 05:37:50
http://reply.papertrans.cn/29/2826/282523/282523_15.png
冰雹
发表于 2025-3-24 10:22:24
A DSL for Explaining Probabilistic Reasoningnations of how and why those results were obtained. We posit that if users are to understand computations produced by a language, that language should provide explanations to the user..As an example of such an explanation-oriented language we present a domain-specific language for explaining probabi
Bureaucracy
发表于 2025-3-24 13:54:16
http://reply.papertrans.cn/29/2826/282523/282523_17.png
厨师
发表于 2025-3-24 16:10:25
Operator Language: A Program Generation Framework for Fast Kernelseneration system Spiral beyond the transform domain. Using OL, we show how to automatically generate library functionality for the fast Fourier transform and multiple non-transform kernels, including matrix-matrix multiplication, synthetic aperture radar (SAR), circular convolution, sorting networks
显微镜
发表于 2025-3-24 19:08:38
A MuDDy Experience–ML Bindings to a BDD Librarylgorithms before handing over the grunt work to the C library. I show how, with a relatively little effort, you can make a domain specific language for concurrent finite state-machines embedded in Standard ML and then write various custom model-checking algorithms for this domain specific embedded language (DSEL).
朝圣者
发表于 2025-3-25 01:24:42
A Haskell Hosted DSL for Writing Transformation Systemsegy control language in the tradition of Stratego and Strafunski. It is intended for writing reasonably efficient rewrite systems, makes use of type families to provide a delimited generic mechanism for tree rewriting, and provides support for efficient identity rewrite detection.