Výsledky vyhledávání - parallel problem static functioning function https

Alternativní vyhledávání:
functioning function » functioning functional , function function , functionals function
static functioning » status functioning , static functional , service functioning
parallel problem » parallel program , parallel programs , parallel robots
problem static » problems static , problem state , problems status
function https » functions https , fiction https

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Vydáno 2010

Obsah: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Získat plný text

Elektronický zdroj E-kniha

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Vydáno 2005

Obsah: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Získat plný text

Elektronický zdroj E-kniha

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Vydáno 2010

Obsah: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Získat plný text

Elektronický zdroj E-kniha

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Vydáno 2010

Obsah: “... for Parallel Computing on Heterogeneous Platforms (HeteroPar 2009) -- Preface -- Static Worksharing Strategies...”
Získat plný text

Elektronický zdroj E-kniha

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /

Vydáno 2013

Obsah: “... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”
Získat plný text

Elektronický zdroj E-kniha

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

Vydáno 2010

Obsah: “...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”
Získat plný text

Elektronický zdroj E-kniha

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Vydáno 2015

Obsah: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Získat plný text

Elektronický zdroj E-kniha

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Vydáno 2013

Obsah: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Získat plný text

Elektronický zdroj E-kniha

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Vydáno 2015

Obsah: “... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...”
Získat plný text

Elektronický zdroj E-kniha

Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings /

Vydáno 2015

Obsah: “... for the Metric Case of the Minimum Sum-Requirement Communication Spanning Tree Problem -- Constant Approximation...”
Získat plný text

Elektronický zdroj E-kniha

Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II /

Vydáno 2012

Obsah: “... Monitor-Camera Response Function -- Polyakov Action Minimization for Efficient Color Image Processing...”
Získat plný text

Elektronický zdroj E-kniha

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Vydáno 2005

Obsah: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Získat plný text

Elektronický zdroj E-kniha

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Vydáno 2005

Obsah: “... Satisfiability Problem -- New Bit-Parallel Indel-Distance Algorithm -- Dynamic Application Placement Under...”
Získat plný text

Elektronický zdroj E-kniha

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Vydáno 2005

Obsah: “... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...”
Získat plný text

Elektronický zdroj E-kniha

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Vydáno 2010

Obsah: “... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings /

Vydáno 2014

Obsah: “... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...”
Získat plný text

Elektronický zdroj E-kniha

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Vydáno 2008

Obsah: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Získat plný text

Elektronický zdroj E-kniha

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Vydáno 2007

Obsah: “... Systems with Minimal Symport/Antiport and Two Membranes -- On the Reachability Problem in P Systems...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Robot Kinematics: Analysis and Design

Vydáno 2008

Obsah: “... of Parallel Manipulators -- Exact Envelope Computation for Moving Surfaces with Quadratic Support Functions...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání