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