Zoekresultaten - parallel free program functionality code https

1

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

Gepubliceerd in 2010

Inhoudsopgave: “... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2006

Inhoudsopgave: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2007

Inhoudsopgave: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2010

Inhoudsopgave: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Volledige tekst

Elektronisch E-boek

5

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Gepubliceerd in 2006

Inhoudsopgave: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2006

Inhoudsopgave: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2008

Inhoudsopgave: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2014

Inhoudsopgave: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Volledige tekst

Elektronisch E-boek

9

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

Gepubliceerd in 2008

Inhoudsopgave: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Volledige tekst

Elektronisch E-boek

10

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Volledige tekst

Elektronisch E-boek

11

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Volledige tekst

Elektronisch E-boek

12

Beginning R An Introduction to Statistical Programming /

door Pace, Larry., Pace, Larry., Wiley, Joshua.
Gepubliceerd in 2015

Onderwerpen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volledige tekst

Elektronisch E-boek

13

Beginning Haskell A Project-Based Approach /

door Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Gepubliceerd in 2014

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

Elektronisch E-boek

14

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Volledige tekst

Elektronisch E-boek

15

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Volledige tekst

Elektronisch E-boek

16

DNA Cloning and Assembly Methods

Gepubliceerd in 2014

Inhoudsopgave: “... of the Restriction-Free (RF) Cloning for Multi-Components Assembly -- A Single-Tube Assembly of DNA Using...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2005

Inhoudsopgave: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2008

Inhoudsopgave: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Volledige tekst

Elektronisch E-boek

19

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Gepubliceerd in 2010

Inhoudsopgave: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Volledige tekst

Elektronisch E-boek

20

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

Gepubliceerd in 2007

Inhoudsopgave: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken