Arama Sonuçları - functions computation concurrent programming ((array string) OR (array processing))*

Şunu mu demek istediniz:
computation concurrent » compression concurrent , formulation concurrent , simulation concurrent
concurrent programming » constraint programming , concurrent programs
functions computation » function computation , functions composition , function composition
array processing » dairy processing , query processing
array string » array strong , arrays strings , array sharing

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
Tam Metin Erişim

Elektronik Ekitap

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt