Torthaí Cuardaigh - operations computational concurrent programming ((array string) OR (array processing))

Cuardaigh malartuithe:
operations computational » operation computation , interactions computational , generation computational
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

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

Foilsithe 2015

Clár Ábhair: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Foilsithe 2013

Clár Ábhair: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2006

Clár Ábhair: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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 /

Foilsithe 2005

Clár Ábhair: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2005

Clár Ábhair: “... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2014

Clár Ábhair: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Java : the complete reference /

le Schildt, Herbert.
Foilsithe 2007

Clár Ábhair: “..., variables, and arrays -- Operators -- Control statements -- Introducing classes -- A closer look at methods...”

Leabhar

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

Foilsithe 2007

Clár Ábhair: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Thinking in Java /

le Eckel, Bruce.
Foilsithe 2006

Clár Ábhair: “... -- Arrays -- Containers in depth -- I/O -- Enumerated types -- Annotations -- Concurrency -- Graphical user...”
Table of contents

Leabhar

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

Foilsithe 2010

Clár Ábhair: “...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2007

Clár Ábhair: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Foilsithe 2015

Clár Ábhair: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2005

Clár Ábhair: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng