Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
modular function » modular functions, submodular function, modularity function
problem modular » problem molecular, problems popular, problem model
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
modular function » modular functions, submodular function, modularity function
problem modular » problem molecular, problems popular, problem model
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Grove and Its Distributed Performance -- A Massively Parallel Hardware for Modular Exponentiations Using...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Terms and Parallel Substitutions -- ModuRes: a Coq Library for Modular Reasoning about Concurrent...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Concurrent Clause Strengthening -- Parallel MUS Extraction -- Maximum Satisfiability -- A Modular Approach...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... for search based modularization of sequential source code check-ins Simple Pattern Spectrum Estimation...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... for Elliptic Curves in the Coq Proof Assistant -- Truly Modular (Co) data types for Isabelle/HOL -- Cardinals...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... of the Parallel Knock-Out Problem -- Reconfigurations in Graphs and Grids -- -Varieties, Actions and Wreath...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Invited Talk -- Constant-Working-Space Algorithms: How Fast Can We Solve Problems without Using Any...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“...-Subsets Sum Problem -- Spike Train Pattern and Firing Synchronization in a Model of the Olfactory Mitral...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Algorithm -- Functional Blueprints: An Approach to Modularity in Grown Systems -- Heterogeneous Particle...”View full text
Electronic
eBook