A Unified Programming Model for Heterogeneous Computing with CPU and Accelerator Technologies [PDF]
arXiv, 2022 This paper consists of three parts. The first part provides a unified programming model for heterogeneous computing with CPU and accelerator (like GPU, FPGA, Google TPU, Atos QPU, and more) technologies. To some extent, this new programming model makes programming across CPUs and accelerators turn into usual programming tasks with common programming ...
arxiv
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming [PDF]
Theory and Practice of Logic Programming, pages 1-48, 25 February
2019, 2018 Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques.
arxiv +1 more source
Program komputerowy w orzecznictwie organów ochrony prawnej
Acta Iuris Stetinensis, 2017 The rapid development of computing has come at the second half of 20th century. Back in the last century, we can see specific rules about computer programs. From this is born the need of a balanced position of jurisprudence about computer programs.
Łukasz Zimończyk
doaj +1 more source
Harmful computer programs in the criminal legislation of the Russian Federation
Путеводитель предпринимателя, 2020 Various points of view on definition of the harmful program in criminal law are presented in the present article. Classification is given and features of different types of harmful programs and programs which can be used as harmful are revealed. Author’s
V. V. Vorobyov
doaj
Computer-Aided Construction at Designing Reinforced Concrete Columns as Per Ec
International Journal of Applied Mechanics and Engineering, 2015 The article presents the authors’ computer program for designing and dimensioning columns in reinforced concrete structures taking into account phenomena affecting their behaviour and information referring to design as per EC.
M. Zielińska, K. Grębowski
doaj +1 more source
Calculation of the effective diffusion coefficient during the drying of clay samples [PDF]
Journal of the Serbian Chemical Society, 2012 The aim of this study was to calculate the effective diffusion coefficient based on experimentally recorded drying curves for two masonry clays obtained from different localities.
Vasić Miloš +2 more
doaj +1 more source
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs [PDF]
EPTCS 79, 2012, pp. 124-142, 2012 We present an approach to program reasoning which inserts between a program and its verification conditions an additional layer, the denotation of the program expressed in a declarative form. The program is first translated into its denotation from which subsequently the verification conditions are generated. However, even before (and independently of)
arxiv +1 more source
Generate the three roots of Arabic vocabulary using a Computer program [PDF]
مجلة التربية والعلم, 1999 The research deals with using computer program in Arabic linguistic sciences through making it contribute in time economy in addition to its nature as a means of teaching and learning. A user of a computer can recognize the great difference and advantage
Muna Hamde
doaj +1 more source
Verification of MPI programs [PDF]
arXiv, 2021 In this paper, we outline an approach to verifying parallel programs. A new mathematical model of parallel programs is introduced. The introduced model is illustrated by the verification of the matrix multiplication MPI program.
arxiv
Medication supply chain management through implementation of a hospital pharmacy computerized inventory program in Haiti [PDF]
Global Health Action, 2015 Background: In the aftermath of the 2010 earthquake in Haiti, St. Luke Hospital was built to help manage the mass casualties and subsequent cholera epidemic. A major problem faced by the hospital system was the lack of an available and sustainable supply
Michelle R. Holm +2 more
doaj +1 more source