Canlyniadau Chwilio - parallel programming processing foundations function https

Chwilio eraill:
processing foundations » processing conditions , processing operations , processing communications
programming processing » programming processings , programming preprocessing , programming proceedings
parallel programming » parallel processing
foundations function » foundations auctions , foundations traction , functions function
function https » functions https , fiction https

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
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

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

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

Electronig eLyfr

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”
Cael y testun llawn

Electronig eLyfr

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Cael y testun llawn

Electronig eLyfr

Evolutionary Algorithms for Solving Multi-Objective Problems

gan Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Cyhoeddwyd 2007

Tabl Cynhwysion: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Cael y testun llawn

Electronig eLyfr

Visual C# 2010 Recipes A Problem-Solution Approach /

gan Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Cyhoeddwyd 2010

Tabl Cynhwysion: “... Programming -- Using LINQ -- Windows Presentation Foundation....”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Cael y testun llawn

Electronig eLyfr

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
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: “... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”
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: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
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: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Cael y testun llawn

Electronig eLyfr

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Cael y testun llawn

Electronig eLyfr

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

gan Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
Cyhoeddwyd 2014

Pynciau: “...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...”
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

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad