نتائج البحث - operation computation concurrent programming ((array string) OR (array processing))

بدائل البحث:
computation concurrent » compression concurrent , formulation concurrent , simulation concurrent
concurrent programming » constraint programming , concurrent programs
operation computation » operations computational , cooperation competition , cooperative computation
array processing » dairy processing , query processing
array string » array strong , arrays strings , array sharing

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

منشور في 2005

جدول المحتويات: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
احصل على النص الكامل

الكتروني كتاب الكتروني

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

منشور في 2010

جدول المحتويات: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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 -- 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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

منشور في 2014

جدول المحتويات: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
احصل على النص الكامل

الكتروني كتاب الكتروني

Java : the complete reference /

بواسطة Schildt, Herbert.
منشور في 2007

جدول المحتويات: “..., variables, and arrays -- Operators -- Control statements -- Introducing classes -- A closer look at methods...”

كتاب

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

منشور في 2007

جدول المحتويات: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2008

جدول المحتويات: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
احصل على النص الكامل

الكتروني كتاب الكتروني

Thinking in Java /

بواسطة Eckel, Bruce.
منشور في 2006

جدول المحتويات: “... -- Arrays -- Containers in depth -- I/O -- Enumerated types -- Annotations -- Concurrency -- Graphical user...”
Table of contents

كتاب

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

Proceedings of the Second International Conference on Mechatronics and Automatic Control

منشور في 2015

جدول المحتويات: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
احصل على النص الكامل

الكتروني كتاب الكتروني

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

منشور في 2010

جدول المحتويات: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

تضييق البحث