Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
1
Publicado 2005
Table of Contents:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2013
Table of Contents:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2005
Table of Contents:
“... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2011
Table of Contents:
“... on the Internet of Things -- Finding All Maximum Non-crossing Subsets of Nets Using Dynamic Programming -- Non...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2012
Table of Contents:
“... Controller for Flexible Specifications Using Difference Signals and Competitive Associative Nets -- Moments...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2014
Table of Contents:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2005
Table of Contents:
“... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“... Detection -- Cossack Ranger II – A High Quality, Versatile and Affordable 3-Component Short-Period...”Ligazón do recurso
Electrónico
eBook