Peter M. W. Knijnenburg

Sven van Haastregt, Peter M. W. Knijnenburg: Interactive presentation: Feasibility of combined area and performance optimization for superscalar processors using random search. DATE 2007: 606-611

Francisco J. Cazorla, Enrique Fernández, Peter M. W. Knijnenburg, Alex Ramírez, Rizos Sakellariou, Mateo Valero: On the Problem of Minimizing Workload Execution Time in SMT Processors. ICSAMOS 2007: 66-73

Thomas A. M. Bernard, Chris R. Jesshope, Peter M. W. Knijnenburg: Strategies for Compiling µ TC to Novel Chip Multiprocessors. SAMOS 2007: 127-138

Holger Blume, Georgi Gaydadjiev, C. John Glossner, Peter M. W. Knijnenburg (Eds.): Proceedings of the 2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS 2007), Samos, Greece, July 16-19, 2007. IEEE 2007, isbn 1-4244-1058-4

Peter M. W. Knijnenburg: Special Issue: 10th International Workshop on Compilers for Parallel Computers (CPC 2003). Concurrency and Computation: Practice and Experience 18(11): 1333-1334 (2006)

Karine Heydemann, François Bodin, Peter M. W. Knijnenburg, Laurent Morin: UFS: a global trade-off strategy for loop unrolling for VLIW architectures. Concurrency and Computation: Practice and Experience 18(11): 1413-1434 (2006)

Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero: Predictable Performance in SMT Processors: Synergy between the OS and SMTs. IEEE Trans. Computers 55(7): 785-799 (2006)

Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: On the impact of data input sets on statistical compiler tuning. IPDPS 2006

Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Code Size Reduction by Compiler Tuning. SAMOS 2006: 186-195

Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Automatic Selection of Compiler Options Using Non-parametric Inferential Statistics. IEEE PACT 2005: 123-132

Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero: Architectural support for real-time task scheduling in SMT processors. CASES 2005: 166-176

Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Optimizing general purpose compiler optimization. Conf. Computing Frontiers 2005: 180-188

Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Generating new general compiler optimization settings. ICS 2005: 161-168

Peter M. W. Knijnenburg, Toru Kisuki, Kyle Gallivan, Michael F. P. O'Boyle: The effect of cache models on iterative compilation for combined tiling and unrolling. Concurrency and Computation: Practice and Experience 16(2-3): 247-270 (2004)

Francisco J. Cazorla, Alex Ramírez, Mateo Valero, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández: QoS for High-Performance SMT Processors in Embedded Systems. IEEE Micro 24(4): 24-31 (2004)

Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero: Predictable performance in SMT processors. Conf. Computing Frontiers 2004: 433-443

Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero: Implicit vs. Explicit Resource Allocation in SMT Processors. DSD 2004: 44-51

Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero: Feasibility of QoS for SMT. Euro-Par 2004: 535-540

Rogier P. J. Pinkers, Peter M. W. Knijnenburg, Masayo Haneda, Harry A. G. Wijshoff: Statistical Selection of Compiler Options. MASCOTS 2004: 494-501

Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle: Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. The Journal of Supercomputing 24(1): 43-67 (2003)

Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Integrating Loop and Data Transformations for Global Optimization. J. Parallel Distrib. Comput. 62(4): 563-590 (2002)

Grigori Fursin, Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Evaluating Iterative Compilation. LCPC 2002: 362-376

Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle: Iterative Compilation. Embedded Processor Design Challenges 2002: 171-187

