Εναλλακτικές αναζητήσεις:
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming service » programming series, programme service, programming semantics
service arrays » service areas, service area, service pays
arrays via » arrays a
1
Έκδοση 2005
Πίνακας περιεχομένων: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2010
Πίνακας περιεχομένων: ... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2005
Πίνακας περιεχομένων: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2010
Πίνακας περιεχομένων: ...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2010
Πίνακας περιεχομένων: ... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2013
Πίνακας περιεχομένων: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2013
Πίνακας περιεχομένων: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2005
Πίνακας περιεχομένων: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2007
Πίνακας περιεχομένων: ... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2015
Πίνακας περιεχομένων: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2007
Πίνακας περιεχομένων: ... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2014
Πίνακας περιεχομένων: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων: ... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2010
Πίνακας περιεχομένων: ... -- InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2007
Πίνακας περιεχομένων: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2013
Πίνακας περιεχομένων: ... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2013
Πίνακας περιεχομένων: ...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Linear Coherent Bi-cluster Discovery via Beam Detection and Sample Set Clustering -- An Iterative...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2010
Πίνακας περιεχομένων: ... Therapies -- Virtual Surface Discrimination via an Anisotropic-Stiffness Contact Model -- Embedding Tactile...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2012
Πίνακας περιεχομένων: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο