2007 | ||
---|---|---|
43 | Holger Blume, Georgi Gaydadjiev, C. John Glossner, Peter M. W. Knijnenburg: Proceedings of 2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS 2007), Samos, Greece, July 16-19, 2007 IEEE 2007 | |
42 | EE | S. 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 |
41 | EE | 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 |
40 | EE | Thomas A. M. Bernard, Chris R. Jesshope, Peter M. W. Knijnenburg: Strategies for Compiling µ TC to Novel Chip Multiprocessors. SAMOS 2007: 127-138 |
2006 | ||
39 | EE | Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: On the impact of data input sets on statistical compiler tuning. IPDPS 2006 |
38 | EE | Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Code Size Reduction by Compiler Tuning. SAMOS 2006: 186-195 |
37 | EE | 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) |
36 | EE | 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) |
35 | EE | 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) |
2005 | ||
34 | EE | 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 |
33 | EE | Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Optimizing general purpose compiler optimization. Conf. Computing Frontiers 2005: 180-188 |
32 | EE | Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Generating new general compiler optimization settings. ICS 2005: 161-168 |
31 | EE | 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 |
2004 | ||
30 | EE | 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 |
29 | EE | 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 |
28 | EE | 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 |
27 | EE | Rogier P. J. Pinkers, Peter M. W. Knijnenburg, Masayo Haneda, Harry A. G. Wijshoff: Statistical Selection of Compiler Options. MASCOTS 2004: 494-501 |
26 | EE | 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) |
25 | EE | 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) |
2003 | ||
24 | EE | 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) |
2002 | ||
23 | EE | Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle: Iterative Compilation. Embedded Processor Design Challenges 2002: 171-187 |
22 | EE | Grigori Fursin, Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Evaluating Iterative Compilation. LCPC 2002: 362-376 |
21 | EE | 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) |
2001 | ||
20 | EE | Peter M. W. Knijnenburg, Toru Kisuki, Kyle Gallivan: Cache Models for Iterative Compilation. Euro-Par 2001: 254-261 |
2000 | ||
19 | EE | 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 |
18 | EE | 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) |
1999 | ||
17 | EE | 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 |
16 | EE | Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Efficient Parallelization Using Combined Loop and Data Transformations. IEEE PACT 1999: 283-292 |
15 | 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 | |
14 | 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) | |
1998 | ||
13 | EE | 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 |
12 | EE | Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Integrating Loop and Data Transformations for Global Optimization. IEEE PACT 1998: 12- |
11 | EE | 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) |
1997 | ||
10 | 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 | |
9 | EE | Michael F. P. O'Boyle, Peter M. W. Knijnenburg: Non-Singular Data Transformations: Definition, Validity and Applications. International Conference on Supercomputing 1997: 309-316 |
8 | 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) | |
1996 | ||
7 | Peter M. W. Knijnenburg: A Note on the Smyth Powerdomain Construction. Fundam. Inform. 26(2): 133-139 (1996) | |
1994 | ||
6 | Aart J. C. Bik, Peter M. W. Knijnenburg, Harry A. G. Wijshoff: Reshaping Access Patterns for Generating Sparse Codes. LCPC 1994: 406-420 | |
5 | 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) | |
1993 | ||
4 | Joost N. Kok, Peter M. W. Knijnenburg: Divergence Models for Atomized Statements and Parallel Choice. ISTCS 1993: 231-239 | |
1992 | ||
3 | Peter M. W. Knijnenburg, Frank Nordemann: A Categorical Interpretation of Partial Function Logic and Hoare Logic. LFCS 1992: 229-240 | |
1991 | ||
2 | Peter M. W. Knijnenburg, Joost N. Kok: On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract). FCT 1991: 297-306 | |
1 | Peter M. W. Knijnenburg, Jan van Leeuwen: On Models for Propositional Dynamic Logic. Theor. Comput. Sci. 91(2): 181-203 (1991) |