Canlyniadau Chwilio - parallel binary program functions function https

Chwilio eraill:
functions function » functions functions , function function , functions functional
program functions » programs functional , program foundations , programme function
parallel binary » parallel boundary , parallel library , parallel vary
binary program » binary programs , library program , binary programming
function https » functions https , fiction https

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Cael y testun llawn

Electronig eLyfr

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Cael y testun llawn

Electronig eLyfr

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Cael y testun llawn

Electronig eLyfr

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
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

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: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Cael y testun llawn

Electronig eLyfr

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Cael y testun llawn

Electronig eLyfr

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Cael y testun llawn

Electronig eLyfr

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Cael y testun llawn

Electronig eLyfr

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Cael y testun llawn

Electronig eLyfr

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”
Cael y testun llawn

Electronig eLyfr

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Cael y testun llawn

Electronig eLyfr

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Loopless Gray Code for Minimal Signed-Binary Representations -- Efficient Approximation Schemes...”
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: “...Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults -- On Partial Vertex Cover...”
Cael y testun llawn

Electronig eLyfr

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Cael y testun llawn

Electronig eLyfr

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Cael y testun llawn

Electronig eLyfr

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Cael y testun llawn

Electronig eLyfr

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad