1
Publicado 2007
Table of Contents: ... FO over Acyclic Structures -- Session A12 -- Strong Price of Anarchy for Machine Load Balancing...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... -- Tight Bounds for Selfish and Greedy Load Balancing -- Complexity I -- Lower Bounds of Static Lovász...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ... Model in Supply Chain Management Using Fuzzy Goal Programming Approach -- Evaluation of Enterprise...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... -- Complexity Results on Balanced Context-Free Languages -- Logical Reasoning for Higher-Order Functions...
Ligazón do recurso
Electrónico eBook
5
Table of Contents: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
Ligazón do recurso
Electrónico eBook
6
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
7
por Oller, Sergio., Oller, Sergio.
Publicado 2014
Table of Contents: ... -- Particular yield functions -- Mohr-Coulomb modified function -- Drucker-Prager Modified function -- Isotropic...
Ligazón do recurso
Electrónico eBook
8
por Han, Maoan., Han, Maoan., Yu, Pei.
Publicado 2012
Table of Contents: ... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
Ligazón do recurso
Electrónico eBook
10
Publicado 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Ligazón do recurso
Electrónico eBook
11
Publicado 2010
Table of Contents: ... Vectorization -- A Balanced Approach to Application Performance Tuning -- Automatically Tuning Parallel...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ...Designing Reliable Algorithms in Unreliable Memories -- From Balanced Graph Partitioning...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Ligazón do recurso
Electrónico eBook
15
Publicado 2005
Table of Contents: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
Ligazón do recurso
Electrónico eBook
16
Publicado 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Ligazón do recurso
Electrónico eBook
17
Publicado 2006
Table of Contents: ... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...
Ligazón do recurso
Electrónico eBook
18
Publicado 2007
Table of Contents: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Ligazón do recurso
Electrónico eBook
19
Publicado 2013
Table of Contents: ... Scheduling to Simultaneously Minimize All Convex Functions -- Shrinking Maxima, Decreasing Costs: New Online...
Ligazón do recurso
Electrónico eBook
20
Publicado 2010
Table of Contents: ... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...
Ligazón do recurso
Electrónico eBook