Torthaí Cuardaigh - functions computation concurrent processing ((array string) OR (array processing))

Cuardaigh malartuithe:
computation concurrent » compression concurrent , formulation concurrent , simulation concurrent
functions computation » function computation , functions composition , function composition
concurrent processing » concurrent processes , content processing , concurrent programming
array processing » dairy processing , query processing
array string » array strong , arrays strings , array sharing

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

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

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Systems -- Streaming Systems in FPGAs -- Heterogeneous Design in Functional DIF -- Tool Integration...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

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

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010,...

Foilsithe 2010

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

Leictreonach ríomhLeabhar

On the Move to Meaningful Internet Systems: OTM 2008 OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 Proc...

Foilsithe 2008

Clár Ábhair: “... for Business Process Composition -- E-Service Management -- Recovery of Concurrent Processes in a Service...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2015

Clár Ábhair: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
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

Lotus japonicus Handbook

Foilsithe 2005

Clár Ábhair: “... and saline stress -- Methods for studying nodule development and function -- A procedure for in vitro...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng