檢索結果 - parallel delay programs functionals function https

搜索替代詞:
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , functions functional , function dysfunction
parallel delay » parallel play , parallel data , parallel array
delay programs » day programs , array programs , pay programs
function https » functions https , fiction https

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

出版 2015

書本目錄: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
獲取全文

電子電子書

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

由 Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
出版 2014

書本目錄: “... Takagi‒Sugeno Fuzzy Positive Systems -- Stabilization of Delayed T-S Fuzzy Positive Systems -- Robust...”
獲取全文

電子電子書

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

出版 2006

書本目錄: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
獲取全文

電子電子書

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

出版 2015

書本目錄: “... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”
獲取全文

電子電子書

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

出版 2006

書本目錄: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
獲取全文

電子電子書

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

出版 2010

書本目錄: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
獲取全文

電子電子書

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

出版 2015

書本目錄: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
獲取全文

電子電子書

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

出版 2010

書本目錄: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
獲取全文

電子電子書

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

出版 2005

書本目錄: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
獲取全文

電子電子書

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

出版 2005

書本目錄: “... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”
獲取全文

電子電子書

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
獲取全文

電子電子書

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

出版 2014

書本目錄: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
獲取全文

電子電子書

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

出版 2005

書本目錄: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
獲取全文

電子電子書

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

出版 2006

書本目錄: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
獲取全文

電子電子書

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

出版 2008

書本目錄: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
獲取全文

電子電子書

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

出版 2013

書本目錄: “...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”
獲取全文

電子電子書

縮小搜索