Sökresultat - parallel evaluation based function function https

Menade du:
parallel evaluation » parallel valuation , parallel evolution , parallel evolutions
function function » function functional , functions functional , function dysfunction
evaluation based » evaluation case
based function » based functional , basis function , basic function
function https » functions https , fiction https

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

Publicerad 2006

Innehållsförteckning: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”
Hämta fulltext

Elektronisk E-bok

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...”
Hämta fulltext

Elektronisk E-bok

Dynamics of Parallel Robots From Rigid Bodies to Flexible Elements /

av Briot, Sébastien., Briot, Sébastien., Khalil, Wisama.
Publicerad 2015

Innehållsförteckning: “... of parallel robots with actuation redundancy -- 8.6 Other models -- 8.7 Computation of the base dynamic...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Hämta fulltext

Elektronisk E-bok

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicerad 2010

Innehållsförteckning: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... to an Octree-Based CSCW Framework -- Parallel Modeling of Transient States Analysis in Electrical Circuits...”
Hämta fulltext

Elektronisk E-bok

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Publicerad 2008

Innehållsförteckning: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Hämta fulltext

Elektronisk E-bok

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Publicerad 2010

Innehållsförteckning: “... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”
Hämta fulltext

Elektronisk E-bok

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES...

Publicerad 2007

Innehållsförteckning: “... for Evaluating Plans -- A Knowledge Sorting and Matrix Representation Approach for Developing Knowledge-Based...”
Hämta fulltext

Elektronisk E-bok