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
programming invited » programming inside, programming finite, programming induced
invited array » nested array
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming invited » programming inside, programming finite, programming induced
invited array » nested array
1
Được phát hành 2008
Mục lục:
“... Cluster Detection over Massive Spatial Data -- An Abstraction Based Communication Efficient Distributed...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2010
Mục lục:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”lấy văn bản
Điện tử
eBook
3
Đượ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
4
Được phát hành 2007
Mục lục:
“... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2007
Mục lục:
“...Invited Lectures -- Rewriting Systems with Data -- Spiking Neural P Systems: Some Characterizations...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2008
Mục lục:
“...Invited Papers -- Transforming Abstract Interpretations by Abstract Interpretation -- Reflections...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2005
Mục lục:
“... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”lấy văn bản
Điện tử
eBook
8
Đượ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
9
Được phát hành 2007
Mục lục:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2013
Mục lục:
“...-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2005
Mục lục:
“... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2006
Mục lục:
“... Proteomic Data -- Learning Bayesian Classifiers from Gene-Expression MicroArray Data -- Special Session...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2006
Mục lục:
“... Solution -- Principal Components for Automatic Term Hierarchy Building -- Strings -- Computing the Minimum...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2007
Mục lục:
“... Streams -- Feature Clustering Method to Detect Monotonic Chain Structures in Symbolic Data -- Symbolic...”lấy văn bản
Điện tử
eBook



