Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function network » function networks, functional network, functional networks
program function » programme function, programs functional, program foundation
array program » array programs, arrest program, day program
network https » networks https, networks http, network ttp
function network » function networks, functional network, functional networks
program function » programme function, programs functional, program foundation
array program » array programs, arrest program, day program
network https » networks https, networks http, network ttp
1
Published 2005
Table of Contents:
“... on Efficient Index Techniques -- A Parallel Routing Algorithm on Circulant Networks Employing the Hamiltonian...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
6
Table of Contents:
“... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
View full text
View full text
Electronic
eBook
7
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... for Clusters -- Parallel Information Theory Based Construction of Gene Regulatory Networks -- Communication...”View full text
Electronic
eBook
18
Subjects:
“...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Optimization Component.-Time Series Prediction by Artificial Neural Networks and Differential Evolution...”View full text
Electronic
eBook