Peter M. W. Knijnenburg, Toru Kisuki, Kyle Gallivan: Cache Models for Iterative Compilation. Euro-Par 2001: 254-261

Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Thilo Kielmann, Jason Maassen, Rob van Nieuwpoort, John Romain, Luc Renambot, Tim Rühl, Ronald Veldema, Kees Verstoep, Aline Baggio, Gerco Ballintijn, Ihor Kuz, Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum, Gerben Doornbos, Desmond Germans, Hans J. W. Spoelder, Evert Jan Baerends, Stan J. A. van Gisbergen, Hamid Afsermanseh, G. Dick van Albada, Adam Belloum, David Dubbeldam, Zeger W. Hendrikse, Louis O. Hertzberger, Alfons G. Hoekstra, Kamil Iskra, Drona Kandhai, Dennis Koelma, Frank van der Linden, Benno J. Overeinder, Peter M. A. Sloot, Piero Spinnato, Dick H. J. Epema, Arjan J. C. van Gemund, Pieter P. Jonker, Andrei Radulescu, Kees van Reeuwijk, Henk J. Sips, Peter M. W. Knijnenburg, Michael S. Lew, Floris Sluiter, Lex Wolters, Hans Blom, Cees de Laat: The Distributed ASCI Supercomputer Project. Operating Systems Review 34(4): 76-96 (2000)

Toru Kisuki, Peter M. W. Knijnenburg, Michael F. P. O'Boyle: Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. IEEE PACT 2000: 237-248

Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Nonsingular Data Transformations: Definition, Validity, and Applications. International Journal of Parallel Programming 27(3): 131-159 (1999)

Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Efficient Parallelization Using Combined Loop and Data Transformations. IEEE PACT 1999: 283-292

Michel Barreteau, François Bodin, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Toru Kisuki, Peter M. W. Knijnenburg, Paul van der Mark, Andy Nisbet, Michael F. P. O'Boyle, Erven Rohou, André Seznec, Elena Stöhr, Menno Treffers, Harry A. G. Wijshoff: OCEANS - Optimising Compilers for Embedded Applications. Euro-Par 1999: 1171-1175

Toru Kisuki, Peter M. W. Knijnenburg, Michael F. P. O'Boyle, François Bodin, Harry A. G. Wijshoff: A Feasibility Study in Iterative Compilation. ISHPC 1999: 121-132

Aart J. C. Bik, Peter Brinkhaus, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: The Automatic Generation of Sparse Primitives. ACM Trans. Math. Softw. 24(2): 190-225 (1998)

Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Integrating Loop and Data Transformations for Global Optimization. IEEE PACT 1998: 12-

Michel Barreteau, François Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Peter M. W. Knijnenburg, Michael F. P. O'Boyle, Erven Rohou, Rizos Sakellariou, André Seznec, Elena Stöhr, Menno Treffers, Harry A. G. Wijshoff: OCEANS: Optimising Compilers for Embedded Applications. Euro-Par 1998: 1123-1130

Peter M. W. Knijnenburg, Joost N. Kok: The Semantics of the Combination of Atomized Statements and Parallel Choice. Formal Asp. Comput. 9(5-6): 518-536 (1997)

Bas Aarts, Michel Barreteau, François Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Peter M. W. Knijnenburg, Michael F. P. O'Boyle, Erven Rohou, Rizos Sakellariou, Henk Schepers, André Seznec, Elena Stöhr, Marco Verhoeven, Harry A. G. Wijshoff: OCEANS: Optimizing Compilers for Embedded Applications. Euro-Par 1997: 1351-1356

Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Non-Singular Data Transformations: Definition, Validity and Applications. International Conference on Supercomputing 1997: 309-316

Peter M. W. Knijnenburg: A Note on the Smyth Powerdomain Construction. Fundam. Inform. 26(2): 133-139 (1996)

Peter M. W. Knijnenburg, Frank Nordemann: Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic. Mathematical Structures in Computer Science 4(2): 117-146 (1994)

Aart J. C. Bik, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Reshaping Access Patterns for Generating Sparse Codes. LCPC 1994: 406-420

Joost N. Kok, Peter M. W. Knijnenburg: Divergence Models for Atomized Statements and Parallel Choice. ISTCS 1993: 231-239

Peter M. W. Knijnenburg, Frank Nordemann: A Categorical Interpretation of Partial Function Logic and Hoare Logic. LFCS 1992: 229-240

Peter M. W. Knijnenburg, Jan van Leeuwen: On Models for Propositional Dynamic Logic. Theor. Comput. Sci. 91(2): 181-203 (1991)

Peter M. W. Knijnenburg, Joost N. Kok: On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract). FCT 1991: 297-306