Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
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
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...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο



