Søgeresultater - parallel nested programs functionality function https*

Søg alternativer:
programs functionality » program functionality , programs functional , properties functionality
functionality function » functionals function , functionaries function , functional functions
parallel nested » parallel inverted , parallel nesting , parallel system
nested programs » nested program , related programs , based programs
function https » functions https , fiction https

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Udgivet 2005

Indholdsfortegnelse: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Få fuldtekst

Electronisk eBog

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Få fuldtekst

Electronisk eBog

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Udgivet 2015

Indholdsfortegnelse: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst

Electronisk eBog

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Få fuldtekst

Electronisk eBog

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...”
Få fuldtekst

Electronisk eBog

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Udgivet 2007

Indholdsfortegnelse: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Få fuldtekst

Electronisk eBog

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Få fuldtekst

Electronisk eBog

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Udgivet 2012

Indholdsfortegnelse: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Få fuldtekst

Electronisk eBog

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Udgivet 2005

Indholdsfortegnelse: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Få fuldtekst

Electronisk eBog

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Udgivet 2007

Indholdsfortegnelse: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning