Canlyniadau Chwilio - parallel problem formalization function function https

Chwilio eraill:
formalization function » normalization functions , organization function , localization function
problem formalization » problem normalization , problem formulation , problem virtualization
function function » function functional , functions functional , function dysfunction
parallel problem » parallel program , parallel programs , parallel robots
function https » functions https , fiction https

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Cael y testun llawn

Electronig eLyfr

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... with Problem-Based Learning -- Encouraging the Uptake of Formal Methods Training in an Industrial Context...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Cael y testun llawn

Electronig eLyfr

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”
Cael y testun llawn

Electronig eLyfr

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...”
Cael y testun llawn

Electronig eLyfr

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...”
Cael y testun llawn

Electronig eLyfr

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”
Cael y testun llawn

Electronig eLyfr

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings...

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating...”
Cael y testun llawn

Electronig eLyfr

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Cyhoeddwyd 2006

Tabl Cynhwysion: “... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Scalable Timing Analysis with Refinement -- A Formally Verified Hybrid System for the Next...”
Cael y testun llawn

Electronig eLyfr

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Cael y testun llawn

Electronig eLyfr

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Recursive Functions on Lazy Lists via Domains and Topologies -- Formal Verification of Optical Quantum Flip...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Cael y testun llawn

Electronig eLyfr

Machine Learning and Knowledge Discovery in Databases European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Classification for Large-Scale Problems in the Legal Domain -- Fitted Natural Actor-Critic: A New Algorithm...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
5
Nesaf »
[5]

Manylu'r Chwiliad