Bilaketaren emaitzak - parallel optimization program functionality foundations https

Iradokizunak:
functionality foundations » functionality transactions , functionality interactions , dimensionality foundations
parallel optimization » parameter optimization , parameters optimization , parallel simulation
program functionality » protein functionality , programs functional , supra functionality
optimization program » optimization problem , optimization problems , optimization proximal
foundations https » equations https

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

Argitaratua 2005

Aurkibidea: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2008

Aurkibidea: “... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...”
Testu osoa

Baliabide elektronikoa eBook

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International...

Argitaratua 2005

Aurkibidea: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2008

Aurkibidea: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2014

Aurkibidea: “... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2008

Aurkibidea: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
Testu osoa

Baliabide elektronikoa eBook

Evolutionary Algorithms for Solving Multi-Objective Problems

nork Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Argitaratua 2007

Aurkibidea: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Testu osoa

Baliabide elektronikoa eBook

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Argitaratua 2015

Aurkibidea: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Testu osoa

Baliabide elektronikoa eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Argitaratua 2014

Aurkibidea: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2007

Aurkibidea: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Testu osoa

Baliabide elektronikoa eBook

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Argitaratua 2008

Aurkibidea: “... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...”
Testu osoa

Baliabide elektronikoa eBook

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Argitaratua 2008

Aurkibidea: “... Aspects and Challenges -- Optimizing Winning Strategies in Regular Infinite Games -- Foundations...”
Testu osoa

Baliabide elektronikoa eBook

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Argitaratua 2006

Aurkibidea: “... in the DRT Framework -- DCT Watermarking Optimization by Genetic Programming -- Searching Text Corpora...”
Testu osoa

Baliabide elektronikoa eBook

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Argitaratua 2005

Aurkibidea: “... Source Products – The ObjectWeb Experience -- How Hard Is It to Take a Snapshot? -- Logical Foundations...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2007

Aurkibidea: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Testu osoa

Baliabide elektronikoa eBook

Advances in Cryptology – EUROCRYPT 2006 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Pro...

Argitaratua 2006

Aurkibidea: “... Hash Function -- Herding Hash Functions and the Nostradamus Attack -- Oblivious Transfer -- Optimal...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu