Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
array a » array _
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
array a » array _
1
Published 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”View full text
Electronic
eBook
7
Published 2011
Table of Contents:
“...-Threshold Computing of ECRL Circuits for Ultralow-Power Applications -- A Dual-Threshold CMOS Technique of P...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... for Memristive Neural Network -- Aimbot Detection in Online FPS Games Using a Heuristic Method Based...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Between SQLf and Skyline -- Resolution of Semantic Queries on a Set of Web Services -- Detecting...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Detection -- Cossack Ranger II – A High Quality, Versatile and Affordable 3-Component Short-Period...”View full text
Electronic
eBook