Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel enumeration » parallel generation, parallel operation, parallel acceleration
functionals function » function function, functions functional, function dysfunction
enumeration program » enumeration problem, enumeration problems, education program
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
parallel enumeration » parallel generation, parallel operation, parallel acceleration
functionals function » function function, functions functional, function dysfunction
enumeration program » enumeration problem, enumeration problems, education program
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
2
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“...An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”View full text
Electronic
eBook