Bavo Nootaert

Formally Modeling Microprocessor Caches and Branch Predictors

Jean-Marie Jacquet, Koen De Bosschere, Hans Vandierendonck, 2006 .

The placement of matrices when using XOR-based hashing

Koen De Bosschere, Hans Vandierendonck, Bavo Nootaert, 2005 .

Conflict Avoiding Caches Invite New Data Layout Optimizations

Koen De Bosschere, Hans Vandierendonck, Bavo Nootaert, 2006 .

Alignment of matrices when using XOR-based hashing

Koen De Bosschere, Hans Vandierendonck, Bavo Nootaert, 2005 .

A formal model for microprocessor caches

Jean-Marie Jacquet, Koen De Bosschere, Hans Vandierendonck, 2006 .

On the calculation of Ehrhart polynomials in degenerate domains

Kristof Beyls, Erik H. D'Hollander, Bavo Nootaert, 2005 .