Suchergebnisse - parallel assistance program functionals function https

Andere Suchmöglichkeiten:
functionals function » function function , functions functional , function dysfunction
parallel assistance » parallel resistance , parallel capacitance , parallel consistency
program functionals » programs functional , program functionality , problem functionals
assistance program » assistance programs
function https » functions https , fiction https

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

Veröffentlicht 2006

Inhaltsangabe: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Volltext

Elektronisch E-Book

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Volltext

Elektronisch E-Book

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Accident Assistance Service -- A Framework for Analyzing and Testing the Performance of Software Services...”
Volltext

Elektronisch E-Book

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Volltext

Elektronisch E-Book

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volltext

Elektronisch E-Book

Innovations in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Volltext

Elektronisch E-Book

Visual C# 2010 Recipes A Problem-Solution Approach /

von Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Veröffentlicht 2010

Inhaltsangabe: “... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
Volltext

Elektronisch E-Book

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”
Volltext

Elektronisch E-Book

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Veröffentlicht 2005

Inhaltsangabe: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Volltext

Elektronisch E-Book

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Veröffentlicht 2005

Inhaltsangabe: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Volltext

Elektronisch E-Book

International Handbook of Occupational Therapy Interventions

Veröffentlicht 2015

Inhaltsangabe: “... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”
Volltext

Elektronisch E-Book

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”
Volltext

Elektronisch E-Book

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers /

Veröffentlicht 2010

Inhaltsangabe: “... Functions, Clustering Algorithms and Microarray Data Analysis -- Gaussian Process Assisted Particle Swarm...”
Volltext

Elektronisch E-Book

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Volltext

Elektronisch E-Book

Suche einschränken