Rezultaty - parallel programming solving function computing https

1

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Wydane 2010

Spis treści: “... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Wydane 2010

Spis treści: “... Structures -- Bioreactor Control by Genetic Programming -- Solving the One-Commodity Pickup and Delivery...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

New Horizons of Parallel and Distributed Computing

Wydane 2005

Spis treści: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2010

Spis treści: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2010

Spis treści: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Evolutionary Algorithms for Solving Multi-Objective Problems

od Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Wydane 2007

Spis treści: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2 /

Wydane 2015

Spis treści: “... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Wydane 2006

Spis treści: “...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Wydane 2014

Spis treści: “... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2005

Spis treści: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2014

Spis treści: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Wydane 2012

Spis treści: “...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Wydane 2015

Spis treści: “...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

Wydane 2010

Spis treści: “... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

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

Wydane 2006

Spis treści: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty