1
Pubblicazione 2010
Sommario: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Testo
Elettronico eBook
3
Pubblicazione 2005
Sommario: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Testo
Elettronico eBook
4
Pubblicazione 2015
Sommario: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Testo
Elettronico eBook
5
Pubblicazione 2014
Sommario: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Testo
Elettronico eBook
7
Pubblicazione 2010
Sommario: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Testo
Elettronico eBook
8
Pubblicazione 2008
Sommario: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Testo
Elettronico eBook
9
Pubblicazione 2005
Sommario: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Testo
Elettronico eBook
10
Pubblicazione 2014
Sommario: ... -- Skeletonizing Digital Images with Cellular Automata -- Image Processing Algorithms Implementation Using Quantum...
Testo
Elettronico eBook
11
di Pace, Larry., Pace, Larry., Wiley, Joshua.
Pubblicazione 2015
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
12
Pubblicazione 2014
Sommario: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Testo
Elettronico eBook
13
Pubblicazione 2005
Sommario: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Testo
Elettronico eBook
14
Pubblicazione 2007
Sommario: ... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...
Testo
Elettronico eBook
15
Pubblicazione 2006
Sommario: ... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...
Testo
Elettronico eBook
16
Pubblicazione 2010
Sommario: ... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...
Testo
Elettronico eBook
18
Pubblicazione 2008
Sommario: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Testo
Elettronico eBook
19
Pubblicazione 2008
Sommario: ... -- Interactive Linked Micromap Plots for the Display of Geographically Referenced Statistical Data -- Grand Tours...
Testo
Elettronico eBook
20
Pubblicazione 2010
Sommario: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Testo
Elettronico eBook