Kết quả tìm kiếm - parallel programs continuously function function https

1

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Được phát hành 2010

Mục lục: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
lấy văn bản

Điện tử eBook

2

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Được phát hành 2010

Mục lục: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
lấy văn bản

Điện tử eBook

3

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Được phát hành 2008

Mục lục: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
lấy văn bản

Điện tử eBook

4

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
lấy văn bản

Điện tử eBook

5

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Được phát hành 2010

Mục lục: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
lấy văn bản

Điện tử eBook

6

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Được phát hành 2005

Mục lục: “... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...”
lấy văn bản

Điện tử eBook

7

Beginning R An Introduction to Statistical Programming /

Bằng Pace, Larry., Pace, Larry., Wiley, Joshua.
Được phát hành 2015

Những chủ đề: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
lấy văn bản

Điện tử eBook

8

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Được phát hành 2008

Mục lục: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
lấy văn bản

Điện tử eBook

9

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Được phát hành 2006

Mục lục: “... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...”
lấy văn bản

Điện tử eBook

10

The Definitive Guide to Jython Python for the Java Platform /

Bằng Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Được phát hành 2010

Mục lục: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
lấy văn bản

Điện tử eBook

11

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Được phát hành 2015

Mục lục: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
lấy văn bản

Điện tử eBook

12

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Được phát hành 2010

Mục lục: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
lấy văn bản

Điện tử eBook

13

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Được phát hành 2010

Mục lục: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
lấy văn bản

Điện tử eBook

14

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Được phát hành 2008

Mục lục: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
lấy văn bản

Điện tử eBook

15

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...”
lấy văn bản

Điện tử eBook

16

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Được phát hành 2013

Mục lục: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2015

Mục lục: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
lấy văn bản

Điện tử eBook

18

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

Được phát hành 2010

Mục lục: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
lấy văn bản

Điện tử eBook

19

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Được phát hành 2008

Mục lục: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
lấy văn bản

Điện tử eBook

20

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Được phát hành 2010

Mục lục: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp