Zoekresultaten - simulation computational concurrent programming ((array string) OR (array processing))

Alternatieven:
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 /

Gepubliceerd in 2008

Inhoudsopgave: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
Volledige tekst

Elektronisch E-boek

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 /

Gepubliceerd in 2005

Inhoudsopgave: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2015

Inhoudsopgave: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... Multiplayer Games -- Stochastic Games with Lossy Channels -- Simulation Hemi-metrics between Infinite-State...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2007

Inhoudsopgave: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Volledige tekst

Elektronisch E-boek

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Gepubliceerd in 2015

Inhoudsopgave: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2007

Inhoudsopgave: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken