Suchergebnisse - programming language implementation

A high-level programming-language implementation of topology optimization applied to steady-state Navier-Stokes flow von Olesen, Laurits Højgaard, Okkels, Fridolin, Bruus, Henrik

“… We present a versatile high‐level programming‐language implementation of non‐linear topology optimization …”
Volltext

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language von Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“… The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations …”
Volltext

A high-level programming language implementation of topology optimization applied to the acoustic-structure interaction problem von Kook, Junghwan, Chang, Jin Hyun

“… An effective and straightforward method to implement topology optimization using high-level programming is presented …”
Volltext

Programming language implementations for context-oriented self-adaptive systems von Cardozo, Nicolás, Mens, Kim

“… as between the components providing adaptations. We use three implementation techniques for context-oriented programming languages to assess their appropriateness to foster self-adaptive systems …”
Volltext

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations von Park, Jihyeok, Youn, Dongjun, Lee, Kanguk, Ryu, Sukyoung

“… The conformance testing of programming language implementations is crucial to support correct and consistent execution environments …”
Volltext

Idris, a general-purpose dependently typed programming language: Design and implementation von BRADY, EDWIN

“… In this paper, I describe the implementation of Idris, a new dependently typed functional programming language …”
Volltext

Parametric Processes for the Implementation of HBIM—Visual Programming Language for the Digitisation of the Index of Masonry Quality von Calvano, Michele, Martinelli, Letizia, Calcerano, Filippo, Gigliarelli, Elena

“… The purpose of the research is the development of a digital workflow of parametric modelling for the analysis and conservation of historical buildings, by applying visual programming language (VPL …”
Volltext

ROOT RNTuple implementation in Julia programming language von Ling, Jerry, Gál, Tamás

“… RNTuple is the upcoming primary data storage solution at the Large Hadron Collider (LHC) experiments and other high-energy physics (HEP) experiments going …”
Volltext

Live Robot Programming: The language, its implementation, and robot API independence von Campusano, Miguel, Fabry, Johan

“… In contrast, Live Programming tightens the feedback loop, minimizing the cognitive distance …”
Volltext

The Fork95 parallel programming language: Design, implementation, application von Keßler, Christoph W., Seidl, Helmut

“… Fork95 is an imperative parallel programming language intended to express algorithms for synchronous shared memory machines (PRAM …”
Volltext

Analysis of Q# Programming Language Capabilities through Implementation of a Random Number Generation Program von D.O. Sapozhnyk

“… This paper analyzes the capabilities of the Q# programming language through the implementation of a random number generation program …”
Volltext

Towards the Design and Implementation of a Programming Language (Beex) von Chete, Fidelis, Ikeh, Obinna

“… Software Engineers, Computer Scientists, and Software Experts alike are faced to decide which programming language is best suited for a certain purpose as the use of programming languages grows …”
Volltext

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch von Tarau, Paul

Volltext

Quantum Approximate Optimization Algorithm for the Max-Cut Problem: JavaScript Programming Language Implementation von Dmytro Sapozhnyk

“… ) for the Max-Cut problem using the JavaScript programming language. The Max-Cut issue, which involves partitioning the vertices of a graph into two subsets such that the …”
Volltext

Abstract machines for programming language implementation von Diehl, Stephan, Hartel, Pieter, Sestoft, Peter

“… language implementations, relatively little work has been done to design abstract machines in a systematic fashion …”
Volltext

Are We There Yet? Simple Language Implementation Techniques for the 21st Century : PROGRAMMING LANGUAGES von MARR, Stefan, PAPE, Tobias, DE MEUTER, Wolfgang

Volltext

From model to implementation: a network algorithm programming language von Wang, Jian, An, Jie, Chen, Mingshuai, Zhan, Naijun, Wang, Lulin, Zhang, Miaomiao, Gan, Ting

“… By deriving motivation from industry practice, we define a novel network algorithm programming language (NAPL …”
Volltext

Deep specification and proof preservation for the CoqTL transformation language von Cheng, Zheng, Tisi, Massimo

“… Executable engines for relational model-transformation languages evolve continuously because of language extension, performance improvement and bug fixes …”
Volltext

On the implementation of the probabilistic logic programming language ProbLog von KIMMIG, ANGELIKA, DEMOEN, BART, DE RAEDT, LUC, COSTA, VÍTOR SANTOS, ROCHA, RICARDO

“… Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the efficient execution of these queries, discuss their implementation …”
Volltext

The O++ database programming language: implementation and experience von Agrawal, R., Dar, S., Gehani, N.

“… Ode is defined, queried and manipulated using the database programming language O++, which is based on C++. The O …”
Volltext