Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
service arrays » service areas, service area, service pays
arrays via » arrays a
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
service arrays » service areas, service area, service pays
arrays via » arrays a
1
Baskı/Yayın Bilgisi 2005
İçindekiler:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...”Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... -- InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Therapies -- Virtual Surface Discrimination via an Anisotropic-Stiffness Contact Model -- Embedding Tactile...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... -- Linear Coherent Bi-cluster Discovery via Beam Detection and Sample Set Clustering -- An Iterative...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2013
İçindekiler:
“...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”Tam Metin Erişim
Elektronik
Ekitap



