PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Coelho, Fabien"

Author of the publication

copydeleteadd this publication to your clipboard
A Modular Static Analysis Approach to Affine Loop Invariants Detection.

, , and . Electron. Notes Theor. Comput. Sci., 267 (1): 3-16 (2010)

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.

No persons found for author name Coelho, Fabien
add a person with the name Coelho, Fabien
 

Other publications of authors with the same name

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices., , , and . PPAM (1), volume 8384 of Lecture Notes in Computer Science, page 793-803. Springer, (2013)Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes., and . IEEE PACT, page 376-384. IEEE Computer Society, (1998)API compilation for image hardware accelerators., and . TACO, 9 (4): 49:1-49:25 (2013)The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems., , , and . CoRR, (2014)Automatic Detection of Uninitialized Variables., , , and . CC, volume 2622 of Lecture Notes in Computer Science, page 217-231. Springer, (2003)Discussing HPF Design Issues.. Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 571-578. Springer, (1996)Polyèdres et compilation., , , , , and . Technique et Science Informatiques, 31 (8-10): 987-1019 (2012)A Linear Algebra Framework for Static High Performance Fortran Code Distribution., , , and . Scientific Programming, 6 (1): 3-27 (1997)An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol based on Merkle Trees.. IACR Cryptology ePrint Archive, (2007)Itsuku: a Memory-Hardened Proof-of-Work Scheme., , and . IACR Cryptology ePrint Archive, (2017)