27 results on '"Fabien Coelho"'
Search Results
2. Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors.
3. Automatic Streamization of Image Processing Applications.
4. The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices.
5. Static Compilation Analysis for Host-Accelerator Communication Optimization.
6. An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees.
7. Buffer and register allocation for memory space optimization.
8. Automatic Detection of Uninitialized Variables.
9. Tiling and Memory Reuse for Sequences of Nested Loops.
10. API compilation for image hardware accelerators.
11. Polyèdres et compilation.
12. A Modular Static Analysis Approach to Affine Loop Invariants Detection.
13. Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes.
14. Compiling Dynamic Mappings with Array Copies.
15. Buffer and Register Allocation for Memory Space Optimization.
16. Discussing HPF Design Issues.
17. State of the Art in Compiling HPF.
18. Experiments with HPF Compilation for a Network of Workstations.
19. Pavage pour une séquence de nids de boucles.
20. The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems.
21. Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors.
22. The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices.
23. A Linear Algebra Framework for Static High Performance Fortran Code Distribution.
24. Optimal Compilation of HPF Remappings.
25. Itsuku: a Memory-Hardened Proof-of-Work Scheme.
26. An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol based on Merkle Trees.
27. Exponential Memory-Bound Functions for Proof of Work Protocols.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.