Resultados da busca - interface protocols processing programmed comparison https

Buscas alternativas:
programmed comparison » programming comparison , program comparison , programmer's companion
protocols processing » protocols proceedings , proteins processing , protocol proceedings
interface protocols » interfaces protocols , internet protocols , interview protocols
comparison https » comparison maps , comparison bits , computation https

Recent Advances in the Message Passing Interface 17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings /

Publicado em 2010

Sumário: “... Logging Protocols -- Communication Target Selection for Replicated MPI Processes -- Transparent Redundant...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Publicado em 2008

Sumário: “... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS 2005 /

Publicado em 2006

Sumário: “... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV...

Publicado em 2013

Sumário: “...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Publicado em 2005

Sumário: “... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Advanced Information Systems Engineering 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings /

Publicado em 2007

Sumário: “... in Ontologies Using DAG Comparison -- Automatic Generation of Model Translations -- Extended Enterprises...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Publicado em 2005

Sumário: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, Proceedings /

Publicado em 2010

Sumário: “...Simulation-Based Comparison of Three Wireless Multicast Routing Protocols: MOST, MOLSR and SMOLR...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Publicado em 2010

Sumário: “...-Based Authentication and Key Distribution Protocols with Perfect Forward Secrecy -- Using Genetic...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Environment and its Comparison -- Ubiquitous Data Management in a Personal Information Environment...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Advanced Techniques in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Interoperability of Enterprise Software and Applications

Publicado em 2006

Sumário: “... -- Business Process Requirements, Modeling Technique and Standard: how to Identify Interoperability Gaps on a...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Publicado em 2013

Sumário: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

Publicado em 2010

Sumário: “... -- Rebuilding the World from Views -- Approximate Query Processing in Sensor Networks -- Web Data I -- Duplicate...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca