Rezultati - parallel programs 12 functionals function https*

1

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /

Izdano 2012

Teme: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Polni tekst

Elektronski eKnjiga

2

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Izdano 2005

Kazalo: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Polni tekst

Elektronski eKnjiga

3

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

Izdano 2005

Kazalo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Polni tekst

Elektronski eKnjiga

4

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Izdano 2015

Kazalo: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2005

Kazalo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Polni tekst

Elektronski eKnjiga

6

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Izdano 2010

Kazalo: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2010

Kazalo: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Polni tekst

Elektronski eKnjiga

8

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

Izdano 2010

Kazalo: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Polni tekst

Elektronski eKnjiga

9

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Izdano 2010

Kazalo: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2005

Kazalo: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Polni tekst

Elektronski eKnjiga

11

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /

Izdano 2015

Kazalo: “...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”
Polni tekst

Elektronski eKnjiga

12

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Izdano 2010

Kazalo: “... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”
Polni tekst

Elektronski eKnjiga

13

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Izdano 2013

Kazalo: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Polni tekst

Elektronski eKnjiga

14

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

Izdano 2010

Kazalo: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Polni tekst

Elektronski eKnjiga

15

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

Izdano 2008

Kazalo: “... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”
Polni tekst

Elektronski eKnjiga

16

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Izdano 2007

Kazalo: “.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”
Polni tekst

Elektronski eKnjiga

17

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012, Proceedings /

Izdano 2012

Kazalo: “... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...”
Polni tekst

Elektronski eKnjiga

18

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Izdano 2007

Kazalo: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Polni tekst

Elektronski eKnjiga

19

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Izdano 2006

Kazalo: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Polni tekst

Elektronski eKnjiga

20

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 /

Izdano 2006

Kazalo: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje