Powered by ViewCVS 1.0-dev
| 1 : | andi | 1.1 | @article{Hoare, |
| 2 : | author = {Tony Hoare}, | ||
| 3 : | title = {The verifying compiler: A grand challenge for computing research}, | ||
| 4 : | journal = {Journal of the ACM}, | ||
| 5 : | volume = {50}, | ||
| 6 : | number = {1}, | ||
| 7 : | year = {2003}, | ||
| 8 : | issn = {0004-5411}, | ||
| 9 : | pages = {63--69}, | ||
| 10 : | doi = {http://doi.acm.org/10.1145/602382.602403}, | ||
| 11 : | publisher = {ACM}, | ||
| 12 : | address = {New York, NY, USA}, | ||
| 13 : | } | ||
| 14 : | |||
| 15 : | @article{1328444, | ||
| 16 : | author = {Jean-Baptiste Tristan and Xavier Leroy}, | ||
| 17 : | title = {Formal verification of translation validators: a case study on instruction scheduling optimizations}, | ||
| 18 : | journal = {SIGPLAN Not.}, | ||
| 19 : | volume = {43}, | ||
| 20 : | number = {1}, | ||
| 21 : | year = {2008}, | ||
| 22 : | issn = {0362-1340}, | ||
| 23 : | pages = {17--27}, | ||
| 24 : | doi = {http://doi.acm.org/10.1145/1328897.1328444}, | ||
| 25 : | publisher = {ACM}, | ||
| 26 : | address = {New York, NY, USA}, | ||
| 27 : | } | ||
| 28 : | |||
| 29 : | @article{1314860, | ||
| 30 : | author = {Jan Olaf Blech and Arnd Poetzsch-Heffter}, | ||
| 31 : | title = {A Certifying Code Generation Phase}, | ||
| 32 : | journal = {Electron. Notes Theor. Comput. Sci.}, | ||
| 33 : | volume = {190}, | ||
| 34 : | number = {4}, | ||
| 35 : | year = {2007}, | ||
| 36 : | issn = {1571-0661}, | ||
| 37 : | pages = {65--82}, | ||
| 38 : | doi = {http://dx.doi.org/10.1016/j.entcs.2007.09.008}, | ||
| 39 : | publisher = {Elsevier Science Publishers B. V.}, | ||
| 40 : | address = {Amsterdam, The Netherlands, The Netherlands}, | ||
| 41 : | } | ||
| 42 : | andi | 1.2 | |
| 43 : | @inproceedings{Blome+06, | ||
| 44 : | author = {Jason A. Blome and Shantanu Gupta and Shuguang Feng and Scott Mahlke}, | ||
| 45 : | title = {Cost-efficient soft error protection for embedded microprocessors}, | ||
| 46 : | booktitle = {International Conference on Compilers, Architecture and Synthesis | ||
| 47 : | for Embedded Systems (CASES'06)}, | ||
| 48 : | year = {2006}, | ||
| 49 : | isbn = {1-59593-543-6}, | ||
| 50 : | pages = {421--431}, | ||
| 51 : | location = {Seoul, Korea}, | ||
| 52 : | publisher = {ACM}, | ||
| 53 : | address = {New York, NY, USA}, | ||
| 54 : | } | ||
| 55 : | |||
| 56 : | @INPROCEEDINGS{LeeShrivastava09a, | ||
| 57 : | TITLE = {Compiler-Managed Register File Protection for Energy-Efficient Soft Error Reduction}, | ||
| 58 : | AUTHOR = {Jongeun Lee and Aviral Shrivastava}, | ||
| 59 : | BOOKTITLE = {Asia and South-Pacific Design Automation Conference}, | ||
| 60 : | EDITOR = {Ren-Song Tsay}, | ||
| 61 : | PAGES = {618--623}, | ||
| 62 : | LOCATION = {Yokohama, Japan}, | ||
| 63 : | PUBLISHER = {IEEE,ACM}, | ||
| 64 : | MONTH = {January}, | ||
| 65 : | YEAR = {2009}, | ||
| 66 : | } | ||
| 67 : | |||
| 68 : | @INPROCEEDINGS{LeeShrivastava09c, | ||
| 69 : | andi | 1.1 | TITLE = {A Compiler Optimization to Reduce Soft Errors in Register Files}, |
| 70 : | AUTHOR = {Jongeun Lee and Aviral Shrivastava}, | ||
| 71 : | BOOKTITLE = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems}, | ||
| 72 : | EDITOR = {Mahmut Kandemir}, | ||
| 73 : | PUBLISHER = {ACM}, | ||
| 74 : | andi | 1.2 | PAGES = {41--49}, |
| 75 : | LOCATION = {Dublin, Ireland}, | ||
| 76 : | ADDRESS = {New York, NY, USA}, | ||
| 77 : | andi | 1.1 | MONTH = {June}, |
| 78 : | YEAR = {2009}, | ||
| 79 : | } | ||
| 80 : | |||
| 81 : | @BOOK{MishraDutt08, | ||
| 82 : | TITLE = {Processor Description Languages}, | ||
| 83 : | AUTHOR = {Prabhat Mishra and Nikil Dutt (Editor)}, | ||
| 84 : | PUBLISHER = {Morgan Kaufmann}, | ||
| 85 : | YEAR = {2008}, | ||
| 86 : | } | ||
| 87 : | |||
| 88 : | @InProceedings{SchrSchoKn09, | ||
| 89 : | TITLE = "Adding Timing-Awareness to {AUTOSAR} Basic-Software - A Component Based Approach", | ||
| 90 : | AUTHOR = "Dietmar Schreiner and Markus Schordan and Jens Knoop", | ||
| 91 : | BOOKTITLE = "12th IEEE International Symposium on Object/component/service-oriented | ||
| 92 : | Real-time distributed Computing (ISORC 2009)", | ||
| 93 : | PUBLISHER = "IEEE", | ||
| 94 : | ADDRESS = "Tokyo, Japan", | ||
| 95 : | YEAR = "2009", | ||
| 96 : | MONTH = "March", | ||
| 97 : | PAGES = "288--292", | ||
| 98 : | } | ||
| 99 : | |||
| 100 : | @inproceedings{Prantl:WLPE2008, | ||
| 101 : | Address = {Udine, Italy}, | ||
| 102 : | Author = {Adrian Prantl and Jens Knoop and Markus Schordan and Markus Triska}, | ||
| 103 : | Booktitle = {The 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)}, | ||
| 104 : | Month = {December 12}, | ||
| 105 : | Title = {Constraint solving for high-level WCET analysis}, | ||
| 106 : | Year = {2008}, | ||
| 107 : | URL = {http://costa.tuwien.ac.at/papers/wlpe08.pdf} | ||
| 108 : | } | ||
| 109 : | |||
| 110 : | @InProceedings{prantl_et_al:DSP:2008:1661, | ||
| 111 : | author = "Adrian Prantl and Markus Schordan and Jens Knoop", | ||
| 112 : | title = "TuBound - {A} Conceptually New Tool for Worst-Case | ||
| 113 : | Execution Time Analysis", | ||
| 114 : | booktitle = "8th Intl. Workshop on Worst-Case Execution Time (WCET) | ||
| 115 : | Analysis", | ||
| 116 : | year = "2008", | ||
| 117 : | editor = "Raimund Kirner", | ||
| 118 : | publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, | ||
| 119 : | Germany", | ||
| 120 : | address = "Dagstuhl, Germany", | ||
| 121 : | URL = "http://drops.dagstuhl.de/opus/volltexte/2008/1661", | ||
| 122 : | annote = "Keywords: Worst-case execution time (WCET) analysis, | ||
| 123 : | Tool Chain, Flow Constraints, Source-To-Source", | ||
| 124 : | ISBN = "978-3-939897-10-1", | ||
| 125 : | note = "also published in print by Austrian Computer Society | ||
| 126 : | (OCG) under ISBN 978-3-85403-237-3", | ||
| 127 : | } | ||
| 128 : | |||
| 129 : | @InProceedings{kirner_et_al:DSP:2008:1657, | ||
| 130 : | author = "Raimund Kirner and Albrecht Kadlec and Adrian Prantl | ||
| 131 : | and Markus Schordan and Jens Knoop", | ||
| 132 : | title = "Towards a Common {WCET} Annotation Language: Essential | ||
| 133 : | Ingredients", | ||
| 134 : | booktitle = "8th Intl. Workshop on Worst-Case Execution Time (WCET) | ||
| 135 : | Analysis", | ||
| 136 : | year = "2008", | ||
| 137 : | editor = "Raimund Kirner", | ||
| 138 : | publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, | ||
| 139 : | Germany", | ||
| 140 : | address = "Dagstuhl, Germany", | ||
| 141 : | URL = "http://drops.dagstuhl.de/opus/volltexte/2008/1657", | ||
| 142 : | annote = "Keywords: Worst-case execution time (WCET) analysis, | ||
| 143 : | annotation languages, WCET annotation language | ||
| 144 : | challenge", | ||
| 145 : | ISBN = "978-3-939897-10-1", | ||
| 146 : | note = "also published in print by Austrian Computer Society | ||
| 147 : | (OCG) under ISBN 978-3-85403-237-3", | ||
| 148 : | } | ||
| 149 : | |||
| 150 : | @InProceedings{kirner_et_al:DSP:2007:1197, | ||
| 151 : | author = "Raimund Kirner and Jens Knoop and Adrian Prantl and | ||
| 152 : | Markus Schordan and Ingomar Wenzel", | ||
| 153 : | title = "{WCET} Analysis: The Annotation Language Challenge", | ||
| 154 : | booktitle = "7th Intl. Workshop on Worst-Case Execution Time (WCET) | ||
| 155 : | Analysis", | ||
| 156 : | year = "2007", | ||
| 157 : | editor = "Christine Rochange", | ||
| 158 : | publisher = "Internationales Begegnungs- und Forschungszentrum | ||
| 159 : | f{"u}r Informatik (IBFI), Schloss Dagstuhl, Germany", | ||
| 160 : | address = "Dagstuhl, Germany", | ||
| 161 : | URL = "http://drops.dagstuhl.de/opus/volltexte/2007/1197", | ||
| 162 : | annote = "Keywords: Worst-case execution time analysis, WCET, | ||
| 163 : | path description, annotation language challenge, | ||
| 164 : | expressiveness, convenience", | ||
| 165 : | } | ||
| 166 : | |||
| 167 : | |||
| 168 : | @InProceedings{knoop:DSP:2008:1575, | ||
| 169 : | author = {Jens Knoop}, | ||
| 170 : | title = {Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis}, | ||
| 171 : | booktitle = {Scalable Program Analysis}, | ||
| 172 : | year = {2008}, | ||
| 173 : | editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, | ||
| 174 : | number = {08161}, | ||
| 175 : | series = {Dagstuhl Seminar Proceedings}, | ||
| 176 : | ISSN = {1862-4405}, | ||
| 177 : | publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, | ||
| 178 : | address = {Dagstuhl, Germany}, | ||
| 179 : | URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1575}, | ||
| 180 : | annote = {Keywords: Multi-core computing systems, scalable program analysis, reverse data-flow analysis, demand-driven data-flow analysis} | ||
| 181 : | } | ||
| 182 : | |||
| 183 : | @InProceedings{conf/cc/XueK06, | ||
| 184 : | title = "A Fresh Look at {PRE} as a Maximum Flow Problem", | ||
| 185 : | author = "Jingling Xue and Jens Knoop", | ||
| 186 : | bibdate = "2006-04-05", | ||
| 187 : | bibsource = "DBLP, | ||
| 188 : | http://dblp.uni-trier.de/db/conf/cc/cc2006.html#XueK06", | ||
| 189 : | booktitle = "CC", | ||
| 190 : | booktitle = "Compiler Construction, 15th International Conference, | ||
| 191 : | {CC} 2006, Held as Part of the Joint European | ||
| 192 : | Conferences on Theory and Practice of Software, {ETAPS} | ||
| 193 : | 2006, Vienna, Austria, March 30-31, 2006, Proceedings", | ||
| 194 : | publisher = "Springer", | ||
| 195 : | year = "2006", | ||
| 196 : | volume = "3923", | ||
| 197 : | editor = "Alan Mycroft and Andreas Zeller", | ||
| 198 : | ISBN = "3-540-33050-X", | ||
| 199 : | pages = "139--154", | ||
| 200 : | series = "Lecture Notes in Computer Science", | ||
| 201 : | URL = "http://dx.doi.org/10.1007/11688839_13", | ||
| 202 : | } | ||
| 203 : | |||
| 204 : | @InProceedings{scholz04, | ||
| 205 : | author = "Bernhard Scholz and Nigel Horspool and Jens Knoop", | ||
| 206 : | title = "Optimizing for space and time usage with speculative | ||
| 207 : | partial redundancy elimination", | ||
| 208 : | booktitle = "LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED | ||
| 209 : | conference on Languages, Compilers, and Tools for Embedded Systems", | ||
| 210 : | year = "2004", | ||
| 211 : | ISBN = "1-58113-806-7", | ||
| 212 : | pages = "221--230", | ||
| 213 : | location = "Washington, DC, USA", | ||
| 214 : | publisher = "ACM Press", | ||
| 215 : | } | ||
| 216 : | |||
| 217 : | |||
| 218 : | @InProceedings{HiKr03, | ||
| 219 : | TITLE = "{VLIW} Operation Refinement for Reducing Energy Consumption", | ||
| 220 : | AUTHOR = "Ulrich Hirnschrott and Andreas Krall", | ||
| 221 : | BOOKTITLE = "International Symposium on System-on Chip", | ||
| 222 : | PUBLISHER = "IEEE", | ||
| 223 : | ADDRESS = "Tampere, Finland", | ||
| 224 : | YEAR = "2003", | ||
| 225 : | PAGES = "131--134", | ||
| 226 : | } | ||
| 227 : | |||
| 228 : | @Article{Krall+04micro, | ||
| 229 : | author = {Andreas Krall and Ulrich Hirnschrott and Christian Panis and Ivan Pryanishnikov}, | ||
| 230 : | title = {x{DSP}core: {A} {C}ompiler-{B}ased {C}onfigureable {D}igital {S}ignal {P}rocessor}, | ||
| 231 : | journal = {IEEE Micro}, | ||
| 232 : | year = {2004}, | ||
| 233 : | OPTkey = {}, | ||
| 234 : | volume = {24}, | ||
| 235 : | number = {4}, | ||
| 236 : | pages = {67-78}, | ||
| 237 : | month = {July/August}, | ||
| 238 : | OPTnote = {}, | ||
| 239 : | OPTannote = {}, | ||
| 240 : | } | ||
| 241 : | |||
| 242 : | @INPROCEEDINGS{FarKrStBrand06, | ||
| 243 : | TITLE = {Effective Compiler Generation by Architecture Description}, | ||
| 244 : | AUTHOR = {Stefan Farfeleder and Andreas Krall and Edwin Steiner and Florian Brandner}, | ||
| 245 : | BOOKTITLE = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems}, | ||
| 246 : | EDITOR = {Koen De Bosschere}, | ||
| 247 : | PUBLISHER = {ACM}, | ||
| 248 : | PAGES = {145--152}, | ||
| 249 : | ADDRESS = {Ottawa}, | ||
| 250 : | MONTH = {June}, | ||
| 251 : | YEAR = {2006}, | ||
| 252 : | URL = {http://doi.acm.org/10.1145/1134650.1134671}, | ||
| 253 : | } | ||
| 254 : | |||
| 255 : | @ARTICLE{PrKrHo06, | ||
| 256 : | AUTHOR = {Ivan Pryanishnikov and Andreas Krall and Nigel Horspool}, | ||
| 257 : | TITLE = {Compiler Optimizations for Processors with {SIMD} Instructions}, | ||
| 258 : | JOURNAL = {Software---Practice and Experience}, | ||
| 259 : | PUBLISHER = {Wiley}, | ||
| 260 : | VOLUME = {37}, | ||
| 261 : | NUMBER = {1}, | ||
| 262 : | PAGES = {93--113}, | ||
| 263 : | YEAR = {2007}, | ||
| 264 : | URL = {http://www3.interscience.wiley.com/cgi-bin/fulltext/112783581/PDFSTART}, | ||
| 265 : | } | ||
| 266 : | |||
| 267 : | @ARTICLE{FaKrHo07, | ||
| 268 : | AUTHOR = {Stefan Farfeleder and Andreas Krall and Nigel Horspool}, | ||
| 269 : | TITLE = {Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures}, | ||
| 270 : | JOURNAL = {Journal of Systems Architecture}, | ||
| 271 : | PUBLISHER = {Elsevier}, | ||
| 272 : | VOLUME = {53}, | ||
| 273 : | NUMBER = {8}, | ||
| 274 : | PAGES = {501--510}, | ||
| 275 : | YEAR = {2007}, | ||
| 276 : | } | ||
| 277 : | |||
| 278 : | @INPROCEEDINGS{MeKr07, | ||
| 279 : | TITLE = {Instruction Set Encoding Optimization for Code Size Reduction}, | ||
| 280 : | AUTHOR = {Michael Med and Andreas Krall}, | ||
| 281 : | BOOKTITLE = {International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation}, | ||
| 282 : | ADDRESS = {Samos, Greece}, | ||
| 283 : | PAGES = {9--17}, | ||
| 284 : | MONTH = {July}, | ||
| 285 : | YEAR = {2007} | ||
| 286 : | } | ||
| 287 : | |||
| 288 : | @INPROCEEDINGS{BrEbKr07, | ||
| 289 : | TITLE = {Compiler Generation from Structural Architecture Descriptions}, | ||
| 290 : | AUTHOR = {Florian Brandner and Dietmar Ebner and Andreas Krall}, | ||
| 291 : | BOOKTITLE = {International Conference on Compilers, Architecture, and Synthesis for Embedded Systems}, | ||
| 292 : | ADDRESS = {Salzburg, Austria}, | ||
| 293 : | PAGES = {13--22}, | ||
| 294 : | MONTH = {September}, | ||
| 295 : | YEAR = {2007} | ||
| 296 : | } | ||
| 297 : | |||
| 298 : | @INPROCEEDINGS{EbBrSchKrWiKa08, | ||
| 299 : | TITLE = {Generalized Instruction Selection using {SSA}-Graphs}, | ||
| 300 : | AUTHOR = {Dietmar Ebner and Florian Brandner and Bernhard Scholz and Andreas Krall and Peter Wiedermann and Albrecht Kadlec}, | ||
| 301 : | BOOKTITLE = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems}, | ||
| 302 : | EDITOR = {John Regehr}, | ||
| 303 : | PUBLISHER = {ACM}, | ||
| 304 : | PAGES = {31--40}, | ||
| 305 : | ADDRESS = {Tucson}, | ||
| 306 : | MONTH = {June}, | ||
| 307 : | YEAR = {2008}, | ||
| 308 : | } | ||
| 309 : | |||
| 310 : | @INPROCEEDINGS{BrFeKrRi09, | ||
| 311 : | TITLE = {Fast and Accurate Simulation using the LLVM Compiler Framework}, | ||
| 312 : | AUTHOR = {Florian Brandner and Andreas Fellnhofer and Andreas Krall and David Riegler}, | ||
| 313 : | BOOKTITLE = {Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO'09)}, | ||
| 314 : | EDITOR = {Smail Niar, Rainer Leupers, Olivier Temam}, | ||
| 315 : | PUBLISHER = {HiPEAC}, | ||
| 316 : | PAGES = {1--6}, | ||
| 317 : | ADDRESS = {Paphos, Cyprus}, | ||
| 318 : | MONTH = {January}, | ||
| 319 : | YEAR = {2009}, | ||
| 320 : | } |
|
CVS Admin Powered by ViewCVS 1.0-dev |
ViewCVS and CVS Help |