Zoekresultaten - parallel constructing interpretable functionals function https

Alternatieven:
constructing interpretable » constructing interpretations , constructive interpretation , constructing interference
interpretable functionals » interpretation functional , interpretive functionality , integrable functions
parallel constructing » parallel construction , parallel constructs , parallel constraint
functionals function » function function , functions functional , function dysfunction
function https » functions https , fiction https

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

Gepubliceerd in 2010

Inhoudsopgave: “... Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2012

Inhoudsopgave: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2006

Inhoudsopgave: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2015

Inhoudsopgave: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Volledige tekst

Elektronisch E-boek

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

door Karrenberg, Ralf., Karrenberg, Ralf.
Gepubliceerd in 2015

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

Elektronisch E-boek

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

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

Gepubliceerd in 2014

Inhoudsopgave: “... -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics -- Communicating...”
Volledige tekst

Elektronisch E-boek

Guide to Scientific Computing in C++

door Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Gepubliceerd in 2012

Inhoudsopgave: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2014

Inhoudsopgave: “... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2015

Inhoudsopgave: “... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...”
Volledige tekst

Elektronisch E-boek

Advances in Automatic Differentiation

Gepubliceerd in 2008

Inhoudsopgave: “...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2015

Inhoudsopgave: “...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... Reconstruction -- Constructing a Smallest Refining Galled Phylogenetic Network -- Keynote -- Mapping Molecular...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Volledige tekst

Elektronisch E-boek

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010. Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... -- Adaptive Parallel/Serial Sampling Mechanisms for Particle Filtering in Dynamic Bayesian Networks...”
Volledige tekst

Elektronisch E-boek

Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... -- Automatic Construction of Static Evaluation Functions for Computer Game Players -- Databases Reduction...”
Volledige tekst

Elektronisch E-boek

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Gepubliceerd in 2005

Inhoudsopgave: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken