Resultados da pesquisa - parallel implementation program termination function https

Pesquisas alternativas:
implementation program » implementation process , implementation plan , implementation part
termination function » permutation function , termination detection , coordination function
program termination » program verification , proving termination
function https » functions https , fiction https

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Publicado em 2005

Sumário: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Obter o texto integral

Recurso Electrónico livro electrónico

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Publicado em 2013

Sumário: “... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”
Obter o texto integral

Recurso Electrónico livro electró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: “...Keynotes -- Reconfigurable Platform for Digital Convergence Terminals -- European Research...”
Obter o texto integral

Recurso Electrónico livro electrónico

Distributed Algorithms for Message-Passing Systems

Por Raynal, Michel., Raynal, Michel.
Publicado em 2013

Sumário: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Obter o texto integral

Recurso Electrónico livro electrónico

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

Publicado em 2013

Sumário: “...An Unstructured Termination Detection Algorithm Using Gossip in Cloud Computing Environments...”
Obter o texto integral

Recurso Electrónico livro electrónico

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Publicado em 2007

Sumário: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Obter o texto integral

Recurso Electrónico livro electrónico

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Publicado em 2013

Sumário: “...-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Publicado em 2010

Sumário: “... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Publicado em 2013

Sumário: “... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Obter o texto integral

Recurso Electrónico livro electrónico

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Publicado em 2007

Sumário: “... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computational Methods

Publicado em 2006

Sumário: “... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”
Obter o texto integral

Recurso Electrónico livro electrónico

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Publicado em 2014

Sumário: “... Authentication Scheme Based on the Label -- A Mobile Terminal Authentication Scheme Based on Symmetric...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa