Sökresultat - parallel checking problem function function https*

Menade du:
parallel checking » parallel chaining , parallel tracking , parallel scheduling
function function » function functional , functions functional , function dysfunction
checking problem » packing problem , thinking problem , checking program
problem function » problems function , problems functions , problem functional
function https » functions https , fiction https

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

Publicerad 2010

Innehållsförteckning: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...”
Hämta fulltext

Elektronisk E-bok

Recent Advances in Information Technology RAIT-2014 Proceedings /

Publicerad 2014

Innehållsförteckning: “... -- Swap Edges of Shortest Path Tree in Parallel -- A New Approach for Parallel Discrete Fourier Transform...”
Hämta fulltext

Elektronisk E-bok

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...

Publicerad 2015

Innehållsförteckning: “... Functions -- Stateless Model Checking for TSO and PSO -- GPU Accelerated Strong and Branching Bisimilarity...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... -- Machine-Checked Verification of the Correctness and Amortized -- Improved Tool Support for Machine-Code...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... for search based modularization of sequential source code check-ins Simple Pattern Spectrum Estimation...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... of the Parallel Knock-Out Problem -- Reconfigurations in Graphs and Grids -- -Varieties, Actions and Wreath...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...”
Hämta fulltext

Elektronisk E-bok

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen