Results 41 to 50 of about 1,093,472 (338)
Verified low-level programming embedded in F* [PDF]
Proc. ACM Program. Lang., 2017 We present Low*, a language for low-level programming and verification, and its application to high-assurance optimized cryptographic libraries. Low* is a shallow embedding of a small, sequential, well-behaved subset of C in F*, a dependently- typed ...
Jonathan Protzenko +10 more
semanticscholar +1 more source
A Framework for Rapid Development and Portable Execution of Packet-Handling Applications [PDF]
, 2005 This paper presents a framework that enables the execution of packet-handling applications (such as sniffers, firewalls, intrusion detectors, etc.) on different hardware platforms.
Baldi, Mario +1 more
core +1 more source
Electronics, 2019 Network algorithms are building blocks of network applications. They are inspired by emerging commodity programmable switches and the Programming Protocol-Independent Packet Processors (P4) language.
Zijun Hang +3 more
semanticscholar +1 more source
TOWARDS A HIGH-LEVEL C++ ABSTRACTION TO UTILIZE THE READ-COPY-UPDATE PATTERN [PDF]
Acta Electrotechnica et Informatica, 2018 Concurrent programming with classical mutex/lock techniques does not scale well when reads are way more frequent than writes. Such situation happens in operating system kernels among other performance critical multithreaded applications.
Gabor MÁRTON +2 more
doaj +1 more source
Extending scientific computing system with structural quantum programming capabilities
, 2010 We present a basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language
A. van Tonder +29 more
core +2 more sources
Using Mathematica within E-Prime [PDF]
Tutorials in Quantitative Methods for Psychology, 2009 When programming complex experiments (for example, involving the generation of stimuli online), the traditional experiment programming software are not well equipped.
Denis Cousineau
doaj
Performance of Lambda Expressions in High Level Programming Languages
TEM Journal, 2023 Functional programming is a programming paradigm that is becoming increasingly popular among software developers. This is due in part to the rise of distributed systems and the need for more robust and scalable code. In the paper is presented an overview of the syntax and capabilities of Lambda expressions in three programming languages – C#, Java and ...
Todorov, Todor, Noev, Nikolay
openaire +2 more sources
Digital Controller Development Methodology Based on Real-Time Simulations with LabVIEW FPGA Hardware-Software Toolset [PDF]
Electronics, 2013 In this paper, we exemplify the use of NI Lab-VIEW FPGA as a rapid prototyping environment for digital controllers. In our power electronics laboratory, it has been successfully employed in the development, debugging, and test of different power ...
Tommaso Caldognetto +2 more
doaj +1 more source
Disruption of SETD3‐mediated histidine‐73 methylation by the BWCFF‐associated β‐actin G74S mutation
FEBS Letters, EarlyView.The β‐actin G74S mutation causes altered interaction of actin with SETD3, reducing histidine‐73 methylation efficiency and forming two distinct actin variants. The variable ratio of these variants across cell types and developmental stages contributes to tissue‐specific phenotypical changes. This imbalance may impair actin dynamics and mechanosensitive
Anja Marquardt +8 more
wiley +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