Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Peter M. W. Knijnenburg
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.