Søgeresultater - program balancing https function function https

Søg alternativer:
program balancing » programming balancing , program slicing , program bringing
function function » function functional , functions functional , function dysfunction
balancing https » planning https , banking https , balancing acts
https function » its function , sites function , ups function
function https » functions https , fiction https

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic...”
Få fuldtekst

Electronisk eBog

Practical Load Balancing Ride the Performance Tiger /

af Membrey, Peter., Membrey, Peter., Plugge, Eelco., Hows, David.
Udgivet 2012

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles

af Han, Maoan., Han, Maoan., Yu, Pei.
Udgivet 2012

Indholdsfortegnelse: “... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...”
Få fuldtekst

Electronisk eBog

Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International...

Udgivet 2010

Indholdsfortegnelse: “... Model in Supply Chain Management Using Fuzzy Goal Programming Approach -- Evaluation of Enterprise...”
Få fuldtekst

Electronisk eBog

Theoretical Numerical Analysis A Functional Analysis Framework /

af Atkinson, Kendall., Atkinson, Kendall., Han, Weimin.
Udgivet 2005

Fag: “...Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12007...”
Få fuldtekst

Electronisk eBog

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Udgivet 2014

Indholdsfortegnelse: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Få fuldtekst

Electronisk eBog

Adapting Proofs-as-Programs The Curry--Howard Protocol /

af Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Udgivet 2005

Indholdsfortegnelse: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”
Få fuldtekst

Electronisk eBog

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Udgivet 2015

Indholdsfortegnelse: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Udgivet 2006

Indholdsfortegnelse: “... -- Tight Bounds for Selfish and Greedy Load Balancing -- Complexity I -- Lower Bounds of Static Lovász...”
Få fuldtekst

Electronisk eBog

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Få fuldtekst

Electronisk eBog

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of S...

Udgivet 2007

Indholdsfortegnelse: “... -- Complexity Results on Balanced Context-Free Languages -- Logical Reasoning for Higher-Order Functions...”
Få fuldtekst

Electronisk eBog

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Udgivet 2010

Indholdsfortegnelse: “... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”
Få fuldtekst

Electronisk eBog

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Få fuldtekst

Electronisk eBog

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... Vectorization -- A Balanced Approach to Application Performance Tuning -- Automatically Tuning Parallel...”
Få fuldtekst

Electronisk eBog