Annotation of res/res.bib, revision 1.2
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: }
1.2 ! andi 42:
! 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,
1.1 andi 69: 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},
1.2 ! andi 74: PAGES = {41--49},
! 75: LOCATION = {Dublin, Ireland},
! 76: ADDRESS = {New York, NY, USA},
1.1 andi 77: 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: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to res.bib CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [gforth] / res