Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
programming proof » programming problem, programming program, programming project
proof arrays » probe arrays, proof essays
arrays a » arrays _
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
programming proof » programming problem, programming program, programming project
proof arrays » probe arrays, proof essays
arrays a » arrays _
1
Pubblicazione 2010
Sommario:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”Testo
Elettronico
eBook
2
Pubblicazione 2005
Sommario:
“... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”Testo
Elettronico
eBook
3
Pubblicazione 2007
Sommario:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Testo
Elettronico
eBook
4
Pubblicazione 2005
Sommario:
“... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”Testo
Elettronico
eBook
5
Pubblicazione 2010
Sommario:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Testo
Elettronico
eBook