Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming functionals » programming functional, programming function, programming fundamentals
functionals function » function function, functions functional, function dysfunction
setting programming » solving programming, routing programming, sharing programming
parallel setting » parallel string, parallel sorting, parallel nesting
function https » functions https, fiction https
programming functionals » programming functional, programming function, programming fundamentals
functionals function » function function, functions functional, function dysfunction
setting programming » solving programming, routing programming, sharing programming
parallel setting » parallel string, parallel sorting, parallel nesting
function https » functions https, fiction https
1
Publicado 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2008
Table of Contents:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2014
Table of Contents:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”Ligazón do recurso
Electrónico
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicado 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Ligazón do recurso
Electrónico
eBook
16
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Ligazón do recurso
Electrónico
eBook
17
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
18
Table of Contents:
“...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Ligazón do recurso
Electrónico
eBook