1
Publicat 2010
Taula de continguts: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...
Obtenir text complet
Electrònic eBook
7
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Obtenir text complet
Electrònic eBook
9
Publicat 2006
Taula de continguts: ... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...
Obtenir text complet
Electrònic eBook
10
Taula de continguts: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Obtenir text complet
Electrònic eBook
11
Publicat 2015
Taula de continguts: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
Obtenir text complet
Electrònic eBook
14
Publicat 2008
Taula de continguts: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Obtenir text complet
Electrònic eBook
15
Publicat 2006
Taula de continguts: ... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...
Obtenir text complet
Electrònic eBook
16
Publicat 2013
Taula de continguts: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
Obtenir text complet
Electrònic eBook
17
Publicat 2015
Taula de continguts: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Obtenir text complet
Electrònic eBook