Søgeresultater - parallel constructs interpretable functionality function https

Søg alternativer:
interpretable functionality » interpretive functionality
constructs interpretable » constructing interpretable , contracts interpretation
functionality function » functionals function , functionaries function , functional functions
parallel constructs » parallel construction , parallel constraint , parallel contours
function https » functions https , fiction https

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

Udgivet 2010

Indholdsfortegnelse: “... Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Få fuldtekst

Electronisk eBog

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

af Karrenberg, Ralf., Karrenberg, Ralf.
Udgivet 2015

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics -- Communicating...”
Få fuldtekst

Electronisk eBog

Guide to Scientific Computing in C++

af Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Udgivet 2012

Indholdsfortegnelse: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...”
Få fuldtekst

Electronisk eBog

Advances in Automatic Differentiation

Udgivet 2008

Indholdsfortegnelse: “...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Reconstruction -- Constructing a Smallest Refining Galled Phylogenetic Network -- Keynote -- Mapping Molecular...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- Automatic Construction of Static Evaluation Functions for Computer Game Players -- Databases Reduction...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Adaptive Parallel/Serial Sampling Mechanisms for Particle Filtering in Dynamic Bayesian Networks...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning