The performance of a constraint model can often be improved by convertin...
Constraint Programming (CP) is a well-established area in AI as a progra...
As High-Performance Computing (HPC) systems strive towards the exascale ...
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix...
As High-Performance Computing (HPC) systems strive towards exascale goal...
We present FINJ, a high-level fault injection tool for High-Performance
...
We present AccaSim, a simulator for workload management in HPC systems.
...
The Priority Inheritance Protocol (PIP) is arguably the best-known proto...
We identify a new and important global (or non-binary) constraint. This
...