Search Results - parallel graph coding functionality function https

Search alternatives:
functionality function » functionals function , functionaries function , functional functions
coding functionality » adding functionality , missing functionality , cova functionality
parallel graph » parallel graphs , parallel group
function https » functions https , fiction https
graph coding » graph encoding , gray coding , graph coloring

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

Published 2010

Table of Contents: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
View full text

Electronic eBook

Low-Dimensional Functional Materials

Published 2013

Table of Contents: “... to their Shapes? -- Particle Dynamics in Kicked Quantum Networks -- Breathing Star Graph -- Time-Independent...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text

Electronic eBook

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Published 2010

Table of Contents: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
View full text

Electronic eBook

Computational Geometry and Graph Theory International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers /

Published 2008

Table of Contents: “... and Conquer Method for k-Set Polygons -- Coloring Axis-Parallel Rectangles -- Domination in Cubic Graphs...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
View full text

Electronic eBook

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Published 2010

Table of Contents: “... Computing Environments -- An Efficient Circuit–Switched Broadcasting in Star Graph -- Parallel Domain...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
View full text

Electronic eBook

New Horizons of Parallel and Distributed Computing

Published 2005

Table of Contents: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
View full text

Electronic eBook

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Published 2010

Table of Contents: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
View full text

Electronic eBook

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
View full text

Electronic eBook

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

by Karrenberg, Ralf., Karrenberg, Ralf.
Published 2015

Subjects: “...Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013...”
View full text

Electronic eBook

Robots and Lattice Automata

Published 2015

Subjects: “...Robotics and Automation. https://scigraph.springernature.com/ontologies/product-market-codes/T19020...”
View full text

Electronic eBook

Advances in Cryptology – ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proc...

Published 2005

Table of Contents: “... Resilient Cryptographic Multiparty Computation -- Graph-Decomposition-Based Frameworks for Subset-Cover...”
View full text

Electronic eBook

Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings /

Published 2005

Table of Contents: “... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...”
View full text

Electronic eBook

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Published 2006

Table of Contents: “...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...”
View full text

Electronic eBook