Arama Sonuçları - parallel programming notes function function https*

1

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Tam Metin Erişim

Elektronik Ekitap

3

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Tam Metin Erişim

Elektronik Ekitap

4

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Tam Metin Erişim

Elektronik Ekitap

5

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Tam Metin Erişim

Elektronik Ekitap

6

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

7

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Tam Metin Erişim

Elektronik Ekitap

10

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Tam Metin Erişim

Elektronik Ekitap

11

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Tam Metin Erişim

Elektronik Ekitap

13

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Tam Metin Erişim

Elektronik Ekitap

14

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Tam Metin Erişim

Elektronik Ekitap

15

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”
Tam Metin Erişim

Elektronik Ekitap

16

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Tam Metin Erişim

Elektronik Ekitap

17

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Tam Metin Erişim

Elektronik Ekitap

18

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Tam Metin Erişim

Elektronik Ekitap

19

Advances in Automatic Differentiation

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”
Tam Metin Erişim

Elektronik Ekitap

20

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt