1
Pubblicazione 2014
Sommario: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testo
Elettronico eBook
3
Pubblicazione 2013
Sommario: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testo
Elettronico eBook
4
Pubblicazione 2013
Sommario: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Testo
Elettronico eBook
5
Pubblicazione 2015
Sommario: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Testo
Elettronico eBook
6
Pubblicazione 2006
Sommario: ...-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic...
Testo
Elettronico eBook
7
Pubblicazione 2011
Sommario: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
Testo
Elettronico eBook
8
Pubblicazione 2012
Sommario: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Testo
Elettronico eBook
9
Pubblicazione 2012
Sommario: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Testo
Elettronico eBook
10
Pubblicazione 2012
Sommario: ... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...
Testo
Elettronico eBook
11
Pubblicazione 2015
Sommario: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Testo
Elettronico eBook
12
Soggetti: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
Testo
Elettronico eBook
13
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook