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

Şunu mu demek istediniz:
interpretable functionality » interpretive functionality
constructing interpretable » constructing interpretations , constructive interpretation , constructing interference
functionality function » functionals function , functionaries function , functional functions
parallel constructing » parallel construction , parallel constructs , parallel constraint
function https » functions https , fiction https

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call...”
Tam Metin Erişim

Elektronik Ekitap

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

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

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Tam Metin Erişim

Elektronik Ekitap

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

Yazar: Karrenberg, Ralf., Karrenberg, Ralf.
Baskı/Yayın Bilgisi 2015

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

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Tam Metin Erişim

Elektronik Ekitap

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics -- Communicating...”
Tam Metin Erişim

Elektronik Ekitap

Guide to Scientific Computing in C++

Yazar: Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”
Tam Metin Erişim

Elektronik Ekitap

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Tam Metin Erişim

Elektronik Ekitap

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Automatic Differentiation

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...”
Tam Metin Erişim

Elektronik Ekitap

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I /

Baskı/Yayın Bilgisi 2015

İçindekiler: “...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...”
Tam Metin Erişim

Elektronik Ekitap

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Tam Metin Erişim

Elektronik Ekitap

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Reconstruction -- Constructing a Smallest Refining Galled Phylogenetic Network -- Keynote -- Mapping Molecular...”
Tam Metin Erişim

Elektronik Ekitap

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Tam Metin Erişim

Elektronik Ekitap