High-Level Programming for Many-Cores Using C++14 and the STL.
- Published in:
- International Journal of Parallel Programming, 2018, v. 46, n. 1, p. 23, doi. 10.1007/s10766-017-0497-y
- By:
- Publication type:
- Article
Works matching DE "HIGH-level programming languages"
Results: 25
1
2
A Compiler Intermediate Representation for Reconfigurable Fabrics.
- Published in:
- International Journal of Parallel Programming, 2008, v. 36, n. 5, p. 493, doi. 10.1007/s10766-008-0080-7
- By:
- Publication type:
- Article
3
A certified lightweight non-interference Java bytecode verifier.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 1032, doi. 10.1017/S0960129512000850
- By:
- Publication type:
- Article
4
Computability of String Functions Over Algebraic Structures Armin Hemmerling.
- Published in:
- Mathematical Logic Quarterly, 1998, v. 44, n. 1, p. 1, doi. 10.1002/malq.19980440102
- By:
- Publication type:
- Article
5
Defining the execution semantics of stream processing engines.
- Published in:
- Journal of Big Data, 2017, v. 4, n. 1, p. 1, doi. 10.1186/s40537-017-0072-9
- By:
- Publication type:
- Article
6
Idris, a general-purpose dependently typed programming language: Design and implementation.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 5, p. 552, doi. 10.1017/S095679681300018X
- By:
- Publication type:
- Article
7
Book Reviews.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
8
A wireless sensor network framework based on light databases.
- Published in:
- Software: Practice & Experience, 2013, v. 43, n. 5, p. 501, doi. 10.1002/spe.2119
- By:
- Publication type:
- Article
9
Nasogastric Tube Dislodgment Detection in Rehabilitation Patients Based on Fog Computing with Warning Sensors and Fuzzy Petri Net.
- Published in:
- Sensors & Materials, 2019, v. 31, n. 1, Part 2, p. 117, doi. 10.18494/SAM.2019.1993
- By:
- Publication type:
- Article
10
GCC2Verilog Compiler Toolset for Complete Translation of C Programming Language into Verilog HDL.
- Published in:
- ETRI Journal, 2011, v. 33, n. 5, p. 731, doi. 10.4218/etrij.11.0110.0654
- By:
- Publication type:
- Article
11
FPGA-BASED DVCPRO HD DECODER IMPLEMENTATION USING IMPULSE C.
- Published in:
- Computer Science, 2013, v. 14, n. 4, p. 531, doi. 10.7494/csci.2013.14.4.531
- By:
- Publication type:
- Article
12
Mathematical Modeling of the Design Process of Additional Aerodynamic Surfaces of the Wing as a Component of the Configuration of a Commercial Airliner.
- Published in:
- Advances in Military Technology, 2016, v. 11, n. 1, p. 29
- By:
- Publication type:
- Article
13
High-Level Synthesis through metaheuristics and LUTs optimization in FPGA devices.
- Published in:
- AI Communications, 2017, v. 30, n. 2, p. 151, doi. 10.3233/AIC-170727
- By:
- Publication type:
- Article
14
Applied Linguistics Research at the Service of Classroom Practices: Bridging Connections.
- Published in:
- Journal of New Approaches in Educational Research, 2016, v. 5, n. 2, p. 64, doi. 10.7821/naer.2016.7.200
- By:
- Publication type:
- Article
15
On Teaching the History of California Spanish to HLL using Siri: Methodology and Procedures.
- Published in:
- Journal of New Approaches in Educational Research, 2016, v. 5, n. 2, p. 107, doi. 10.7821/naer.2016.7.192
- By:
- Publication type:
- Article
16
Table space designs for implicit and explicit concurrent tabled evaluation.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 950, doi. 10.1017/S147106841800039X
- By:
- Publication type:
- Article
17
As time goes by: Constraint Handling Rules.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 1, p. 1, doi. 10.1017/S1471068409990123
- By:
- Publication type:
- Article
18
Flexible and efficient profiling with aspect-oriented programming.
- Published in:
- Concurrency & Computation: Practice & Experience, 2011, v. 23, n. 15, p. 1749, doi. 10.1002/cpe.1760
- By:
- Publication type:
- Article
19
A High-level Synthesis Design Flow from ESL to RTL with Multi-parametric Optimization Objective.
- Published in:
- IETE Journal of Research, 2011, v. 57, n. 2, p. 172, doi. 10.4103/0377-2063.81741
- By:
- Publication type:
- Article
20
Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts: A Case Study of an Embedded Controller.
- Published in:
- Defence Science Journal, 2019, v. 69, n. 1, p. 58, doi. 10.14429/dsj.69.12294
- By:
- Publication type:
- Article
21
DESIGN AND ANALYSIS OF 32X32 BIT ALU USING HIGH-SPEED VEDIC-WALLACE MULTIPLIER BASED ON VEDIC MATHEMATICS.
- Published in:
- i-Manager's Journal on Electronics Engineering, 2016, v. 6, n. 3, p. 7, doi. 10.26634/jele.6.3.5954
- By:
- Publication type:
- Article
22
A Virtual SIMD Machine Approach for Abstracting Heterogeneous Multicore Processors.
- Published in:
- GSTF Journal on Computing, 2012, v. 1, n. 4, p. 143
- By:
- Publication type:
- Article
23
Facile Programming.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2012, v. 9, n. 3, p. 256
- By:
- Publication type:
- Article
24
Trasgo: a nested-parallel programming system.
- Published in:
- Journal of Supercomputing, 2011, v. 58, n. 2, p. 226, doi. 10.1007/s11227-009-0367-5
- By:
- Publication type:
- Article
25
Evaluation of high-level query languages based on MapReduce in Big Data.
- Published in:
- Journal of Big Data, 2018, v. 5, n. 1, p. 1, doi. 10.1186/s40537-018-0146-3
- By:
- Publication type:
- Article