Ignore:
Timestamp:
Feb 17, 2011, 2:17:11 PM (9 years ago)
Author:
mulligan
Message:

Resolved conflict, updated bibtex, finished bibliography, and llncs.cls updated to latest version.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.bib

    r551 r555  
     1@article
     2{ bate:wcet:2011,
     3  author = {Iain Bate and Usman Khan},
     4  title = {{WCET} analysis of modern processors using multi-criteria optimisation},
     5  journal = {Empirical Software Engineering},
     6  pages = {5--28},
     7  volume = {16},
     8  issue = {1},
     9  year = {2011}
     10}
     11
    112@article
    213{ leroy:formal:2009,
     
    1930  pages = {363--446},
    2031  year = {2009}
     32}
     33
     34@inproceedings
     35{ yan:wcet:2008,
     36  author = {Jun Yan and Wei Zhang},
     37  title = {{WCET} Analysis for Multi-Core Processors with Shared {L2} Instruction Caches},
     38  booktitle = {Proceedings of the Fourteenth {IEEE} Symposium on Real-time and Embedded Technology and Applications ({RTAS 2008})},
     39  pages = {80--89},
     40  year = {2008}
    2141}
    2242
     
    6686
    6787@inproceedings
     88{ garrigue:programming:1998,
     89  author = {Jacques Garrigue},
     90  title = {Programming with polymorphic variants},
     91  booktitle = {The {ML} Workshop},
     92  year = {1998}
     93}
     94
     95@inproceedings
     96{ leijen:domain:1999,
     97  author = {Daan Leijen and Erik Meijer},
     98  title = {Domain specific embedded compilers},
     99  booktitle = {Proceedings of the Second Conference on Domain Specific Languages {(DSL 1999)}},
     100  series = {{ACM SIGPLAN} Notices},
     101  pages = {109--122},
     102  volume = {2},
     103  year = {1999}
     104}
     105
     106@inproceedings
    68107{ sarkar:semantics:2009,
    69108  author = {Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Tom Ridge and Thomas Braibant and Magnus O. Myreen and Jade Alglave},
     
    94133
    95134@misc
     135{ oliboni:matita:2008,
     136  author = {Cosimo A. Oliboni},
     137  title = {{Matita} come Supporto per Specifiche Eseguibili: Formalizzazione Interattiva dei Microcontroller a 8 bit {Freescale}},
     138  institution = {Dipartimento di Scienze dell'Informazione, Universit\`a di Bologna},
     139  howpublished = {\url{http://matita.cs.unibo.it/library.shtml}},
     140  year = {2008}
     141}
     142
     143@misc
    96144{ sdcc:2010,
    97145  title = {Small Device {C} Compiler {(SDCC)} 3.0.0},
     
    99147  year = {2010},
    100148  key = {{SDCC}}
     149}
     150
     151@misc
     152{ siemens:2011,
     153  title = {Siemens Semiconductor Group 8051 derivative instruction set},
     154  howpublished = {\url{http://www.win.tue.nl/~aeb/comp/8051/instruction-set.pdf}},
     155  year = {2011},
     156  key = {{Siemens}}
    101157}
    102158
Note: See TracChangeset for help on using the changeset viewer.