1
Publicado 2015
Tabla de Contenidos: ...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic...
Enlace del recurso
Electrónico eBook
2
Materias: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
3
por Han, Maoan., Han, Maoan., Yu, Pei.
Publicado 2012
Tabla de Contenidos: ... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... Model in Supply Chain Management Using Fuzzy Goal Programming Approach -- Evaluation of Enterprise...
Enlace del recurso
Electrónico eBook
5
Materias: ...Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12007...
Enlace del recurso
Electrónico eBook
6
Publicado 2014
Tabla de Contenidos: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Enlace del recurso
Electrónico eBook
7
Tabla de Contenidos: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
Enlace del recurso
Electrónico eBook
8
Publicado 2007
Tabla de Contenidos: ... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...
Enlace del recurso
Electrónico eBook
9
Publicado 2015
Tabla de Contenidos: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Enlace del recurso
Electrónico eBook
10
Publicado 2006
Tabla de Contenidos: ... -- Tight Bounds for Selfish and Greedy Load Balancing -- Complexity I -- Lower Bounds of Static Lovász...
Enlace del recurso
Electrónico eBook
11
Publicado 2008
Tabla de Contenidos: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Enlace del recurso
Electrónico eBook
12
Publicado 2010
Tabla de Contenidos: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
Enlace del recurso
Electrónico eBook
13
Publicado 2013
Tabla de Contenidos: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Enlace del recurso
Electrónico eBook
14
Publicado 2010
Tabla de Contenidos: ... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...
Enlace del recurso
Electrónico eBook
15
Publicado 2008
Tabla de Contenidos: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... Vectorization -- A Balanced Approach to Application Performance Tuning -- Automatically Tuning Parallel...
Enlace del recurso
Electrónico eBook
17
Publicado 2005
Tabla de Contenidos: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
Enlace del recurso
Electrónico eBook
18
Publicado 2010
Tabla de Contenidos: ... -- Do We Really Understand the Crossing Numbers? -- Balanced Queries: Divide and Conquer -- Slowly...
Enlace del recurso
Electrónico eBook
19
Publicado 2010
Tabla de Contenidos: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Enlace del recurso
Electrónico eBook
20
Publicado 2010
Tabla de Contenidos: ... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...
Enlace del recurso
Electrónico eBook