Rezultaty - processing programs programs proceedings array https

Inne możliwości wyszukiwania:
programs proceedings » program proceedings , programmes proceedings , programme proceedings
processing programs » processing programmed , processing problems , processing products
programs programs » programs program , program program , problems programs
proceedings array » proceedings arab , proceedings galway , proceedings asean
https » http

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

Wydane 2008

Spis treści: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... to Provability Logic -- Characterising Probabilistic Processes Logically -- fCube: An Efficient Prover...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Wydane 2015

Spis treści: “... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Wydane 2012

Spis treści: “... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Wydane 2012

Spis treści: “... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Wydane 2014

Spis treści: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
Następna »
[5]

Redukuj rezultaty