Výsledky vyhledávání - parallel checking problem functioning using https

Alternativní vyhledávání:
problem functioning » problem functional , problem functionals , problems functions
parallel checking » parallel chaining , parallel tracking , parallel scheduling
functioning using » function using , functions using , functioning among
checking problem » packing problem , thinking problem , checking program
using https » using http , nursing https , aging https

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Vydáno 2010

Obsah: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Získat plný text

Elektronický zdroj E-kniha

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

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Vydáno 2008

Obsah: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Získat plný text

Elektronický zdroj E-kniha

Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings /

Vydáno 2005

Obsah: “...Invited Papers -- Using Genetic Algorithms to Evolve Behavior in Cellular Automata -- Quantum...”
Získat plný text

Elektronický zdroj E-kniha

Recent Advances in Information Technology RAIT-2014 Proceedings /

Vydáno 2014

Obsah: “... Study of Radial Basis Function Neural Network with Estimation of Eigenvalue in Image using MATLAB....”
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: “... -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking...”
Získat plný text

Elektronický zdroj E-kniha

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Vydáno 2006

Obsah: “... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Intelligent Data Analysis XIII 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings /

Vydáno 2014

Obsah: “... for search based modularization of sequential source code check-ins Simple Pattern Spectrum Estimation...”
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: “... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”
Získat plný text

Elektronický zdroj E-kniha

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Vydáno 2014

Obsah: “... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”
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

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

Vydáno 2013

Obsah: “... Quizzes. Constrained Wine Blending -- The Berth Allocation and Quay Crane Assignment Problem Using a CP...”
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: “... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”
Získat plný text

Elektronický zdroj E-kniha

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Vydáno 2005

Obsah: “... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”
Získat plný text

Elektronický zdroj E-kniha

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3...

Vydáno 2015

Obsah: “... at an Airport with Single-report streams -- Functional Readiness of the Check-in Desk System at an Airport...”
Získat plný text

Elektronický zdroj E-kniha

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Vydáno 2005

Obsah: “... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...”
Získat plný text

Elektronický zdroj E-kniha

COMPSTAT 2008 Proceedings in Computational Statistics /

Vydáno 2008

Obsah: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Získat plný text

Elektronický zdroj E-kniha

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Vydáno 2008

Obsah: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Získat plný text

Elektronický zdroj E-kniha

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Vydáno 2007

Obsah: “...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...”
Získat plný text

Elektronický zdroj E-kniha

Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings /

Vydáno 2007

Obsah: “... -- Clustering of Leaf-Labelled Trees on Free Leafset -- Checking Brain Expertise Using Rough Set Theory...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání