檢索結果 - parallel compositional problems functionality testing https

搜索替代詞:
parallel compositional » parallel composition , parallel computational , parallel decomposition
compositional problems » computational problems , composition problem , compositional process
problems functionality » protein functionality , problem functional , problem functionals
functionality testing » functionality setting , functional testing , functionality using
testing https » teaching https , being https , writing https

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

出版 2010

書本目錄: “... Search Algorithms with Local Search for the Traveling Salesman Problem -- Many-Objective Test Problems...”
獲取全文

電子電子書

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

出版 2010

書本目錄: “... for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems -- A Parallel Solution of Large-Scale Heat...”
獲取全文

電子電子書

Numerical Simulation of Mechanical Behavior of Composite Materials

由 Oller, Sergio., Oller, Sergio.
出版 2014

書本目錄: “... of the inelastic problem at micro-macro scales -- The elastic constitutive tensor determination for composite...”
獲取全文

電子電子書

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

出版 2010

書本目錄: “... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”
獲取全文

電子電子書

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

出版 2008

書本目錄: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
獲取全文

電子電子書

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

出版 2015

書本目錄: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
獲取全文

電子電子書

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 /

出版 2014

書本目錄: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
獲取全文

電子電子書

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

出版 2010

書本目錄: “...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

出版 2008

書本目錄: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
獲取全文

電子電子書

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

出版 2006

書本目錄: “... of Assessment Tests -- Semantics -- Compositional Semantics for the Procedural Interpretation of Logic...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... for Parabolic Optimal Control Problems -- Searching and Updating Metric Space Databases Using the Parallel EGNAT...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...”
獲取全文

電子電子書

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

出版 2013

書本目錄: “... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...”
獲取全文

電子電子書

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

出版 2008

書本目錄: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
獲取全文

電子電子書

Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Volume 1 /

出版 2013

書本目錄: “... Literacy Composition and Training Strategies of University Teaching Administrator -- Research of Art...”
獲取全文

電子電子書

Intelligent Technologies and Engineering Systems

出版 2013

書本目錄: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
獲取全文

電子電子書

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

出版 2014

書本目錄: “... Salesman Problem -- Multi-Sub-Swarm PSO Algorithm for Multi-Modal Function Optimization -- Reliable License...”
獲取全文

電子電子書

縮小搜索