檢索結果 - optimization computational concurrent programming ((array string) OR (array processing))

搜索替代詞:
computational concurrent » computation concurrent , computational concept , computational concerns
concurrent programming » constraint programming , concurrent programs
array processing » dairy processing , query processing
array string » array strong , arrays strings , array sharing

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...”
獲取全文

電子電子書

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

出版 2015

書本目錄: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
獲取全文

電子電子書

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

出版 2006

書本目錄: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
獲取全文

電子電子書

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

出版 2008

書本目錄: “... -- Sensor Networks II -- Interplay of Processing and Routing in Aggregate Query Optimization for Sensor...”
獲取全文

電子電子書

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

出版 2005

書本目錄: “... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”
獲取全文

電子電子書

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

出版 2013

書本目錄: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
獲取全文

電子電子書

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

出版 2013

書本目錄: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
獲取全文

電子電子書

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

出版 2008

書本目錄: “...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...”
獲取全文

電子電子書

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

出版 2007

書本目錄: “... Evaluation of Distributed Computing over Heterogeneous Networks -- Data Mining, Management and Optimization...”
獲取全文

電子電子書

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

出版 2010

書本目錄: “...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”
獲取全文

電子電子書

Proceedings of the Second International Conference on Mechatronics and Automatic Control

出版 2015

書本目錄: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
獲取全文

電子電子書

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

出版 2015

書本目錄: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
獲取全文

電子電子書

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

出版 2005

書本目錄: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
獲取全文

電子電子書

縮小搜索