Resultados da busca - parallel array program functionality domain https

Buscas alternativas:
program functionality » protein functionality , programs functional , supra functionality
functionality domain » functional domain , functional domains , functionality design
array program » array programs , arrest program , day program
domain https » man https , human https , domain hmdp

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

Publicado em 2007

Sumário: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Publicado em 2013

Sumário: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Publicado em 2014

Sumário: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado em 2013

Sumário: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2015

Sumário: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Publicado em 2008

Sumário: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Publicado em 2012

Sumário: “... of Parallel FEM Simulations on Voxel Domains .-On the Robustness of Two-Level Preconditioners for Quadratic FE...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Publicado em 2010

Sumário: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /

por Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Publicado em 2007

Assuntos: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... -- Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems -- Mining Dynamic Document...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN 2005, Madonna di Campaglio, Italy, November 30 - December 2, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Parallel Presentations for Heterogenous User Groups – An Initial User Study -- Performing Physical Object...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca