Rezultaty - parallel precision program function function https

Inne możliwości wyszukiwania:
parallel precision » parallel projection , parallel execution , parallel version
precision program » prediction program , appreciation program , television program
function function » function functional , functions functional , function dysfunction
program function » programme function , programs functional , program foundation
function https » functions https , fiction https

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Wydane 2010

Spis treści: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Wydane 2010

Spis treści: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Wydane 2008

Spis treści: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Wydane 2010

Spis treści: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Autonomous Search

Wydane 2012

Spis treści: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Dokumenty pełnotekstowe

Elektroniczne E-book

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /

Wydane 2008

Spis treści: “...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Wydane 2007

Spis treści: “... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Information Retrieval Technology Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers /

Wydane 2005

Spis treści: “... Transliteration with Precise Alignment of Phoneme Chunks and Using Contextual Features -- Combining Sentence...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Wydane 2006

Spis treści: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Wydane 2012

Spis treści: “...Control Strategies of a Mobile Robot Inspector in Inaccessible Areas -- Advanced High Precision...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Wydane 2008

Spis treści: “... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Innovations in Hybrid Intelligent Systems

Wydane 2007

Spis treści: “... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Wydane 2015

Spis treści: “... -- A New Sign Distance-based Ranking Method for Fuzzy Numbers -- Application of Precise-Spike-Driven...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Wydane 2015

Spis treści: “... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2 /

Wydane 2015

Spis treści: “... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty