Arama Sonuçları - simulation computational concurrent programming ((array string) OR (array processing))

Şunu mu demek istediniz:
simulation computational » simulations computational , computation computational , optimization 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

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

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 /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
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

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Multiplayer Games -- Stochastic Games with Lossy Channels -- Simulation Hemi-metrics between Infinite-State...”
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

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 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt