Results 31 to 40 of about 744,641 (236)
FunTAL: Reasonably Mixing a Functional Language with Assembly
, 2017 We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting compositional reasoning about the mix.
Ahmed, Amal +3 more
core +1 more source
Abstraction in situation calculus action theories [PDF]
, 2017 We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification and a low-level specification of the agent, both repre- sented as basic ...
Banihashemi, Bita +2 more
core +1 more source
Journal of Mechanical Engineering, 2016 In this paper, the form of modifications of the existing sequential code written in C or C++ programming language for the calculation of various kind of structures using the explicit form of the Finite Element Method (Dynamic Relaxation Method, Explicit ...
Rek Václav, Němec Ivan
doaj +1 more source
isQ: An Integrated Software Stack for Quantum Programming
IEEE Transactions on Quantum Engineering, 2023 We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make programmers write quantum programs as conveniently as possible.
Jingzhe Guo +8 more
doaj +1 more source
Advancing Software Development for a Multiprocessor System-on-Chip [PDF]
Journal of Systemics, Cybernetics and Informatics, 2007 A low-level language is the right tool to develop applications for some embedded systems. Notwithstanding, a high-level language provides a proper environment to develop the programming tools.
Stephen Bique
doaj
Creating Prototype Virus - Destroying Files and Texts on Any Computer
Prizren Social Science Journal, 2019 When we study how viruses work and prevent them, we've developed a very simple application where we can see a prototype of a virus and virus function, as well as neutralizing a file if we want to break it down its structure at the level of the bits ...
Naim BAFTIU, Samedin KRABAJ
doaj +1 more source
Quantum Computing and Quantum Algorithms [PDF]
, 2020 The field of quantum computing and quantum algorithms is studied from the ground up. Qubits and their quantum-mechanical properties are discussed, followed by how they are transformed by quantum gates.
Serban, Daniel
core +1 more source
Teaching Programming Principles through a Game Engine
CLEI Electronic Journal, 2010 Teaching fundamental programming to freshmen is a hard task to be performed, given the high level of abstraction and logical reasoning that are required for these students to develop in a very early stage of their course. This paper presents a discussion
Cristiane Camilo Hernandez +6 more
doaj +1 more source
Integrating R and Java for Enhancing Interactivity of Algorithmic Data Analysis Software Solutions [PDF]
Revista Română de Statistică, 2016 Conceiving software solutions for statistical processing and algorithmic data analysis involves handling diverse data, fetched from various sources and in different formats, and presenting the results in a suggestive, tailorable manner.
Titus Felix FURTUNĂ, Claudiu VINȚE
doaj
Parametric programming of CNC machine tools
MATEC Web of Conferences, 2017 The article presents the possibilities of parametric programming of CNC machine tools for the SINUMERIK 840D sl control system. The kinds and types of the definition of variables for the control system under discussion described.
Gołębski Rafał
doaj +1 more source