Hakutulokset - parallel tree program functionality computing https

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2007

Sisällysluettelo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2010

Sisällysluettelo: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Hae kokoteksti

Elektroninen E-kirja

4

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2010

Sisällysluettelo: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Hae kokoteksti

Elektroninen E-kirja

6

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2005

Sisällysluettelo: “... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”
Hae kokoteksti

Elektroninen E-kirja

8

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Julkaistu 2013

Sisällysluettelo: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2015

Sisällysluettelo: “... Programming with Safe Tree Initialisation -- Grant Dick On the Generalization Ability of Geometric Semantic...”
Hae kokoteksti

Elektroninen E-kirja

10

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Julkaistu 2008

Sisällysluettelo: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2010

Sisällysluettelo: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2010

Sisällysluettelo: “...(?) Modifications for Optimal Parallelism -- The Linkage Tree Genetic Algorithm -- An Analysis of the XOR Dynamic...”
Hae kokoteksti

Elektroninen E-kirja

13

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

Julkaistu 2014

Sisällysluettelo: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Hae kokoteksti

Elektroninen E-kirja

14

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Julkaistu 2006

Sisällysluettelo: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2006

Sisällysluettelo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2014

Sisällysluettelo: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2010

Sisällysluettelo: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Hae kokoteksti

Elektroninen E-kirja

18

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

Julkaistu 2006

Sisällysluettelo: “... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”
Hae kokoteksti

Elektroninen E-kirja

19

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

Julkaistu 2010

Sisällysluettelo: “... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”
Hae kokoteksti

Elektroninen E-kirja

20

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Julkaistu 2005

Sisällysluettelo: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua