檢索結果 - programs method programs optimizations java https

搜索替代詞:
programs optimizations » program optimizations , program optimization , program optimisation
optimizations java » optimization jan , optimizations a , optimizations fast
programs method » program method , problems method , programming method
method programs » methods program , method progress , method programmed
https » http

Linear Programming Foundations and Extensions /

由 Vanderbei, Robert J., Vanderbei, Robert J.
出版 2014

書本目錄: “... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
獲取全文

電子電子書

Linear Programming Foundations and Extensions /

由 Vanderbei, Robert J., Vanderbei, Robert J.
出版 2008

書本目錄: “... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...”
獲取全文

電子電子書

MATLAB Optimization Techniques

由 Lopez, Cesar., Lopez, Cesar.
出版 2014

主題: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

MATLAB Programming for Numerical Analysis

由 Lopez, Cesar., Lopez, Cesar.
出版 2014

主題: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

Genetic Programming Theory and Practice VIII

出版 2011

書本目錄: “... Method for Bloat Control in Genetic Programming -- A Survey of Self Modifying Cartesian Genetic...”
獲取全文

電子電子書

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

出版 2005

書本目錄: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
獲取全文

電子電子書

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

出版 2012

書本目錄: “... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”
獲取全文

電子電子書

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

出版 2015

書本目錄: “... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...”
獲取全文

電子電子書

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

出版 2006

書本目錄: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
獲取全文

電子電子書

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /

出版 2007

書本目錄: “... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...”
獲取全文

電子電子書

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014...

出版 2015

書本目錄: “...Testing and Inspection -- An Implementation Framework for Optimizing Test Case Generation Using...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

出版 2014

書本目錄: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
獲取全文

電子電子書

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /

出版 2012

書本目錄: “... from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.- Waiting...”
獲取全文

電子電子書

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

出版 2010

書本目錄: “...Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization...”
獲取全文

電子電子書

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

出版 2008

書本目錄: “...A Preliminary Study of Fitness Inheritance in Evolutionary Constrained Optimization...”
獲取全文

電子電子書

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

出版 2013

書本目錄: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
獲取全文

電子電子書

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

出版 2015

書本目錄: “... -- Supercompilation for Datatypes -- More type Inference in Java 8 -- Polynomial-Time Optimal Pretty-Printing...”
獲取全文

電子電子書

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 /

出版 2005

書本目錄: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
獲取全文

電子電子書

Beginning Google Maps Applications with PHP and Ajax From Novice to Professional /

由 Sambells, Jeffrey., Sambells, Jeffrey., Purvis, Michael., Turner, Cameron.
出版 2006

書本目錄: “... Interface -- Optimizing and Scaling for Large Data Sets -- What’s Next for the Google Maps API? -- Advanced...”
獲取全文

電子電子書

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

出版 2007

書本目錄: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
獲取全文

電子電子書

縮小搜索