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