Results 41 to 50 of about 1,116,097 (338)
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
Building Efficient Query Engines in a High-Level Language [PDF]
TODS, 2014 ion without regret refers to the vision of using high-level programming languages for systems development without experiencing a negative impact on performance.
Amir Shaikhha +2 more
semanticscholar +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
The Interface Between Distributed Operating System and High-Level Programming Language
International Conference on Parallel Processing, 1986 : A distributed operating system provides a process abstraction and primitives for communication between processes. A distributed programming language regularizes the use of the primitives, making them both safer and more convenient.
M. Scott
semanticscholar +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
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
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
Ordered Ports - a Language Concept for High-level Distributed Programming [PDF]
The Computer Journal, 1987 A new language concept for high-level distributed programming is proposed. Programs are organised as a collection of concurrently executing processes. Some of these processes, referred to as liaison processes, have a monitor-like structure and contain ports which may may be invoked by other processes for the purposes of synchronisation and ...
Basu, Julie, Patnaik, LM, Goswami, AK
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