Canlyniadau Chwilio - computing composition program optimization libraries https

Chwilio eraill:
optimization libraries » optimizations libraries , optimization library , optimization calibration
computing composition » computing competition , computer composition , computing computation
program optimization » program optimizations , problem optimization , programming optimization
composition program » composition programs , compositional program , composition problem
https » http

Global Optimization From Theory to Implementation /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Methods -- Optimization under Composite Monotonic Constraints and Constrained Optimization over...”
Cael y testun llawn

Electronig eLyfr

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Programs -- Property-Directed Shape Analysis -- Shape Analysis via Second-Order Bi-Abduction -- ICE: A...”
Cael y testun llawn

Electronig eLyfr

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”
Cael y testun llawn

Electronig eLyfr

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Multilevel Approach for Optimizing Collective Communications in Computational Grids -- Rough Set Based...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Grid Environment -- Recognition and Optimization of Loop-Carried Stream Reusing of Scientific Computing...”
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: “... Matching Computation Based on Composite Matchers -- Social Mediation for Collective Intelligence in a Large...”
Cael y testun llawn

Electronig eLyfr

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Simulations of Credibility Evaluation and Learning in a Web 2.0 Community -- Optimization of Composite...”
Cael y testun llawn

Electronig eLyfr

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Cael y testun llawn

Electronig eLyfr

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Cael y testun llawn

Electronig eLyfr

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2 /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Dust Reinforced Epoxy Composite Using Grey Relational Analysis -- Weight Computation of Alternatives...”
Cael y testun llawn

Electronig eLyfr

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...”
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: “...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...”
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: “... -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved...”
Cael y testun llawn

Electronig eLyfr

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Synthesis from Component Libraries with Costs -- Compositional Controller Synthesis for Stochastic Games...”
Cael y testun llawn

Electronig eLyfr

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line...

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Libraries in .NET for Expression Evaluation.-Value Analysis and Optimization a Machining Process for Hot-Box...”
Cael y testun llawn

Electronig eLyfr

Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Autonomic and Evolutionary Computation -- A Multi-objective Optimal Approach for UAV Routing...”
Cael y testun llawn

Electronig eLyfr

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Reordering Optimization During Legal Systems Migration -- Automated SuperSQL Query Formulation Based...”
Cael y testun llawn

Electronig eLyfr

Bioceramics and Alternative Bearings in Joint Arthroplasty 10th BIOLOX Symposium. Washington D.C., June 10-11, 2005. Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... composite THR -- Comparison of the Functional Biological Activity and Osteolytic Potential of Ceramic...”
Cael y testun llawn

Electronig eLyfr

Web Information Systems and Mining International Conference, WISM 2010, Sanya, China, October 23-24, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Applications of Web Information Systems -- An Improving Multi-Objective Particle Swarm Optimization...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad