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



