Solving linear, min and max constraint systems using CLP based on relational interval arithmetic von Girodias, Pierre, Cerny, Eduard, Older, William J.

Volltext

Solving linear, min and max constraint systems using CLP based on relational interval arithmetic von Girodias, Pierre, Cerny, Eduard, Older, William J.

Volltext

Interface Timing Verification with Delay Correlation Using Constraint Logic Programming von Girodias, Pierre, Cerny, Eduard

Volltext

High-level timing analysis using constraint logic programming and interval arithmetic von Girodias, P., Cerny, E.

Volltext

Interface timing verification with delay correlation using constraint logic programming von Girodias, P., Cerny, E.

Volltext

Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip von Girodias, Bruno, Iugan, Luiza Gheorghe, Bouchebaba, Youcef, Nicolescu, Gabriela, Abouhamid, El Mostapha, Langevin, Michel, Paulin, Pierre

Volltext

MPSoC memory optimization using program transformation von Bouchebaba, Youcef, Girodias, Bruno, Nicolescu, Gabriela, Aboulhamid, El Mostapha, Lavigueur, Bruno, Paulin, Pierre

Volltext