Hakutulokset - parallel function program function building https

1

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

Julkaistu 2005

Sisällysluettelo: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2013

Sisällysluettelo: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2010

Sisällysluettelo: “...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2010

Sisällysluettelo: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2008

Sisällysluettelo: “... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2010

Sisällysluettelo: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Hae kokoteksti

Elektroninen E-kirja

7

Beginning Haskell A Project-Based Approach /

Tekijä Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Julkaistu 2014

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2010

Sisällysluettelo: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Hae kokoteksti

Elektroninen E-kirja

9

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

Tekijä Sharan, Kishori., Sharan, Kishori.
Julkaistu 2014

Aiheet: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2008

Sisällysluettelo: “... Defects in Software Using Grammar-Guided Genetic Programming -- A Clustering Framework to Build Focused...”
Hae kokoteksti

Elektroninen E-kirja

11

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Hae kokoteksti

Elektroninen E-kirja

12

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Hae kokoteksti

Elektroninen E-kirja

13

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

Julkaistu 2005

Sisällysluettelo: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Hae kokoteksti

Elektroninen E-kirja

14

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

Tekijä Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Julkaistu 2005

Sisällysluettelo: “... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Hae kokoteksti

Elektroninen E-kirja

15

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Julkaistu 2012

Sisällysluettelo: “... Algorithm for Parameter Identification of Bioprocess Models.-A General Frame for Building Optimal Multiple...”
Hae kokoteksti

Elektroninen E-kirja

16

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Hae kokoteksti

Elektroninen E-kirja

17

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Hae kokoteksti

Elektroninen E-kirja

18

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation -- FGb: A Library...”
Hae kokoteksti

Elektroninen E-kirja

19

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2005

Sisällysluettelo: “... -- Theory-Building with System Dynamics: Principles and Practices -- Ontology Integration for Statistical...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua