( en | de | ru )

 

Disambiguation of "Gomes, Victor F."

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Dataflow Execution with Reconfiguration and Dynamic Instruction Merging.

, , and . VLSI-SoC, page 30-35. IEEE, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fernanda Ramos Gomes

Ana Maria Gomes Capelo Carregal Queirós

José Emilio Gomes

Adelino Gomes

Virginia Gomes dos Santos

 

Other publications of authors with the same name

Dynamic Instruction Merging and a Reconfigurable Array: Dataflow Execution with Software Compatibility., , and . ARC, volume 3985 of Lecture Notes in Computer Science, page 449-454. Springer, (2006)Trading Time and Space on Low Power Embedded Architectures with Dynamic Instruction Merging., , and . J. Low Power Electron., 1 (3): 249-258 (2005)Automatic Dataflow Execution with Reconfiguration and Dynamic Instruction Merging., , and . VLSI-SoC, page 30-35. IEEE, (2006)Exploiting Java through binary translation for low power embedded reconfigurable systems., , and . SBCCI, page 92-97. ACM, (2005)A Program Construction and Verification Tool for Separation Logic., , and . MPC, volume 9129 of Lecture Notes in Computer Science, page 137-158. Springer, (2015)A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes., , , and . Arch. Formal Proofs, (2017)OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)., , , and . CoRR, (2018)Programming and Proving with Classical Types., , and . APLAS, volume 10695 of Lecture Notes in Computer Science, page 215-234. Springer, (2017)Verifying strong eventual consistency in distributed systems., , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 109:1-109:28 (2017)Residuated Lattices., and . Arch. Formal Proofs, (2015)