Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Francky Catthoor

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Reducing Memory Fragmentation With Performance-Optimized Dynamic Memory Allocators in Network Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Systematic Methodology for Exploration of Performance – Energy Trade-Offs in Network Applications Using Dynamic Data Type Refinement

Journal of Systems Architecture
HardwareArchitectureSoftware
2007English

A Practical Dynamic Single Assignment Transformation

ACM Transactions on Design Automation of Electronic Systems
Computer Science ApplicationsElectronic EngineeringComputer GraphicsElectricalComputer-Aided Design
2007English

Topology Exploration for Energy Efficient Intra-Tile Communication

2007English

Systematic Intermediate Sequence Removal for Reduced Memory Accesses

2007English

Pareto-Optimization-Based Run-Time Task Scheduling for Embedded Systems

2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy