Results 21 to 30 of about 553,982 (390)

Usability Effectiveness of the State Polytechnic of Malang’s Learning Management System as e-Learning Media

Compiler, 2023
The rapid development of information technology has impacted the education sector by supporting a more efficient and effective learning process. During the Covid-19 pandemic, online learning through e-Learning flourished and encouraged the transformation
Nadia Layra Aziza, Shelyca Surrayensih, Tita Wijayanti, Arwin Datumaya Wahyudi Sumari   +3 more
doaj   +1 more source

A formally verified compiler back-end [PDF]

, 2008
This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming ...
A Dold, A Dold, A Hobor, A Pnueli, ACJ Fox, AJ Chlipala, AW Appel, AW Appel, AW Appel, BK Rosen, C Lindig, CW Barrett, D Cachera, D Lacey, D Leinenbach, D Leinenbach, E Eide, F Henderson, G Barthe, G Barthe, G Barthe, G Barthe, G Clemmensen, G Goos, G Klein, G Li, G Li, G Morrisett, G Morrisett, GA Kildall, GC Necula, GC Necula, GC Necula, GC Necula, GJ Chaitin, GP Huet, H-J Boehm, IBM Corporation, J Chen, J Guttman, J Knoop, J Knoop, J McCarthy, J-B Tristan, J-B Tristan, JO Blech, JR Ellis, JS Moore, JS Moore, L Beringer, L Chirica, L George, L Rideau, LD Zuck, M Huisman, M Müller-Olm, M Strecker, MA Dave, N Benton, P Letouzey, P Letouzey, PH Hartel, PW O’Hearn, Q Huang, R Milner, R Stärk, S Beyer, S Blazy, S Blazy, S Coupet-Grimal, S Gulwani, S Lerner, SL Peyton Jones, SS Muchnick, TC Hales, WM McKeeman, X Feng, X Leroy, X Leroy, X Leroy, X Leroy, X Rival, Xavier Leroy, Y Bertot, Y Bertot, Z Shao   +85 more
core   +7 more sources

Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code [PDF]

IEEE/ACM International Symposium on Code Generation and Optimization, 2018
This paper introduces Tiramisu, a polyhedral framework designed to generate high performance code for multiple platforms including multicores, GPUs, and distributed machines.
Riyadh Baghdadi, Jessica Ray, Malek Ben Romdhane, Emanuele Del Sozzo, Abdurrahman Akkas, Yunming Zhang, Patricia Suriana, Shoaib Kamil, Saman P. Amarasinghe   +8 more
semanticscholar   +1 more source

Web-Based Management Information System Design for Student Organizations in Kendal Regency Using Next.js Framework

Compiler, 2023
Regional student organizations are essential for student development and fostering regional peer relationships. However, regional student organizations faced challenges in management due to the lack of digitization such as in the proposal’s approval ...
Fx Guntur Putra Susanto, Nizar Izzuddin Yatim Fadlan, Prita Haryani   +2 more
doaj   +1 more source

Rain conditions affect the transmission of Streaming video data on Aeromodelling

Compiler, 2023
Streaming is the process of sending data continuously that can be broadcast over the internet. FPV (First-person view) is a method used to control radio control vehicles from the pilot.
Agus Suhendar, Murti Retnowo
doaj   +1 more source

EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation [PDF]

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2019
Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive.
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi   +5 more
semanticscholar   +1 more source

Supporting separate compilation in a defunctionalizing compiler [PDF]

OpenAccess Series in Informatics, 2013
Defunctionalization is generally considered a whole-program transformation and thus incompatible with separate compilation. In this paper, we formalize a modular variant of defunctionalization which can support separate compilation. Our technique allows modules in a Haskell-like language to be separately defunctionalized and compiled, then linked ...
Fourtounis, Georgios, Papaspyrou, Nikolaos S.   +1 more
openaire   +3 more sources

Compiler and virtual machine of a multiplatform control environment [PDF]

Bulletin of the Polish Academy of Sciences: Technical Sciences, 2022
Design and operation of a compiler and virtual machine, being the essential components of a multiplatform control programming environment, are presented.
Jan Sadolewski, Bartosz Trybus
doaj   +1 more source

Compilability of propositional abduction [PDF]

ACM Transactions on Computational Logic, 2007
Abduction is one of the most important forms of reasoning; it has been successfully applied to several practical problems, such as diagnosis. In this article we investigate whether the computational complexity of abduction can be reduced by an appropriate use of preprocessing.
LIBERATORE, Paolo, SCHAERF, Marco
openaire   +4 more sources

An Interactive Interpreter for Two Dimensional Lucid

IEEE Access, 2022
We present an initial draft of the “Luminous” interactive interpreter for a new dialect of the functional dataflow language Lucid. Luminous is not the first implementation of Lucid but it is novel in several ways.
Omar Alaqeeli, William Wadge
doaj   +1 more source