Výsledky vyhledávání - parallel checking problem functionals function https

Alternativní vyhledávání:
functionals function » function function , functions functional , function dysfunction
problem functionals » problem functional , problems functions , probing functional
parallel checking » parallel chaining , parallel tracking , parallel scheduling
checking problem » packing problem , thinking problem , checking program
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

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

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: “... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...”
Získat plný text

Elektronický zdroj E-kniha

Recent Advances in Information Technology RAIT-2014 Proceedings /

Vydáno 2014

Obsah: “... -- Swap Edges of Shortest Path Tree in Parallel -- A New Approach for Parallel Discrete Fourier Transform...”
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

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: “... Functions -- Stateless Model Checking for TSO and PSO -- GPU Accelerated Strong and Branching Bisimilarity...”
Získat plný text

Elektronický zdroj E-kniha

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

Vydáno 2015

Obsah: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Získat plný text

Elektronický zdroj E-kniha

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Vydáno 2015

Obsah: “... -- Machine-Checked Verification of the Correctness and Amortized -- Improved Tool Support for Machine-Code...”
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

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Vydáno 2013

Obsah: “...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”
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

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Vydáno 2006

Obsah: “... of the Parallel Knock-Out Problem -- Reconfigurations in Graphs and Grids -- -Varieties, Actions and Wreath...”
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: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
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

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: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Získat plný text

Elektronický zdroj E-kniha

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Vydáno 2005

Obsah: “... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”
Získat plný text

Elektronický zdroj E-kniha

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Vydáno 2006

Obsah: “...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání