Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Alain Darte
@inproceedings{DBLP:conf/cc/DarteIY16, author = {Alain Darte and Alexandre Isoard and Tomofumi Yuki}, editor = {Ayal Zaks and Manuel V. Hermenegildo}, title = {Extended lattice-based memory allocation}, booktitle = {Proceedings of the 25th International Conference on Compiler Construction, {CC} 2016, Barcelona, Spain, March 12-18, 2016}, pages = {218--228}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2892208.2892213}, doi = {10.1145/2892208.2892213}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cc/DarteIY16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cc/DarteI15, author = {Alain Darte and Alexandre Isoard}, editor = {Bj{\"{o}}rn Franke}, title = {Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes}, booktitle = {Compiler Construction - 24th International Conference, {CC} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9031}, pages = {151--170}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46663-6\_8}, doi = {10.1007/978-3-662-46663-6\_8}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cc/DarteI15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/taco/ColombetBD14, author = {Quentin Colombet and Florian Brandner and Alain Darte}, title = {Studying Optimal Spilling in the Light of {SSA}}, journal = {{ACM} Trans. Archit. Code Optim.}, volume = {11}, number = {4}, pages = {47:1--47:26}, year = {2014}, url = {https://doi.org/10.1145/2685392}, doi = {10.1145/2685392}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/taco/ColombetBD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/AliasDP13, author = {Christophe Alias and Alain Darte and Alexandru Plesco}, editor = {Enrico Macii}, title = {Optimizing remote accesses for offloaded kernels: application to high-level synthesis for {FPGA}}, booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France, March 18-22, 2013}, pages = {575--580}, publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}}, year = {2013}, url = {https://doi.org/10.7873/DATE.2013.127}, doi = {10.7873/DATE.2013.127}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/date/AliasDP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/AliasDFG13, author = {Christophe Alias and Alain Darte and Paul Feautrier and Laure Gonnord}, title = {Rank: {A} Tool to Check Program Termination and Computational Complexity}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013}, pages = {238}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICSTW.2013.75}, doi = {10.1109/ICSTW.2013.75}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/AliasDFG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/BoissinotBDR12, author = {Benoit Boissinot and Philip Brisk and Alain Darte and Fabrice Rastello}, title = {{SSI} Properties Revisited}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {11}, number = {{S1}}, pages = {21}, year = {2012}, url = {https://doi.org/10.1145/2180887.2180898}, doi = {10.1145/2180887.2180898}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/BoissinotBDR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/AliasDP12, author = {Christophe Alias and Alain Darte and Alexandru Plesco}, editor = {J. Ramanujam and P. Sadayappan}, title = {Optimizing remote accesses for offloaded kernels: application to high-level synthesis for {FPGA}}, booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA, February 25-29, 2012}, pages = {285--286}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2145816.2145856}, doi = {10.1145/2145816.2145856}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/AliasDP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BoissinotBDDR11, author = {Benoit Boissinot and Florian Brandner and Alain Darte and Beno{\^{\i}}t Dupont de Dinechin and Fabrice Rastello}, editor = {Hongseok Yang}, title = {A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict {SSA} Programs}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {137--154}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_13}, doi = {10.1007/978-3-642-25318-8\_13}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BoissinotBDDR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cases/ColombetBD11, author = {Quentin Colombet and Florian Brandner and Alain Darte}, editor = {Rajesh K. Gupta and Vincent John Mooney}, title = {Studying optimal spilling in the light of {SSA}}, booktitle = {Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, {CASES} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011}, pages = {25--34}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2038698.2038706}, doi = {10.1145/2038698.2038706}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cases/ColombetBD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/parallel/Darte11, author = {Alain Darte}, editor = {David A. Padua}, title = {Parallelism Detection in Nested Loops, Optimal}, booktitle = {Encyclopedia of Parallel Computing}, pages = {1429--1442}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-0-387-09766-4\_519}, doi = {10.1007/978-0-387-09766-4\_519}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/parallel/Darte11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/AliasDP10, author = {Christophe Alias and Alain Darte and Alexandru Plesco}, editor = {Fran{\c{c}}ois Charot and Frank Hannig and J{\"{u}}rgen Teich and Christophe Wolinski}, title = {Optimizing {DDR-SDRAM} communications at C-level for automatically-generated hardware accelerators an experience with the Altera {C2H} {HLS} tool}, booktitle = {21st {IEEE} International Conference on Application-specific Systems Architectures and Processors, {ASAP} 2010, Rennes, France, 7-9 July 2010}, pages = {329--332}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ASAP.2010.5540967}, doi = {10.1109/ASAP.2010.5540967}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asap/AliasDP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/Darte10, author = {Alain Darte}, title = {Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd}, booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010}, pages = {139--148}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/MEMCOD.2010.5558638}, doi = {10.1109/MEMCOD.2010.5558638}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/Darte10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/AliasDFG10, author = {Christophe Alias and Alain Darte and Paul Feautrier and Laure Gonnord}, editor = {Radhia Cousot and Matthieu Martel}, title = {Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs}, booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan, France, September 14-16, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6337}, pages = {117--133}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15769-1\_8}, doi = {10.1007/978-3-642-15769-1\_8}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/AliasDFG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scopes/BouchezCDRG10, author = {Florent Bouchez and Quentin Colombet and Alain Darte and Fabrice Rastello and Christophe Guillon}, editor = {Ed F. Deprettere and Todor P. Stefanov}, title = {Parallel copy motion}, booktitle = {13th International Workshop on Software and Compilers for Embedded Systems, {SCOPES} '10, St. Goar, Germany, June 29-30, 2010}, pages = {1}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1811212.1811214}, doi = {10.1145/1811212.1811214}, timestamp = {Fri, 03 May 2019 12:48:52 +0200}, biburl = {https://dblp.org/rec/conf/scopes/BouchezCDRG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgo/BoissinotDRDG09, author = {Benoit Boissinot and Alain Darte and Fabrice Rastello and Beno{\^{\i}}t Dupont de Dinechin and Christophe Guillon}, title = {Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency}, booktitle = {Proceedings of the {CGO} 2009, The Seventh International Symposium on Code Generation and Optimization, Seattle, Washington, USA, March 22-25, 2009}, pages = {114--125}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/CGO.2009.19}, doi = {10.1109/CGO.2009.19}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cgo/BoissinotDRDG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/DinizJDK09, author = {Pedro C. Diniz and Ben H. H. Juurlink and Alain Darte and Wolfgang Karl}, editor = {Henk J. Sips and Dick H. J. Epema and Hai{-}Xiang Lin}, title = {Introduction}, booktitle = {Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5704}, pages = {295--296}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03869-3\_29}, doi = {10.1007/978-3-642-03869-3\_29}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/DinizJDK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cases/BouchezDR08, author = {Florent Bouchez and Alain Darte and Fabrice Rastello}, editor = {Erik R. Altman}, title = {Advanced conservative and optimistic register coalescing}, booktitle = {Proceedings of the 2008 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, {CASES} 2008, Atlanta, GA, USA, October 19-24, 2008}, pages = {147--156}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1450095.1450119}, doi = {10.1145/1450095.1450119}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cases/BouchezDR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rairo/CherrounDF07, author = {Hadda Cherroun and Alain Darte and Paul Feautrier}, title = {Reservation table scheduling: branch-and-bound based optimization \emph{vs}. integer linear programming techniques}, journal = {{RAIRO} Oper. Res.}, volume = {41}, number = {4}, pages = {427--454}, year = {2007}, url = {https://doi.org/10.1051/ro:2007036}, doi = {10.1051/RO:2007036}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rairo/CherrounDF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/DarteQ07, author = {Alain Darte and C. Quinson}, title = {Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis}, booktitle = {{IEEE} International Conference on Application-Specific Systems, Architectures and Processors, {ASAP} 2007, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, July 8-11, 2007}, pages = {140--147}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ASAP.2007.4429971}, doi = {10.1109/ASAP.2007.4429971}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asap/DarteQ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgo/BouchezDR07, author = {Florent Bouchez and Alain Darte and Fabrice Rastello}, title = {On the Complexity of Register Coalescing}, booktitle = {Fifth International Symposium on Code Generation and Optimization {(CGO} 2007), 11-14 March 2007, San Jose, California, {USA}}, pages = {102--114}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/CGO.2007.26}, doi = {10.1109/CGO.2007.26}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cgo/BouchezDR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lctrts/AliasBD07, author = {Christophe Alias and Fabrice Baray and Alain Darte}, editor = {Santosh Pande and Zhiyuan Li}, title = {Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose}, booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN/SIGBED} Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007}, pages = {73--82}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1254766.1254778}, doi = {10.1145/1254766.1254778}, timestamp = {Sun, 02 Oct 2022 16:11:14 +0200}, biburl = {https://dblp.org/rec/conf/lctrts/AliasBD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lctrts/BouchezDR07, author = {Florent Bouchez and Alain Darte and Fabrice Rastello}, editor = {Santosh Pande and Zhiyuan Li}, title = {On the complexity of spill everywhere under {SSA} form}, booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN/SIGBED} Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007}, pages = {103--112}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1254766.1254782}, doi = {10.1145/1254766.1254782}, timestamp = {Sat, 31 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lctrts/BouchezDR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0710-3642, author = {Florent Bouchez and Alain Darte and Fabrice Rastello}, title = {On the Complexity of Spill Everywhere under {SSA} Form}, journal = {CoRR}, volume = {abs/0710.3642}, year = {2007}, url = {http://arxiv.org/abs/0710.3642}, eprinttype = {arXiv}, eprint = {0710.3642}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0710-3642.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/CherrounDF06, author = {Hadda Cherroun and Alain Darte and Paul Feautrier}, editor = {Georges G. E. Gielen}, title = {Scheduling under resource constraints using dis-equations}, booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, {DATE} 2006, Munich, Germany, March 6-10, 2006}, pages = {1067--1072}, publisher = {European Design and Automation Association, Leuven, Belgium}, year = {2006}, url = {https://doi.org/10.1109/DATE.2006.243957}, doi = {10.1109/DATE.2006.243957}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/CherrounDF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lcpc/BouchezDGR06, author = {Florent Bouchez and Alain Darte and Christophe Guillon and Fabrice Rastello}, editor = {George Alm{\'{a}}si and Calin Cascaval and Peng Wu}, title = {Register Allocation: What Does the NP-Completeness Proof of Chaitin et al. Really Prove? Or Revisiting Register Allocation: Why and How}, booktitle = {Languages and Compilers for Parallel Computing, 19th International Workshop, {LCPC} 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {4382}, pages = {283--298}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-72521-3\_21}, doi = {10.1007/978-3-540-72521-3\_21}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lcpc/BouchezDGR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/DarteSV05, author = {Alain Darte and Robert Schreiber and Gilles Villard}, title = {Lattice-Based Memory Allocation}, journal = {{IEEE} Trans. Computers}, volume = {54}, number = {10}, pages = {1242--1257}, year = {2005}, url = {https://doi.org/10.1109/TC.2005.167}, doi = {10.1109/TC.2005.167}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/DarteSV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlsisp/DarteH05, author = {Alain Darte and Guillaume Huard}, title = {New Complexity Results on Array Contraction and Related Problems}, journal = {J. {VLSI} Signal Process.}, volume = {40}, number = {1}, pages = {35--55}, year = {2005}, url = {https://doi.org/10.1007/s11265-005-4937-3}, doi = {10.1007/S11265-005-4937-3}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlsisp/DarteH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/DarteDR05, author = {Alain Darte and Steven Derrien and Tanguy Risset}, title = {Hardware/Software Interface for Multi-Dimensional Processor Arrays}, booktitle = {16th {IEEE} International Conference on Application-Specific Systems, Architectures, and Processors {(ASAP} 2005), 23-25 July 2005, Samos, Greece}, pages = {28--35}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ASAP.2005.38}, doi = {10.1109/ASAP.2005.38}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asap/DarteDR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/DarteS05, author = {Alain Darte and Robert Schreiber}, editor = {Keshav Pingali and Katherine A. Yelick and Andrew S. Grimshaw}, title = {A linear-time algorithm for optimal barrier placement}, booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, {PPOPP} 2005, June 15-17, 2005, Chicago, IL, {USA}}, pages = {26--35}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1065944.1065949}, doi = {10.1145/1065944.1065949}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/DarteS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/DarteMFC03, author = {Alain Darte and John M. Mellor{-}Crummey and Robert J. Fowler and Daniel G. Chavarr{\'{\i}}a{-}Miranda}, title = {Generalized multipartitioning of multi-dimensional arrays for parallelizing line-sweep computations}, journal = {J. Parallel Distributed Comput.}, volume = {63}, number = {9}, pages = {887--911}, year = {2003}, url = {https://doi.org/10.1016/S0743-7315(03)00103-5}, doi = {10.1016/S0743-7315(03)00103-5}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jpdc/DarteMFC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cases/DarteSV03, author = {Alain Darte and Robert Schreiber and Gilles Villard}, editor = {Jaime H. Moreno and Praveen K. Murthy and Thomas M. Conte and Paolo Faraboschi}, title = {Lattice-based memory allocation}, booktitle = {Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, {CASES} 2003, San Jose, California, USA, October 30 - November 1, 2003}, pages = {298--308}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/951710.951749}, doi = {10.1145/951710.951749}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cases/DarteSV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/DarteSRV02, author = {Alain Darte and Robert Schreiber and B. Ramakrishna Rau and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Constructing and exploiting linear schedules with prescribed parallelism}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {7}, number = {1}, pages = {159--172}, year = {2002}, url = {https://doi.org/10.1145/504914.504921}, doi = {10.1145/504914.504921}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/DarteSRV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/DarteH02, author = {Alain Darte and Guillaume Huard}, title = {New Results on Array Contraction}, booktitle = {13th {IEEE} International Conference on Application-Specific Systems, Architectures, and Processors {(ASAP} 2002), 17-19 July 2002, San Jose, CA, {USA}}, pages = {359--370}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ASAP.2002.1030735}, doi = {10.1109/ASAP.2002.1030735}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asap/DarteH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/Chavarria-MirandaDFM02, author = {Daniel G. Chavarr{\'{\i}}a{-}Miranda and Alain Darte and Robert J. Fowler and John M. Mellor{-}Crummey}, title = {Generalized Multipartitioning for Multi-Dimensional Arrays}, booktitle = {16th International Parallel and Distributed Processing Symposium {(IPDPS} 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/IPDPS.2002.1015501}, doi = {10.1109/IPDPS.2002.1015501}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ipps/Chavarria-MirandaDFM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/DarteH02, author = {Alain Darte and Guillaume Huard}, editor = {Helmut Alt and Afonso Ferreira}, title = {Complexity of Multi-dimensional Loop Alignment}, booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2285}, pages = {179--191}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45841-7\_14}, doi = {10.1007/3-540-45841-7\_14}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/DarteH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cosps/DarteRV01, author = {Alain Darte and Yves Robert and Fr{\'{e}}d{\'{e}}ric Vivien}, editor = {Santosh Pande and Dharma P. Agrawal}, title = {Loop Parallelization Algorithms}, booktitle = {Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems}, series = {Lecture Notes in Computer Science}, volume = {1808}, pages = {141--172}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45403-9\_5}, doi = {10.1007/3-540-45403-9\_5}, timestamp = {Sun, 02 Oct 2022 15:58:02 +0200}, biburl = {https://dblp.org/rec/conf/cosps/DarteRV01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0002251, author = {Alain Darte and Yves Robert and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Scheduling and automatic parallelization}, publisher = {Birkh{\"{a}}user}, year = {2000}, isbn = {978-3-7643-4149-7}, timestamp = {Tue, 12 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0002251.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpp/DarteH00, author = {Alain Darte and Guillaume Huard}, title = {Loop Shifting for Loop Compaction}, journal = {Int. J. Parallel Program.}, volume = {28}, number = {5}, pages = {499--534}, year = {2000}, url = {https://doi.org/10.1023/A:1007506711786}, doi = {10.1023/A:1007506711786}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpp/DarteH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/Darte00, author = {Alain Darte}, title = {On the complexity of loop fusion}, journal = {Parallel Comput.}, volume = {26}, number = {9}, pages = {1175--1193}, year = {2000}, url = {https://doi.org/10.1016/S0167-8191(00)00034-X}, doi = {10.1016/S0167-8191(00)00034-X}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/Darte00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/DarteS00, author = {Alain Darte and Georges{-}Andr{\'{e}} Silber}, editor = {Arndt Bode and Thomas Ludwig and Wolfgang Karl and Roland Wism{\"{u}}ller}, title = {Temporary Arrays for Distribution of Loops with Control Dependences}, booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1900}, pages = {357--367}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44520-X\_47}, doi = {10.1007/3-540-44520-X\_47}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/DarteS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/DarteDGV00, author = {Alain Darte and Claude G. Diderich and Marc Gengler and Fr{\'{e}}d{\'{e}}ric Vivien}, editor = {Arndt Bode and Thomas Ludwig and Wolfgang Karl and Roland Wism{\"{u}}ller}, title = {Scheduling the Computations of a Loop Nest with Respect to a Given Mapping}, booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1900}, pages = {405--414}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44520-X\_52}, doi = {10.1007/3-540-44520-X\_52}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europar/DarteDGV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/DarteSRV00, author = {Alain Darte and Robert Schreiber and B. Ramakrishna Rau and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {A Constructive Solution to the Juggling Problem in Processor Array Synthesis}, booktitle = {Proceedings of the 14th International Parallel {\&} Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000}, pages = {815--822}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/IPDPS.2000.846069}, doi = {10.1109/IPDPS.2000.846069}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/DarteSRV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEpact/Darte99, author = {Alain Darte}, title = {On the Complexity of Loop Fusion}, booktitle = {Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, Newport Beach, California, USA, October 12-16, 1999}, pages = {149--157}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/PACT.1999.807510}, doi = {10.1109/PACT.1999.807510}, timestamp = {Mon, 30 May 2022 14:39:02 +0200}, biburl = {https://dblp.org/rec/conf/IEEEpact/Darte99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpcn/SilberD99, author = {Georges{-}Andr{\'{e}} Silber and Alain Darte}, editor = {Peter M. A. Sloot and Marian Bubak and Alfons G. Hoekstra and Louis O. Hertzberger}, title = {the {NESTOR} Library: {A} Tool for Implementing {FORTRAN} Source Transformations}, booktitle = {High-Performance Computing and Networking, 7th International Conference, {HPCN} Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1593}, pages = {653--662}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/BFb0100626}, doi = {10.1007/BFB0100626}, timestamp = {Sun, 12 Nov 2023 02:09:00 +0100}, biburl = {https://dblp.org/rec/conf/hpcn/SilberD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lcpc/DarteH99, author = {Alain Darte and Guillaume Huard}, editor = {Larry Carter and Jeanne Ferrante}, title = {Loop Shifting for Loop Compaction}, booktitle = {Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1863}, pages = {415--431}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-44905-1\_26}, doi = {10.1007/3-540-44905-1\_26}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/lcpc/DarteH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpp/CallandDRV98, author = {Pierre{-}Yves Calland and Alain Darte and Yves Robert and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {On the Removal of Anti- and Output-Dependences}, journal = {Int. J. Parallel Program.}, volume = {26}, number = {2}, pages = {285--312}, year = {1998}, url = {https://doi.org/10.1023/A:1018790129478}, doi = {10.1023/A:1018790129478}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijpp/CallandDRV98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/BouletDSV98, author = {Pierre Boulet and Alain Darte and Georges{-}Andr{\'{e}} Silber and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Loop Parallelization Algorithms: From Parallelism Extraction to Code Generation}, journal = {Parallel Comput.}, volume = {24}, number = {3-4}, pages = {421--444}, year = {1998}, url = {https://doi.org/10.1016/S0167-8191(98)00020-9}, doi = {10.1016/S0167-8191(98)00020-9}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/BouletDSV98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tpds/CallandDR98, author = {Pierre{-}Yves Calland and Alain Darte and Yves Robert}, title = {Circuit Retiming Applied to Decomposed Software Pipelining}, journal = {{IEEE} Trans. Parallel Distributed Syst.}, volume = {9}, number = {1}, pages = {24--35}, year = {1998}, url = {https://doi.org/10.1109/71.655240}, doi = {10.1109/71.655240}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tpds/CallandDR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpp/DarteV97, author = {Alain Darte and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Optimal Fine and Medium Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs}, journal = {Int. J. Parallel Program.}, volume = {25}, number = {6}, pages = {447--496}, year = {1997}, url = {https://doi.org/10.1023/A:1025168022993}, doi = {10.1023/A:1025168022993}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpp/DarteV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/paapp/DarteV97, author = {Alain Darte and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {On the Optimality of Allen and Kennedy's Algorithm for Parallelism Extraction in Nested Loops}, journal = {Parallel Algorithms Appl.}, volume = {12}, number = {1-3}, pages = {83--112}, year = {1997}, url = {https://doi.org/10.1080/01495739708941417}, doi = {10.1080/01495739708941417}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/paapp/DarteV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/BrandesCCRDDM97, author = {Thomas Brandes and Serge Chaumette and Marie Christine Counilh and Jean Roman and Alain Darte and Frederic Desprez and J. C. Mignot}, title = {{HPFIT:} {A} Set of Integrated Tools for the Parallelization of Applications Using High Performance Fortran. {PART} {I:} {HPFIT} and the TransTOOL Environment}, journal = {Parallel Comput.}, volume = {23}, number = {1-2}, pages = {71--87}, year = {1997}, url = {https://doi.org/10.1016/S0167-8191(96)00097-X}, doi = {10.1016/S0167-8191(96)00097-X}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/BrandesCCRDDM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/CallandDRV97, author = {Pierre{-}Yves Calland and Alain Darte and Yves Robert and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Plugging Anti and Output Dependence Removal Techniques Into Loop Parallelization Algorithm}, journal = {Parallel Comput.}, volume = {23}, number = {1-2}, pages = {251--266}, year = {1997}, url = {https://doi.org/10.1016/S0167-8191(96)00108-1}, doi = {10.1016/S0167-8191(96)00108-1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/CallandDRV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/DarteV97, author = {Alain Darte and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Parallelizing Nested Loops with Approximations of Distance Vectors: {A} Survey}, journal = {Parallel Process. Lett.}, volume = {7}, number = {2}, pages = {133--144}, year = {1997}, url = {https://doi.org/10.1142/S0129626497000152}, doi = {10.1142/S0129626497000152}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/DarteV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/DarteSV97, author = {Alain Darte and Georges{-}Andr{\'{e}} Silber and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Combining Retiming and Scheduling Techniques for Loop Parallelization and Loop Tiling}, journal = {Parallel Process. Lett.}, volume = {7}, number = {4}, pages = {379--392}, year = {1997}, url = {https://doi.org/10.1142/S0129626497000383}, doi = {10.1142/S0129626497000383}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/DarteSV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/DarteDR96, author = {Alain Darte and Mich{\`{e}}le Dion and Yves Robert}, title = {A Characterization of One-to-One Modular Mappings}, journal = {Parallel Process. Lett.}, volume = {6}, number = {1}, pages = {145--157}, year = {1996}, url = {https://doi.org/10.1142/S0129626496000157}, doi = {10.1142/S0129626496000157}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/DarteDR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEpact/DarteV96, author = {Alain Darte and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Optimal fine and medium grain parallelism detection in polyhedral reduced dependence graphs}, booktitle = {Proceedings of the Fifth International Conference on Parallel Architectures and Compilation Techniques, PACT'96, Boston, MA, USA, October 20-23, 1996}, pages = {281--291}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/PACT.1996.552676}, doi = {10.1109/PACT.1996.552676}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEpact/DarteV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/CallandDRV96, author = {Pierre{-}Yves Calland and Alain Darte and Yves Robert and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {On the Removal of Anti and Output Dependences}, booktitle = {1996 International Conference on Application-Specific Systems, Architectures, and Processors {(ASAP} '96), August 19-23, 1996, Chicago, {IL} , {USA}}, pages = {353--364}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/ASAP.1996.542829}, doi = {10.1109/ASAP.1996.542829}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asap/CallandDRV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/DarteV96, author = {Alain Darte and Fr{\'{e}}d{\'{e}}ric Vivien}, editor = {Luc Boug{\'{e}} and Pierre Fraigniaud and Anne Mignotte and Yves Robert}, title = {On the Optimality of Allen and Kennedy's Algorithm for Parallel Extraction in Nested Loops}, booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume {I}}, series = {Lecture Notes in Computer Science}, volume = {1123}, pages = {379--388}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61626-8\_50}, doi = {10.1007/3-540-61626-8\_50}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/DarteV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ics/CallandDR96, author = {Pierre{-}Yves Calland and Alain Darte and Yves Robert}, editor = {Pen{-}Chung Yew}, title = {A New Guaranteed Heuristic for the Software Pipelining Problem}, booktitle = {Proceedings of the 10th international conference on Supercomputing, {ICS} 1996, Philadelphia, PA, USA, May 25-28, 1996}, pages = {261--269}, publisher = {{ACM}}, year = {1996}, url = {https://doi.org/10.1145/237578.237613}, doi = {10.1145/237578.237613}, timestamp = {Tue, 06 Nov 2018 11:07:03 +0100}, biburl = {https://dblp.org/rec/conf/ics/CallandDR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ac/1996dppm, editor = {Guy{-}Ren{\'{e}} Perrin and Alain Darte}, title = {The Data Parallel Programming Model: Foundations, {HPF} Realization, and Scientific Applications}, series = {Lecture Notes in Computer Science}, volume = {1132}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61736-1}, doi = {10.1007/3-540-61736-1}, isbn = {3-540-61736-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ac/1996dppm.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijhpca/BouchitteBDR95, author = {Vincent Bouchitt{\'{e}} and Pierre Boulet and Alain Darte and Yves Robert}, title = {Evaluating Array Expressions On Massively Parallel Machines With Communication/ Computation Overlap}, journal = {Int. J. High Perform. Comput. Appl.}, volume = {9}, number = {3}, pages = {205--219}, year = {1995}, url = {https://doi.org/10.1177/109434209500900303}, doi = {10.1177/109434209500900303}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijhpca/BouchitteBDR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/DarteR95, author = {Alain Darte and Yves Robert}, title = {Affine-by-Statement Scheduling of Uniform and Affine Loop Nests over Parametric}, journal = {J. Parallel Distributed Comput.}, volume = {29}, number = {1}, pages = {43--59}, year = {1995}, url = {https://doi.org/10.1006/jpdc.1995.1105}, doi = {10.1006/JPDC.1995.1105}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jpdc/DarteR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/DarteV95, author = {Alain Darte and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Revisiting the Decomposition of Karp, Miller and Winograd}, journal = {Parallel Process. Lett.}, volume = {5}, pages = {551--562}, year = {1995}, url = {https://doi.org/10.1142/S0129626495000497}, doi = {10.1142/S0129626495000497}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/DarteV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/DarteV95, author = {Alain Darte and Fr{\'{e}}d{\'{e}}ric Vivien}, title = {Revisiting the Decomposition of Karp, Miller and Winograd}, booktitle = {The International Conference on Application Specific Array Processors (ASAP'95), July 24-26, 1995, Strasbourg, France}, pages = {13--25}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/ASAP.1995.522901}, doi = {10.1109/ASAP.1995.522901}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asap/DarteV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spdp/DarteDR95, author = {Alain Darte and Mich{\`{e}}le Dion and Yves Robert}, title = {A characterization of one-to-one modular mappings}, booktitle = {Proceedings of the Seventh {IEEE} Symposium on Parallel and Distributed Processing, {SPDP} 1995, San Antonio, Texas , USA, October 25-28, 1995}, pages = {382--389}, publisher = {{IEEE}}, year = {1995}, url = {https://doi.org/10.1109/SPDP.1995.530709}, doi = {10.1109/SPDP.1995.530709}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spdp/DarteDR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/integration/BouletDRR94, author = {Pierre Boulet and Alain Darte and Tanguy Risset and Yves Robert}, title = {(Pen)-ultimate tiling?}, journal = {Integr.}, volume = {17}, number = {1}, pages = {33--51}, year = {1994}, url = {https://doi.org/10.1016/0167-9260(94)90019-1}, doi = {10.1016/0167-9260(94)90019-1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/integration/BouletDRR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/DarteR94, author = {Alain Darte and Yves Robert}, title = {Mapping Uniform Loop Nests Onto Distributed Memory Architectures}, journal = {Parallel Comput.}, volume = {20}, number = {5}, pages = {679--710}, year = {1994}, url = {https://doi.org/10.1016/0167-8191(94)90001-9}, doi = {10.1016/0167-8191(94)90001-9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/DarteR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/DarteR94, author = {Alain Darte and Yves Robert}, title = {On the Alignment Problem}, journal = {Parallel Process. Lett.}, volume = {4}, pages = {259--270}, year = {1994}, url = {https://doi.org/10.1142/S0129626494000259}, doi = {10.1142/S0129626494000259}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/DarteR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tpds/DarteR94, author = {Alain Darte and Yves Robert}, title = {Constructive Methods for Scheduling Uniform Loop Nests}, journal = {{IEEE} Trans. Parallel Distributed Syst.}, volume = {5}, number = {8}, pages = {814--822}, year = {1994}, url = {https://doi.org/10.1109/71.298207}, doi = {10.1109/71.298207}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tpds/DarteR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/conpar/BouchitteBDR94, author = {Vincent Bouchitt{\'{e}} and Pierre Boulet and Alain Darte and Yves Robert}, editor = {Bruno Buchberger and Jens Volkert}, title = {Evaluating Array Expressions on Massively Parallel Machines with Communication/ Computation Overlap}, booktitle = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {854}, pages = {713--724}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58430-7\_62}, doi = {10.1007/3-540-58430-7\_62}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/conpar/BouchitteBDR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/DarteR93, author = {Alain Darte and Yves Robert}, title = {Communication-minimal mapping of uniform loop nests onto distributed memory architectures}, booktitle = {International Conference on Application-Specific Array Processors, {ASAP} 1993, Proceedings, Venice, Italy, 25-27 October, 1993}, pages = {1--14}, publisher = {{IEEE}}, year = {1993}, url = {https://doi.org/10.1109/ASAP.1993.397116}, doi = {10.1109/ASAP.1993.397116}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asap/DarteR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parco/Darte93, author = {Alain Darte}, editor = {Gerhard R. Joubert and Denis Trystram and Frans J. Peters and David J. Evans}, title = {Mapping Uniform Loop Nests onto Distributed Memory Architectures}, booktitle = {Parallel Computing: Trends and Applications, {PARCO} 1993, Grenoble, France}, pages = {287--294}, publisher = {Elsevier}, year = {1993}, timestamp = {Tue, 13 Mar 2018 14:43:53 +0100}, biburl = {https://dblp.org/rec/conf/parco/Darte93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/integration/Darte92, author = {Alain Darte}, title = {Erratum to: Regular partitioning for synthesizing fixed-size systolic arrays}, journal = {Integr.}, volume = {13}, number = {1}, pages = {97--98}, year = {1992}, url = {https://doi.org/10.1016/0167-9260(92)90020-Y}, doi = {10.1016/0167-9260(92)90020-Y}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/integration/Darte92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/DarteKR92, author = {Alain Darte and Leonid Khachiyan and Yves Robert}, title = {Linear scheduling is close to optimality}, booktitle = {Application Specific Array Processors, {ASAP} 1992, Proceedings of the International Conference on, Berkeley, CA, USA, 4-7 August, 1992}, pages = {37--46}, publisher = {{IEEE}}, year = {1992}, url = {https://doi.org/10.1109/ASAP.1992.218583}, doi = {10.1109/ASAP.1992.218583}, timestamp = {Sun, 08 Aug 2021 01:40:48 +0200}, biburl = {https://dblp.org/rec/conf/asap/DarteKR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/integration/Darte91, author = {Alain Darte}, title = {Regular partitioning for synthesizing fixed-size systolic arrays}, journal = {Integr.}, volume = {12}, number = {3}, pages = {293--304}, year = {1991}, url = {https://doi.org/10.1016/0167-9260(91)90026-H}, doi = {10.1016/0167-9260(91)90026-H}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/integration/Darte91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/DarteKR91, author = {Alain Darte and Leonid Khachiyan and Yves Robert}, title = {Linear Scheduling Is Nearly Optimal}, journal = {Parallel Process. Lett.}, volume = {1}, pages = {73--81}, year = {1991}, url = {https://doi.org/10.1142/S0129626491000021}, doi = {10.1142/S0129626491000021}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/DarteKR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asap/DarteRR91, author = {Alain Darte and Tanguy Risset and Yves Robert}, title = {Synthesizing systolic arrays: some recent developments}, booktitle = {Application Specific Array Processors, 1991. Proceedings of the International Conference on, Barcelona, Spain, 2-4 Sept., 1991}, pages = {372--386}, publisher = {{IEEE}}, year = {1991}, url = {https://doi.org/10.1109/ASAP.1991.238908}, doi = {10.1109/ASAP.1991.238908}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asap/DarteRR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccc/Darte91, author = {Alain Darte}, editor = {Patrice Quinton and Yves Robert}, title = {Two heuristics for task scheduling}, booktitle = {Algorithms and Parallel {VLSI} Architectures II, Proceedings of the International Workshop Algorithms and Parallel {VLSI} Architectures II, Ch{\^{a}}teau de Bonas, Gers, France, June 3-6, 1991}, pages = {383}, publisher = {Elsevier}, year = {1991}, timestamp = {Wed, 04 Sep 2002 15:26:25 +0200}, biburl = {https://dblp.org/rec/conf/ccc/Darte91.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.