Rezultaty - parallel computer interpretable functionals function https

Inne możliwości wyszukiwania:
interpretable functionals » interpretation functional , interpretive functionality , integrable functions
functionals function » function function , functions functional , function dysfunction
parallel computer » parallel computers , parallel computing , parallel computation
function https » functions https , fiction https

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

Wydane 2005

Spis treści: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Wydane 2015

Spis treści: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Wydane 2013

Spis treści: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Wydane 2011

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Wydane 2007

Spis treści: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Wydane 2008

Spis treści: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Wydane 2012

Spis treści: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Wydane 2006

Spis treści: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Analysis of Parallel Spike Trains

Wydane 2010

Spis treści: “... -- Estimating the Firing Rate -- Analysis and Interpretation of Interval and Count Variability in Neural Spike...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Genomic Structural Variants Methods and Protocols /

Wydane 2012

Spis treści: “... of the Human Genome -- Population Genetic Nature of Copy Number Variation -- Detection and Interpretation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
Następna »
[6]

Redukuj rezultaty