Suchergebnisse - "Meta Programming"

lbmpy: Automatic code generation for efficient parallel lattice Boltzmann methods von Bauer, Martin, Köstler, Harald, Rüde, Ulrich

“… •In this article we present a meta-programming system for lattice Boltzmann methods similar to what FEniCS is for finite element methods.•Our tool can …”
Volltext

The usage of cybernetic in complex software systems and its application to the deterministic multithreading von Bozkurt, Erkam Murat

“… Abtract In this paper, a new cybernetic control technology that can be used in complex software systems will be introduced. In this approach, the software …”
Volltext

An approach for dynamically adaptable SIMD vectorization of FEM kernels von Kadlubiak, Kristian, Meca, Ondřej, Říha, Lubomír, Brzobohatý, Tomáš

“… The paper focuses on the optimization of the FEM matrix kernels with respect to user-defined parameters such as materials, initial conditions, and boundary …”
Volltext

The MetaCoq Project von Sozeau, Matthieu, Anand, Abhishek, Boulier, Simon, Cohen, Cyril, Forster, Yannick, Kunze, Fabian, Malecha, Gregory, Tabareau, Nicolas, Winterhalter, Théo

“… The MetaCoq project aims to provide a certified meta-programming environment in Coq . It builds on Template-Coq , a plugin for Coq originally implemented by …”
Volltext

LMA: A generic and efficient implementation of the Levenberg–Marquardt Algorithm von Ramadasan, Datta, Chevaldonné, Marc, Chateau, Thierry

“… Summary This paper presents an open‐source, generic and efficient implementation of a very popular nonlinear optimization method: the Levenberg–Marquardt …”
Volltext

How to Build Your Own ASP-based System? von KAMINSKI, ROLAND, ROMERO, JAVIER, SCHAUB, TORSTEN, WANKO, PHILIPP

“… Answer Set Programming, or ASP for short, has become a popular and sophisticated approach to declarative problem solving. Its popularity is due to its …”
Volltext

Staged selective parser combinators von Willis, Jamie, Wu, Nicolas, Pickering, Matthew

“… Parser combinators are a middle ground between the fine control of hand-rolled parsers and the high-level almost grammar-like appearance of parsers created via …”
Volltext

A case for data-oriented specifications: simpler implementation of B tools and DSLs von Körner, Philipp, Mager, Florian, Roßbach, Jan

“… Considering programs as data enables powerful meta-programming. One example is Lisp’s macro system, which gives rise to powerful transformations of programs …”
Volltext

Enhancing High-Level Synthesis Using a Meta-Programming Approach von Vandebon, Jessica, de Figueiredo Coutinho, Jose, Luk, Wayne, Nurvitadhi, Eriko

“… In today's increasingly heterogeneous compute landscape, there is high demand for design tools that offer seemingly contradictory features: portable …”
Volltext

Programming cobots by voice: a pragmatic, web-based approach von Ionescu, Tudor B., Schlund, Sebastian

“… This paper introduces a novel voice-based programming approach and software framework for collaborative robots (cobots) based on the Web Speech API, which is …”
Volltext

Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations von Etemadi, Khashayar, Harrand, Nicolas, Larsen, Simon, Adzemovic, Haris, Phu, Henry Luong, Verma, Ashutosh, Madeiral, Fernanda, Wikstrom, Douglas, Monperrus, Martin

“… Previous work has shown that early resolution of issues detected by static code analyzers can prevent major costs later on. However, developers often ignore …”
Volltext

Taming stateful computations in Rust with typestates von Duarte, José, Ravara, António

Volltext

A Dependent Type Theory for Meta-programming with Intensional Analysis von Hu, Jason Z. S., Pientka, Brigitte

“… In this paper, we introduce DeLaM, a dependent layered modal type theory which enables meta-programming in Martin-Löf type theory (MLTT) with recursion …”
Volltext

Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming von Kubica, Bartłomiej Jacek

“… Algorithmic differentiation is a tool used in several branches of computational science, both in conjunction with the interval calculus, and apart of it. This …”
Volltext

Modular language implementation in Rascal – experience report von Basten, Bas, van den Bos, Jeroen, Hills, Mark, Klint, Paul, Lankamp, Arnold, Lisser, Bert, van der Ploeg, Atze, van der Storm, Tijs, Vinju, Jurgen

“… All software evolves, and programming languages and programming language tools are no exception. And just like in ordinary software construction, modular …”
Volltext

EspyInsideFunction.jl — extracting intermediate results from numerical functions von Mainçon, Philippe

“… EspyInsideFunction allows to write software in the Julia programming language Julia (2017) [1] to make the value of variables within a function’s local scope — …”
Volltext

A Prolog-based Approach to Self-Evaluated, Declarative and Zero-Knowledge Verifiable Policies von Farkas, Martin, Toldi, Balazs Adam, Peter, Bertalan Zoltan, Kocsis, Imre

“… In most domains where declarative policies are employed, it is typically the executor of the policy who performs policy evaluation, and not the subjects of …”
Volltext

Enabling PHP software engineering research in Rascal von Hills, Mark, Klint, Paul, Vinju, Jurgen J.

“… Today, PHP is one of the most popular programming languages, and is commonly used in the open source community and in industry to build large application …”
Volltext

Soploon: A virtual assistant to help teachers to detect object‐oriented errors in students’ source codes von Vallejos, Sebastián, Berdun, Luis S., Armentano, Marcelo G., Soria, Álvaro, Teyseyre, Alfredo R.

“… When checking students’ source codes, teachers tend to overlook some errors. This work introduces Soploon, a tool that automatically detects novice programmer …”
Volltext

Automatic object model generation for nanoelectronics using C++ meta programming von Peng, Fei, Xiao, Zhenjie, Xu, Dong, Huang, Jianhong, Xie, Guangjun

“… Since the development of nanoelectronics is at its early stage, a lot of different devices have been proposed. Accompanying the increasing research interests …”
Volltext