BibTeX records: Peter M. W. Knijnenburg

download as .bib file

@inproceedings{DBLP:conf/date/HaastregtK07,
  author       = {Sven van Haastregt and
                  Peter M. W. Knijnenburg},
  editor       = {Rudy Lauwereins and
                  Jan Madsen},
  title        = {Interactive presentation: Feasibility of combined area and performance
                  optimization for superscalar processors using random search},
  booktitle    = {2007 Design, Automation and Test in Europe Conference and Exposition,
                  {DATE} 2007, Nice, France, April 16-20, 2007},
  pages        = {606--611},
  publisher    = {{EDA} Consortium, San Jose, CA, {USA}},
  year         = {2007},
  url          = {https://doi.org/10.1109/DATE.2007.364660},
  doi          = {10.1109/DATE.2007.364660},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/HaastregtK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/CazorlaFKRSV07,
  author       = {Francisco J. Cazorla and
                  Enrique Fern{\'{a}}ndez and
                  Peter M. W. Knijnenburg and
                  Alex Ram{\'{\i}}rez and
                  Rizos Sakellariou and
                  Mateo Valero},
  editor       = {Holger Blume and
                  Georgi Gaydadjiev and
                  C. John Glossner and
                  Peter M. W. Knijnenburg},
  title        = {On the Problem of Minimizing Workload Execution Time in {SMT} Processors},
  booktitle    = {Proceedings of the 2007 International Conference on Embedded Computer
                  Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2007),
                  Samos, Greece, July 16-19, 2007},
  pages        = {66--73},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICSAMOS.2007.4285735},
  doi          = {10.1109/ICSAMOS.2007.4285735},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/CazorlaFKRSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/BernardJK07,
  author       = {Thomas A. M. Bernard and
                  Chris R. Jesshope and
                  Peter M. W. Knijnenburg},
  editor       = {Stamatis Vassiliadis and
                  Mladen Berekovic and
                  Timo D. H{\"{a}}m{\"{a}}l{\"{a}}inen},
  title        = {Strategies for Compiling {\(\mathrm{\mu}\)} {TC} to Novel Chip Multiprocessors},
  booktitle    = {Embedded Computer Systems: Architectures, Modeling, and Simulation,
                  7th International Workshop, {SAMOS} 2007, Samos, Greece, July 16-19,
                  2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4599},
  pages        = {127--138},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73625-7\_15},
  doi          = {10.1007/978-3-540-73625-7\_15},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/BernardJK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/samos/2007ic,
  editor       = {Holger Blume and
                  Georgi Gaydadjiev and
                  C. John Glossner and
                  Peter M. W. Knijnenburg},
  title        = {Proceedings of the 2007 International Conference on Embedded Computer
                  Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2007),
                  Samos, Greece, July 16-19, 2007},
  publisher    = {{IEEE}},
  year         = {2007},
  isbn         = {1-4244-1058-4},
  timestamp    = {Tue, 07 Sep 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/2007ic.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/Knijnenburg06,
  author       = {Peter M. W. Knijnenburg},
  title        = {Special Issue: 10th International Workshop on Compilers for Parallel
                  Computers {(CPC} 2003)},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {18},
  number       = {11},
  pages        = {1333--1334},
  year         = {2006},
  url          = {https://doi.org/10.1002/cpe.1010},
  doi          = {10.1002/CPE.1010},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/Knijnenburg06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/HeydemannBKM06,
  author       = {Karine Heydemann and
                  Fran{\c{c}}ois Bodin and
                  Peter M. W. Knijnenburg and
                  Laurent Morin},
  title        = {{UFS:} a global trade-off strategy for loop unrolling for {VLIW} architectures},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {18},
  number       = {11},
  pages        = {1413--1434},
  year         = {2006},
  url          = {https://doi.org/10.1002/cpe.1014},
  doi          = {10.1002/CPE.1014},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/HeydemannBKM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/CazorlaKSFRV06,
  author       = {Francisco J. Cazorla and
                  Peter M. W. Knijnenburg and
                  Rizos Sakellariou and
                  Enrique Fern{\'{a}}ndez and
                  Alex Ram{\'{\i}}rez and
                  Mateo Valero},
  title        = {Predictable Performance in {SMT} Processors: Synergy between the {OS}
                  and SMTs},
  journal      = {{IEEE} Trans. Computers},
  volume       = {55},
  number       = {7},
  pages        = {785--799},
  year         = {2006},
  url          = {https://doi.org/10.1109/TC.2006.108},
  doi          = {10.1109/TC.2006.108},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/CazorlaKSFRV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HanedaKW06,
  author       = {Masayo Haneda and
                  Peter M. W. Knijnenburg and
                  Harry A. G. Wijshoff},
  title        = {On the impact of data input sets on statistical compiler tuning},
  booktitle    = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IPDPS.2006.1639724},
  doi          = {10.1109/IPDPS.2006.1639724},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/HanedaKW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/HanedaKW06,
  author       = {Masayo Haneda and
                  Peter M. W. Knijnenburg and
                  Harry A. G. Wijshoff},
  editor       = {Stamatis Vassiliadis and
                  Stephan Wong and
                  Timo H{\"{a}}m{\"{a}}l{\"{a}}inen},
  title        = {Code Size Reduction by Compiler Tuning},
  booktitle    = {Embedded Computer Systems: Architectures, Modeling, and Simulation,
                  6th International Workshop, {SAMOS} 2006, Samos, Greece, July 17-20,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4017},
  pages        = {186--195},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11796435\_20},
  doi          = {10.1007/11796435\_20},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/HanedaKW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/HanedaKW05,
  author       = {Masayo Haneda and
                  Peter M. W. Knijnenburg and
                  Harry A. G. Wijshoff},
  title        = {Automatic Selection of Compiler Options Using Non-parametric Inferential
                  Statistics},
  booktitle    = {14th International Conference on Parallel Architectures and Compilation
                  Techniques {(PACT} 2005), 17-21 September 2005, St. Louis, MO, {USA}},
  pages        = {123--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/PACT.2005.9},
  doi          = {10.1109/PACT.2005.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/HanedaKW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/CazorlaKSFRV05,
  author       = {Francisco J. Cazorla and
                  Peter M. W. Knijnenburg and
                  Rizos Sakellariou and
                  Enrique Fern{\'{a}}ndez and
                  Alex Ram{\'{\i}}rez and
                  Mateo Valero},
  editor       = {Thomas M. Conte and
                  Paolo Faraboschi and
                  William H. Mangione{-}Smith and
                  Walid A. Najjar},
  title        = {Architectural support for real-time task scheduling in {SMT} processors},
  booktitle    = {Proceedings of the 2005 International Conference on Compilers, Architecture,
                  and Synthesis for Embedded Systems, {CASES} 2005, San Francisco, California,
                  USA, September 24-27, 2005},
  pages        = {166--176},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1086297.1086320},
  doi          = {10.1145/1086297.1086320},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/CazorlaKSFRV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/HanedaKW05,
  author       = {Masayo Haneda and
                  Peter M. W. Knijnenburg and
                  Harry A. G. Wijshoff},
  editor       = {Nader Bagherzadeh and
                  Mateo Valero and
                  Alex Ram{\'{\i}}rez},
  title        = {Optimizing general purpose compiler optimization},
  booktitle    = {Proceedings of the Second Conference on Computing Frontiers, 2005,
                  Ischia, Italy, May 4-6, 2005},
  pages        = {180--188},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1062261.1062293},
  doi          = {10.1145/1062261.1062293},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cf/HanedaKW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/HanedaKW05,
  author       = {Masayo Haneda and
                  Peter M. W. Knijnenburg and
                  Harry A. G. Wijshoff},
  editor       = {Arvind and
                  Larry Rudolph},
  title        = {Generating new general compiler optimization settings},
  booktitle    = {Proceedings of the 19th Annual International Conference on Supercomputing,
                  {ICS} 2005, Cambridge, Massachusetts, USA, June 20-22, 2005},
  pages        = {161--168},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088149.1088171},
  doi          = {10.1145/1088149.1088171},
  timestamp    = {Tue, 06 Nov 2018 11:07:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/HanedaKW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KnijnenburgKGO04,
  author       = {Peter M. W. Knijnenburg and
                  Toru Kisuki and
                  Kyle A. Gallivan and
                  Michael F. P. O'Boyle},
  title        = {The effect of cache models on iterative compilation for combined tiling
                  and unrolling},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {16},
  number       = {2-3},
  pages        = {247--270},
  year         = {2004},
  url          = {https://doi.org/10.1002/cpe.773},
  doi          = {10.1002/CPE.773},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/KnijnenburgKGO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/CazorlaRVKSF04,
  author       = {Francisco J. Cazorla and
                  Alex Ram{\'{\i}}rez and
                  Mateo Valero and
                  Peter M. W. Knijnenburg and
                  Rizos Sakellariou and
                  Enrique Fern{\'{a}}ndez},
  title        = {QoS for High-Performance {SMT} Processors in Embedded Systems},
  journal      = {{IEEE} Micro},
  volume       = {24},
  number       = {4},
  pages        = {24--31},
  year         = {2004},
  url          = {https://doi.org/10.1109/MM.2004.37},
  doi          = {10.1109/MM.2004.37},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/micro/CazorlaRVKSF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/CazorlaKSFRV04,
  author       = {Francisco J. Cazorla and
                  Peter M. W. Knijnenburg and
                  Rizos Sakellariou and
                  Enrique Fern{\'{a}}ndez and
                  Alex Ram{\'{\i}}rez and
                  Mateo Valero},
  editor       = {Stamatis Vassiliadis and
                  Jean{-}Luc Gaudiot and
                  Vincenzo Piuri},
  title        = {Predictable performance in {SMT} processors},
  booktitle    = {Proceedings of the First Conference on Computing Frontiers, 2004,
                  Ischia, Italy, April 14-16, 2004},
  pages        = {433--443},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/977091.977152},
  doi          = {10.1145/977091.977152},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cf/CazorlaKSFRV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/CazorlaKSFRV04,
  author       = {Francisco J. Cazorla and
                  Peter M. W. Knijnenburg and
                  Rizos Sakellariou and
                  Enrique Fern{\'{a}}ndez and
                  Alex Ram{\'{\i}}rez and
                  Mateo Valero},
  title        = {Implicit vs. Explicit Resource Allocation in {SMT} Processors},
  booktitle    = {2004 Euromicro Symposium on Digital Systems Design {(DSD} 2004), Architectures,
                  Methods and Tools, 31 August - 3 September 2004, Rennes, France},
  pages        = {44--51},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DSD.2004.1333257},
  doi          = {10.1109/DSD.2004.1333257},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/CazorlaKSFRV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/CazorlaKSFRV04,
  author       = {Francisco J. Cazorla and
                  Peter M. W. Knijnenburg and
                  Rizos Sakellariou and
                  Enrique Fern{\'{a}}ndez and
                  Alex Ram{\'{\i}}rez and
                  Mateo Valero},
  editor       = {Marco Danelutto and
                  Marco Vanneschi and
                  Domenico Laforenza},
  title        = {Feasibility of QoS for {SMT}},
  booktitle    = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference,
                  Pisa, Italy, August 31-September 3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3149},
  pages        = {535--540},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27866-5\_70},
  doi          = {10.1007/978-3-540-27866-5\_70},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/CazorlaKSFRV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/CazorlaKSFRV04,
  author       = {Francisco J. Cazorla and
                  Peter M. W. Knijnenburg and
                  Rizos Sakellariou and
                  Enrique Fern{\'{a}}ndez and
                  Alex Ram{\'{\i}}rez and
                  Mateo Valero},
  title        = {Enabling {SMT} for real-time embedded systems},
  booktitle    = {2004 12th European Signal Processing Conference, Vienna, Austria,
                  September 6-10, 2004},
  pages        = {1341--1344},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://ieeexplore.ieee.org/document/7079809/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eusipco/CazorlaKSFRV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/PinkersKHW04,
  author       = {Rogier P. J. Pinkers and
                  Peter M. W. Knijnenburg and
                  Masayo Haneda and
                  Harry A. G. Wijshoff},
  editor       = {Doug DeGroot and
                  Peter G. Harrison and
                  Harry A. G. Wijshoff and
                  Zary Segall},
  title        = {Statistical Selection of Compiler Options},
  booktitle    = {12th International Workshop on Modeling, Analysis, and Simulation
                  of Computer and Telecommunication Systems {(MASCOTS} 2004), 4-8 October
                  2004, Vollendam, The Netherlands},
  pages        = {494--501},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/MASCOT.2004.1348305},
  doi          = {10.1109/MASCOT.2004.1348305},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/PinkersKHW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/KnijnenburgKO03,
  author       = {Peter M. W. Knijnenburg and
                  Toru Kisuki and
                  Michael F. P. O'Boyle},
  title        = {Combined Selection of Tile Sizes and Unroll Factors Using Iterative
                  Compilation},
  journal      = {J. Supercomput.},
  volume       = {24},
  number       = {1},
  pages        = {43--67},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1020989410030},
  doi          = {10.1023/A:1020989410030},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/KnijnenburgKO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/OBoyleK02,
  author       = {Michael F. P. O'Boyle and
                  Peter M. W. Knijnenburg},
  title        = {Integrating Loop and Data Transformations for Global Optimization},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {62},
  number       = {4},
  pages        = {563--590},
  year         = {2002},
  url          = {https://doi.org/10.1006/jpdc.2001.1815},
  doi          = {10.1006/JPDC.2001.1815},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/OBoyleK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/FursinOK02,
  author       = {Grigori Fursin and
                  Michael F. P. O'Boyle and
                  Peter M. W. Knijnenburg},
  editor       = {William W. Pugh and
                  Chau{-}Wen Tseng},
  title        = {Evaluating Iterative Compilation},
  booktitle    = {Languages and Compilers for Parallel Computing, 15th Workshop, {LCPC}
                  2002, College Park, MD, USA, July 25-27, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2481},
  pages        = {362--376},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/11596110\_24},
  doi          = {10.1007/11596110\_24},
  timestamp    = {Mon, 04 Apr 2022 21:23:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/FursinOK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/KnijnenburgKO02,
  author       = {Peter M. W. Knijnenburg and
                  Toru Kisuki and
                  Michael F. P. O'Boyle},
  editor       = {Ed F. Deprettere and
                  J{\"{u}}rgen Teich and
                  Stamatis Vassiliadis},
  title        = {Iterative Compilation},
  booktitle    = {Embedded Processor Design Challenges: Systems, Architectures, Modeling,
                  and Simulation - {SAMOS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2268},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45874-3\_10},
  doi          = {10.1007/3-540-45874-3\_10},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/KnijnenburgKO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/KnijnenburgKG01,
  author       = {Peter M. W. Knijnenburg and
                  Toru Kisuki and
                  Kyle A. Gallivan},
  editor       = {Rizos Sakellariou and
                  John A. Keane and
                  John R. Gurd and
                  Len Freeman},
  title        = {Cache Models for Iterative Compilation},
  booktitle    = {Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference
                  Manchester, {UK} August 28-31, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2150},
  pages        = {254--261},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44681-8\_37},
  doi          = {10.1007/3-540-44681-8\_37},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/KnijnenburgKG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/BalBH00,
  author       = {Henri E. Bal and
                  Raoul Bhoedjang and
                  Rutger F. H. Hofman and
                  Ceriel J. H. Jacobs and
                  Thilo Kielmann and
                  Jason Maassen and
                  Rob van Nieuwpoort and
                  John Romain and
                  Luc Renambot and
                  Tim R{\"{u}}hl and
                  Ronald Veldema and
                  Kees Verstoep and
                  Aline Baggio and
                  Gerco Ballintijn and
                  Ihor Kuz and
                  Guillaume Pierre and
                  Maarten van Steen and
                  Andrew S. Tanenbaum and
                  Gerben Doornbos and
                  Desmond Germans and
                  Hans J. W. Spoelder and
                  Evert Jan Baerends and
                  Stan J. A. van Gisbergen and
                  Hamid Afsermanseh and
                  G. Dick van Albada and
                  Adam Belloum and
                  David Dubbeldam and
                  Zeger W. Hendrikse and
                  Louis O. Hertzberger and
                  Alfons G. Hoekstra and
                  Kamil Iskra and
                  Drona Kandhai and
                  Dennis C. Koelma and
                  Frank van der Linden and
                  Benno J. Overeinder and
                  Peter M. A. Sloot and
                  Piero Spinnato and
                  Dick H. J. Epema and
                  Arjan J. C. van Gemund and
                  Pieter P. Jonker and
                  Andrei Radulescu and
                  Kees van Reeuwijk and
                  Henk J. Sips and
                  Peter M. W. Knijnenburg and
                  Michael S. Lew and
                  Floris Sluiter and
                  Lex Wolters and
                  Hans Blom and
                  Cees de Laat},
  title        = {The Distributed {ASCI} Supercomputer Project},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {34},
  number       = {4},
  pages        = {76--96},
  year         = {2000},
  url          = {https://doi.org/10.1145/506106.506115},
  doi          = {10.1145/506106.506115},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigops/BalBH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/KisukiKO00,
  author       = {Toru Kisuki and
                  Peter M. W. Knijnenburg and
                  Michael F. P. O'Boyle},
  title        = {Combined Selection of Tile Sizes and Unroll Factors Using Iterative
                  Compilation},
  booktitle    = {Proceedings of the 2000 International Conference on Parallel Architectures
                  and Compilation Techniques (PACT'00), Philadelphia, Pennsylvania,
                  USA, October 15-19, 2000},
  pages        = {237--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/PACT.2000.888348},
  doi          = {10.1109/PACT.2000.888348},
  timestamp    = {Tue, 31 May 2022 13:36:12 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/KisukiKO00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/OBoyleK99,
  author       = {Michael F. P. O'Boyle and
                  Peter M. W. Knijnenburg},
  title        = {Nonsingular Data Transformations: Definition, Validity, and Applications},
  journal      = {Int. J. Parallel Program.},
  volume       = {27},
  number       = {3},
  pages        = {131--159},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018744411700},
  doi          = {10.1023/A:1018744411700},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/OBoyleK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/OBoyleK99,
  author       = {Michael F. P. O'Boyle and
                  Peter M. W. Knijnenburg},
  title        = {Efficient Parallelization Using Combined Loop and Data Transformations},
  booktitle    = {Proceedings of the 1999 International Conference on Parallel Architectures
                  and Compilation Techniques, Newport Beach, California, USA, October
                  12-16, 1999},
  pages        = {283--292},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/PACT.1999.807573},
  doi          = {10.1109/PACT.1999.807573},
  timestamp    = {Mon, 30 May 2022 14:39:02 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/OBoyleK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BarreteauBCCEGHHJKKMNORSSTW99,
  author       = {Michel Barreteau and
                  Fran{\c{c}}ois Bodin and
                  Zbigniew Chamski and
                  Henri{-}Pierre Charles and
                  Christine Eisenbeis and
                  John R. Gurd and
                  Jan Hoogerbrugge and
                  Ping Hu and
                  William Jalby and
                  Toru Kisuki and
                  Peter M. W. Knijnenburg and
                  Paul van der Mark and
                  Andy Nisbet and
                  Michael F. P. O'Boyle and
                  Erven Rohou and
                  Andr{\'{e}} Seznec and
                  Elena St{\"{o}}hr and
                  Menno Treffers and
                  Harry A. G. Wijshoff},
  editor       = {Patrick Amestoy and
                  Philippe Berger and
                  Michel J. Dayd{\'{e}} and
                  Iain S. Duff and
                  Val{\'{e}}rie Frayss{\'{e}} and
                  Luc Giraud and
                  Daniel Ruiz},
  title        = {{OCEANS} - Optimising Compilers for Embedded Applications},
  booktitle    = {Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference,
                  Toulouse, France, August 31 - September 3, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1685},
  pages        = {1171--1175},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48311-X\_165},
  doi          = {10.1007/3-540-48311-X\_165},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/BarreteauBCCEGHHJKKMNORSSTW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ishpc/KisukiKOBW99,
  author       = {Toru Kisuki and
                  Peter M. W. Knijnenburg and
                  Michael F. P. O'Boyle and
                  Fran{\c{c}}ois Bodin and
                  Harry A. G. Wijshoff},
  editor       = {Constantine D. Polychronopoulos and
                  Kazuki Joe and
                  Akira Fukuda and
                  Shinji Tomita},
  title        = {A Feasibility Study in Iterative Compilation},
  booktitle    = {High Performance Computing, Second International Symposium, ISHPC'99,
                  Kyoto, Japan, May 26-28, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1615},
  pages        = {121--132},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/BFb0094916},
  doi          = {10.1007/BFB0094916},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ishpc/KisukiKOBW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/BikBKW98,
  author       = {Aart J. C. Bik and
                  Peter Brinkhaus and
                  Peter M. W. Knijnenburg and
                  Harry A. G. Wijshoff},
  title        = {The Automatic Generation of Sparse Primitives},
  journal      = {{ACM} Trans. Math. Softw.},
  volume       = {24},
  number       = {2},
  pages        = {190--225},
  year         = {1998},
  url          = {https://doi.org/10.1145/290200.287636},
  doi          = {10.1145/290200.287636},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toms/BikBKW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/OBoyleK98,
  author       = {Michael F. P. O'Boyle and
                  Peter M. W. Knijnenburg},
  title        = {Integrating Loop and Data Transformations for Global Optimization},
  booktitle    = {Proceedings of the 1998 International Conference on Parallel Architectures
                  and Compilation Techniques, Paris, France, October 12-18, 1998},
  pages        = {12},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/PACT.1998.727131},
  doi          = {10.1109/PACT.1998.727131},
  timestamp    = {Mon, 30 May 2022 14:39:06 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/OBoyleK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BarreteauBBCCEGHHJKORSSSTW98,
  author       = {Michel Barreteau and
                  Fran{\c{c}}ois Bodin and
                  Peter Brinkhaus and
                  Zbigniew Chamski and
                  Henri{-}Pierre Charles and
                  Christine Eisenbeis and
                  John R. Gurd and
                  Jan Hoogerbrugge and
                  Ping Hu and
                  William Jalby and
                  Peter M. W. Knijnenburg and
                  Michael F. P. O'Boyle and
                  Erven Rohou and
                  Rizos Sakellariou and
                  Andr{\'{e}} Seznec and
                  Elena St{\"{o}}hr and
                  Menno Treffers and
                  Harry A. G. Wijshoff},
  editor       = {David J. Pritchard and
                  Jeff Reeve},
  title        = {{OCEANS:} Optimising Compilers for Embedded Applications},
  booktitle    = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference,
                  Southampton, UK, September 1-4, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1470},
  pages        = {1123--1130},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057974},
  doi          = {10.1007/BFB0057974},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/BarreteauBBCCEGHHJKORSSSTW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/SakellariouEK98,
  author       = {Rizos Sakellariou and
                  Christine Eisenbeis and
                  Peter M. W. Knijnenburg},
  title        = {Efficient implementation of the row-column 8{\texttimes}8 {IDCT} on
                  {VLIW} architectures},
  booktitle    = {9th European Signal Processing Conference, {EUSIPCO} 1998, Island
                  of Rhodes, Greece, 8-11 September, 1998},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {1998},
  url          = {https://ieeexplore.ieee.org/document/7090002/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eusipco/SakellariouEK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KnijnenburgK97,
  author       = {Peter M. W. Knijnenburg and
                  Joost N. Kok},
  title        = {The Semantics of the Combination of Atomized Statements and Parallel
                  Choice},
  journal      = {Formal Aspects Comput.},
  volume       = {9},
  number       = {5-6},
  pages        = {518--536},
  year         = {1997},
  url          = {https://doi.org/10.1007/BF01211458},
  doi          = {10.1007/BF01211458},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/KnijnenburgK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AartsBBBCCEGHHJKORSSSSVW97,
  author       = {Bas Aarts and
                  Michel Barreteau and
                  Fran{\c{c}}ois Bodin and
                  Peter Brinkhaus and
                  Zbigniew Chamski and
                  Henri{-}Pierre Charles and
                  Christine Eisenbeis and
                  John R. Gurd and
                  Jan Hoogerbrugge and
                  Ping Hu and
                  William Jalby and
                  Peter M. W. Knijnenburg and
                  Michael F. P. O'Boyle and
                  Erven Rohou and
                  Rizos Sakellariou and
                  Henk Schepers and
                  Andr{\'{e}} Seznec and
                  Elena St{\"{o}}hr and
                  Marco Verhoeven and
                  Harry A. G. Wijshoff},
  editor       = {Christian Lengauer and
                  Martin Griebl and
                  Sergei Gorlatch},
  title        = {{OCEANS:} Optimizing Compilers for Embedded Applications},
  booktitle    = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
                  Passau, Germany, August 26-29, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1300},
  pages        = {1351--1356},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0002894},
  doi          = {10.1007/BFB0002894},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/AartsBBBCCEGHHJKORSSSSVW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/OBoyleK97,
  author       = {Michael F. P. O'Boyle and
                  Peter M. W. Knijnenburg},
  editor       = {Steven J. Wallach and
                  Hans P. Zima},
  title        = {Non-Singular Data Transformations: Definition, Validity and Applications},
  booktitle    = {Proceedings of the 11th international conference on Supercomputing,
                  {ICS} 1997, Vienna, Austria, July 7-11, 1997},
  pages        = {309--316},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/263580.263655},
  doi          = {10.1145/263580.263655},
  timestamp    = {Tue, 06 Nov 2018 11:07:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/OBoyleK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Knijnenburg96,
  author       = {Peter M. W. Knijnenburg},
  title        = {A Note on the Smyth Powerdomain Construction},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {2},
  pages        = {133--139},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-26203},
  doi          = {10.3233/FI-1996-26203},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Knijnenburg96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KnijnenburgN94,
  author       = {Peter M. W. Knijnenburg and
                  Frank Nordemann},
  title        = {Partial Hyperdoctrines: Categorical Models for Partial Function Logic
                  and Hoare Logic},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {4},
  number       = {2},
  pages        = {117--146},
  year         = {1994},
  url          = {https://doi.org/10.1017/S0960129500000414},
  doi          = {10.1017/S0960129500000414},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/KnijnenburgN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/BikKW94,
  author       = {Aart J. C. Bik and
                  Peter M. W. Knijnenburg and
                  Harry A. G. Wijshoff},
  editor       = {Keshav Pingali and
                  Utpal Banerjee and
                  David Gelernter and
                  Alexandru Nicolau and
                  David A. Padua},
  title        = {Reshaping Access Patterns for Generating Sparse Codes},
  booktitle    = {Languages and Compilers for Parallel Computing, 7th International
                  Workshop, LCPC'94, Ithaca, NY, USA, August 8-10, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {892},
  pages        = {406--420},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0025893},
  doi          = {10.1007/BFB0025893},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/BikKW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KokK93,
  author       = {Joost N. Kok and
                  Peter M. W. Knijnenburg},
  title        = {Divergence Models for Atomized Statements and Parallel Choice},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {231--239},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253466},
  doi          = {10.1109/ISTCS.1993.253466},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/KokK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KnijnenburgN92,
  author       = {Peter M. W. Knijnenburg and
                  Frank Nordemann},
  editor       = {Anil Nerode and
                  Michael A. Taitslin},
  title        = {A Categorical Interpretation of Partial Function Logic and Hoare Logic},
  booktitle    = {Logical Foundations of Computer Science - Tver '92, Second International
                  Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {620},
  pages        = {229--240},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0023877},
  doi          = {10.1007/BFB0023877},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/KnijnenburgN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KnijnenburgL91,
  author       = {Peter M. W. Knijnenburg and
                  Jan van Leeuwen},
  title        = {On Models for Propositional Dynamic Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {2},
  pages        = {181--203},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90083-E},
  doi          = {10.1016/0304-3975(91)90083-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KnijnenburgL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KnijenburgK91,
  author       = {Peter M. W. Knijnenburg and
                  Joost N. Kok},
  editor       = {Lothar Budach},
  title        = {On the Semantics of Atomized Statements - the Parallel-Choice Option
                  (Extended Abstract)},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {297--306},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_74},
  doi          = {10.1007/3-540-54458-5\_74},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/KnijenburgK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics