Arama Sonuçları - parallel computer interpretable functionality function https

1

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2012

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2011

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Tam Metin Erişim

Elektronik Ekitap

18

Analysis of Parallel Spike Trains

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Estimating the Firing Rate -- Analysis and Interpretation of Interval and Count Variability in Neural Spike...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Tam Metin Erişim

Elektronik Ekitap

20

Genomic Structural Variants Methods and Protocols /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... of the Human Genome -- Population Genetic Nature of Copy Number Variation -- Detection and Interpretation...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt