Works matching DE "HIGH-level programming languages"
Results: 30
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
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
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
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
A systematic literature review of the Teleo-Reactive paradigm.
- Published in:
- Artificial Intelligence Review, 2014, v. 42, n. 4, p. 945, doi. 10.1007/s10462-012-9350-2
- By:
- Publication type:
- Article
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
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
Book Reviews.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
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
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
FPGA high-level synthesis compile optimization algorithm based on matrix partitioning.
- Published in:
- Application Research of Computers / Jisuanji Yingyong Yanjiu, 2013, v. 30, n. 11, p. 3349, doi. 10.3969/j.issn.1001-3695.2013.11.037
- By:
- Publication type:
- Article
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
High-level frameworks for the specification and verification of scheduling problems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 397, doi. 10.1007/s10009-017-0466-1
- By:
- Publication type:
- Article
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
A Comprehensive Study on Code Optimization- Levels & Techniques.
- Published in:
- International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 1897
- By:
- Publication type:
- Article
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
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
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
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
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
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
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
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
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
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
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
Facile Programming.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2012, v. 9, n. 3, p. 256
- By:
- Publication type:
- Article
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
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
AUTOMATIC MAPPING OF ASSIST APPLICATIONS USING PROCESS ALGEBRA.
- Published in:
- Parallel Processing Letters, 2008, v. 18, n. 1, p. 175, doi. 10.1142/S0129626408003302
- By:
- Publication type:
- Article