Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming proof » programming problem, programming program, programming project
proof arrays » probe arrays, proof essays
arrays a » arrays _
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming proof » programming problem, programming program, programming project
proof arrays » probe arrays, proof essays
arrays a » arrays _
1
Publicado em 2010
Sumário:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2005
Sumário:
“... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2007
Sumário:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2005
Sumário:
“... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
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