Results 21 to 30 of about 731,863 (337)
Function‐level module sharing techniques in high‐level synthesis
ETRI Journal, 2020 High‐level synthesis (HLS), which automatically synthesizes a register‐transfer level (RTL) circuit from a behavioral description written in a high‐level programming language such as C/C++, is becoming a more popular technique for improving design ...
Hiroki Nishikawa +4 more
doaj +1 more source
Learners Programming Language a Helping System for Introductory Programming Courses [PDF]
Mehran University Research Journal of Engineering and Technology, 2016 Programming is the core of computer science and due to this momentousness a special care is taken in designing the curriculum of programming courses. A substantial work has been conducted on the definition of programming courses, yet the introductory ...
MUHAMMAD SHUMAIL NAVEED +2 more
doaj
Denotational Semantics of A User-Oriented, Domain-Specific Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development.
Julien Mercadal +2 more
doaj +1 more source
Multiactive objects and their applications [PDF]
Logical Methods in Computer Science, 2017 In order to tackle the development of concurrent and distributed systems, the active object programming model provides a high-level abstraction to program concurrent behaviours.
Ludovic Henrio, Justine Rochas
doaj +1 more source
Liquidsoap: A High-Level Programming Language for Multimedia Streaming [PDF]
, 2011 Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users' needs. We introduce a novel approach in order to achieve it, based on a dedicated high-level functional programming language, called Liquidsoap, for generating, manipulating and broadcasting multimedia streams.
Baelde, David +2 more
openaire +3 more sources
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
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
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
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
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