Suchergebnisse - processing ((problems program) OR (problem program)) proceedings array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Volltext

Elektronisch E-Book

2

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Volltext

Elektronisch E-Book

3

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Veröffentlicht 2014

Inhaltsangabe: “...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”
Volltext

Elektronisch E-Book

4

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Volltext

Elektronisch E-Book

5

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics -- SAT...”
Volltext

Elektronisch E-Book

6

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2015

Inhaltsangabe: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
Volltext

Elektronisch E-Book

8

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Veröffentlicht 2010

Inhaltsangabe: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Volltext

Elektronisch E-Book

9

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...”
Volltext

Elektronisch E-Book

10

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

Veröffentlicht 2013

Inhaltsangabe: “... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”
Volltext

Elektronisch E-Book

11

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

Veröffentlicht 2013

Inhaltsangabe: “... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”
Volltext

Elektronisch E-Book

12

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”
Volltext

Elektronisch E-Book

13

String Processing and Information Retrieval 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...”
Volltext

Elektronisch E-Book

14

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes...”
Volltext

Elektronisch E-Book

15

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...”
Volltext

Elektronisch E-Book

16

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Volltext

Elektronisch E-Book

17

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 of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Volltext

Elektronisch E-Book

18

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Volltext

Elektronisch E-Book

19

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Volltext

Elektronisch E-Book

20

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 Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Volltext

Elektronisch E-Book

Suche einschränken