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 net » programming new, programming janet, programming now
net array » nets array, key array, led array
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming net » programming new, programming janet, programming now
net array » nets array, key array, led array
1
Được phát hành 2005
Mục lục:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2007
Mục lục:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”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 2005
Mục lục:
“... -- International Grid CA Interworking, Peer Review and Policy Management Through the European DataGrid...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2013
Mục lục:
“... Frequency-Sensitive Sampling-Based Approach for Data Race Detection -- One-to-One Disjoint Path Covers...”lấy văn bản
Điện tử
eBook
6
Đượ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
7
Được phát hành 2014
Mục lục:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2010
Mục lục:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”lấy văn bản
Điện tử
eBook
10
Đượ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
11
Được phát hành 2012
Mục lục:
“... HowNet-Based Multi-factor Word Similarity Algorithm Integrated of Result Modification -- Composite Data...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2005
Mục lục:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”lấy văn bản
Điện tử
eBook
13
Đượ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
14
Được phát hành 2011
Mục lục:
“... pump -- FPGA-Based PCI Data Acquisition Synchronization Card of Railway Clearance Detection System...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2010
Mục lục:
“... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2010
Mục lục:
“... When Mining Large Data Bases -- Improved Graph-Based Metrics for Clustering High-Dimensional Datasets...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2008
Mục lục:
“... Drop and High Frequency Diminution Parameter from Strong Motion Data Recorded in Albania -- Seismicity...”lấy văn bản
Điện tử
eBook