Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
based arrays » phased arrays, based assays, laser arrays
arrays via » arrays a
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
based arrays » phased arrays, based assays, laser arrays
arrays via » arrays a
1
Được phát hành 2005
Mục lục:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2010
Mục lục:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2005
Mục lục:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2010
Mục lục:
“...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2010
Mục lục:
“... -- Part-Based Feature Synthesis for Human Detection -- Improving the Fisher Kernel for Large-Scale Image...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2013
Mục lục:
“... Algorithm -- A Soft-computing Based Approach to Economic and Environmental Analysis of an Autonomous Power...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2013
Mục lục:
“... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2005
Mục lục:
“... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2007
Mục lục:
“... Cleaning Cost for Flash Memory -- VLSI Architecture for MRF Based Stereo Matching -- Low-Power Twiddle...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2015
Mục lục:
“... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2007
Mục lục:
“... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2010
Mục lục:
“... Based on Networked Architecture -- Validation of a Virtual Reality Environment to Study Anticipatory...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2014
Mục lục:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2010
Mục lục:
“... by Early Detection of Interoperability Issues -- Specification Based Conformance Testing for Email...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2010
Mục lục:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2007
Mục lục:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2013
Mục lục:
“... Array-Based Systems with Applications to Security-Aware Workflows -- Presburger Arithmetic in Memory...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2010
Mục lục:
“... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2012
Mục lục:
“... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2014
Mục lục:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”lấy văn bản
Điện tử
eBook
- 1
- 2
- Tiếp theo »
- [2]