Rekommenderade teman
Rekommenderade teman
Menade du:
programming automatic » programming mathematics, processing automatic
automatic function » automatic functional, autophagic function, automatic question
data programming » java programming, meta programming, ada programming
function https » functions https, fiction https
programming automatic » programming mathematics, processing automatic
automatic function » automatic functional, autophagic function, automatic question
data programming » java programming, meta programming, ada programming
function https » functions https, fiction https
1
Publicerad 2010
Innehållsförteckning:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2010
Innehållsförteckning:
“... Parallelization: Beyond Affine Iteration-Space Slicing -- Automatic Data Distribution for Improving Data Locality...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2006
Innehållsförteckning:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2007
Innehållsförteckning:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Hämta fulltext
Elektronisk
E-bok
6
Ämnen:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2005
Innehållsförteckning:
“... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2008
Innehållsförteckning:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2005
Innehållsförteckning:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2010
Innehållsförteckning:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2008
Innehållsförteckning:
“... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...”Hämta fulltext
Elektronisk
E-bok
12
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicerad 2015
Innehållsförteckning:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2010
Innehållsförteckning:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2015
Innehållsförteckning:
“... -- Functional Magnetic Resonance Imaging Based on Large Data -- Diagnosis Expert System Design of a Certain...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2015
Innehållsförteckning:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2010
Innehållsförteckning:
“... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...”Hämta fulltext
Elektronisk
E-bok
17
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicerad 2014
Innehållsförteckning:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2012
Innehållsförteckning:
“...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2005
Innehållsförteckning:
“...Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2013
Innehållsförteckning:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Hämta fulltext
Elektronisk
E-bok