Søgeresultater - simulation computational concurrent programming ((array string) OR (array processing))

Søg alternativer:
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 /

Udgivet 2008

Indholdsfortegnelse: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
Få fuldtekst

Electronisk eBog

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 /

Udgivet 2005

Indholdsfortegnelse: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Multiplayer Games -- Stochastic Games with Lossy Channels -- Simulation Hemi-metrics between Infinite-State...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Få fuldtekst

Electronisk eBog

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Udgivet 2015

Indholdsfortegnelse: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning