source: anr/anr.bib @ 67

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%% LIP6
% HPC
@InProceedings{hpc06a,
  author    = {{M.B. Gokhale and al.}},
  title     = {{Promises and Pitfalls of Reconfigurable Supercomputing}},
  booktitle = {Systems and Algorithms, CSREA Press},
  pages     = {11-20},
  year      = {2006},
}
@MISC{hpc06b,
  author =       {{D. Buell}},
  title  =   {{Programming Reconfigurable Computers}},
  booktitle = {Summer Institute},
  howpublished = {http://gladiator.ncsa.uiuc.edu/PDFs/rssi06/presentations/00\_Duncan\_Buell.pdf},
  year =         {2006},
}
@InProceedings{hpc07a,
  author =       {{T. Van Court and al.}},
  title  =   {{ Achieving High Performance with FPGA-Based Computing}},
  booktitle = {Computer, vol. 40, no. 3},
  pages     = {50-57},
  month     = {mars},
  year =         {2007},
}
@misc{hpc08,
  title        = {Mitrionics},
  howpublished = {http://www.mitrionics.com/},
  year         = {2009},
}
@misc{hpc09,
  title        = {Gidel},
  howpublished = {http://www.gidel.com/},
  year         = {2009},
}
@misc{hpc10,
  title        = {Convey Computer},
  howpublished = {http://www.conveycomputers.com/},
  year         = {2009},
}
@InProceedings{hpc11,
  author =      {E. El-Araby, I. Gonzalez and T. El-Ghazawi},
  title   = {Virtual Architecture and Design Automation for Partial Reconfiguration },
  booktitle = {HPRCTA},
  year =         {2008},
}
@InProceedings{hpc12,
  author =       {{P. Lysaght and J. Dunlop}},
  title   = {Dynamic Reconfiguration of Field Programmable Gate Arrays},
  booktitle = {Field Programmable Logic and Applications, Oxford, England},
  month     = {Sept},
  year =         {1993},
}


% System design
@misc{soclib,
  title        = {Soclib},
  howpublished = {http://www.soclib.fr/},
  year         = {2009},
}

@misc{system-generateur-for-dsp,
  title        = {{System Generator for DSP}},
  howpublished = {http://www.xilinx.com/tools/sysgen.htm},
  year         = {2009},
}

@misc{spoc-builder,
  title        = {{sopc builder support}},
  howpublished = {http://www.altera.com/support/software/system/sopc/sof-sopc\_builder.html},
  year         = {2009},
}

@InProceedings{disydent05,
  author =       {{Ivan Aug\'{e}, Fr\'{e}d\'{e}ric P\'{e}trot, François Donnet and Pascal Gomez}},
  title =        {{Platform-based design from parallel C specifications}},
  booktitle = {IEEE Transaction on CAD of Integrated Circuits and Systems},
  pages     = {1811--1826},
  month     = {December},
  year =         {2005},
}

% HLS
% http://mesl.ucsd.edu/spark/index.shtml
@BOOK{spark04,
  author     = {S. Gupta and al.},
  title      = {SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits},
  publisher  = {Springer},
  year       = {2004},
}

@INBOOK{gaut08,
  author    = {P. Coussy and al.},
  title     = {GAUT: A High-Level Synthesis Tool for DSP applications},
  booktitle = {High-Level Synthesis: From Algorithm to Digital Circuits},
  publisher = {Springer},
  year      = {2008},
}

@INBOOK{ugh08,
  author    = {Ivan Aug\'{e} and Fr\'{e}d\'{e}ric P\'{e}trot},
  title     = {User Guided High Level Synthesis},
  booktitle = {High-Level Synthesis: From Algorithm to Digital Circuits},
  publisher = {Springer},
  chapter   = {10},
  year      = {2008},
}

@misc{pico,
  title        = {{PICO}},
  howpublished = {http://www.synfora.com/},
  year         = {2009},
}

@misc{catapult-c,
  title        = {{CATAPULT-C Mentor HLS tool}},
  howpublished = {http://www.mentor.com/products/esl/high\_level\_synthesis/},
  year         = {2009},
}

@misc{cynthetizer,
  title        = {{Forte's CYNTHESIZER}},
  howpublished = {http://www.forteds.com/},
  year         = {2009},
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%% IRISA
@InProceedings{KluterCodes08,
  author =       {{Theo Kluter and  Philip Brisk and  Paolo Ienne and  and Edoardo Charbon}},
  title =        {{Speculative DMA for Architecturally Visible Storage in Instruction Set Extensions}},
  booktitle = {ISSS/CODES},
  year =         {2008},
}

@InProceedings{KluterDAC09,
  author =       {{Theo Kluter and  Philip Brisk and  Paolo Ienne and  and Edoardo Charbon}},
  title =        {{Way Stealing : Cache-assisted Automatic Instruction Set Extensions}},
  booktitle = {Design Automation Conference (DAC)},
  year =         {2009},
}

@InProceedings{YuCodes04,
  author =       {{Pan Yu and Tulika Mitra}},
  title =        {{Scalable Custom Instructions Identification for Instruction Set Extensible Processors}},
  booktitle = {ISSS/CODES},
  year =         {2004},
}

@InProceedings{Dinh08,
  author =       {{Quang Dinh and Deming Chen and Martin D.~F.~Wong}},
  title =        {{Efficient ASIP Design for Configurable Processors with Fine-Grained Resource Sharing}},
  booktitle = {ACM Internatibnal Conference Field Programmable Gate Arrays (FPGA)},
  year =         {2008},
}

@Misc{NIOS2UG,
  title =        {{Nios II Custom Instruction User Guide, Altera Corp.}},
  year =         {2008},
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% CITI
@book{Polis,
  author = {Balarin, Felice},
  publisher = {Kluwer Academic Publishers},
  title = {Hardware-software co-design of embedded systems : the POLIS
        approach},
  year = {1997}
}

@INPROCEEDINGS{Coware,
  author = {Ivo Bolsens and Hugo J. De Man and Bill Lin and Karl Van
                Rompaey and Steven Vercauteren and Diederik Verkest},
  title = {Hardware/Software Co-Design of Digital Telecommunication Systems},
  booktitle = {Proceedings of the IEEE},
  year = {1997},
  pages = {391--418}
}

@article{Jantsch,
  author = {Mattias O'Nil and Axel Jantsch},
  title = {Device Driver and DMA Controller Synthesis from HW/SW
                        Communication protocol specifications},
  journal = {Design Automation for Embedded Systems},
  year = {2001},
  volume = {6},
  pages = {177-205}
}

@InProceedings{Park01,
  author =   {Joonseok Park and Pedro C.~Diniz},
  title =    {Synthesis of Pipelined Memory Access Controllers for Streamed
                Data Applications on {FPGA}-Based Computing Engines},
  booktitle =    {International Symposium on System Synthesis (ISSS)},
  pages = {221-226},
  year =     {2001},
}

@article{FR-vlsi,
  author = {Antoine Fraboulet and Tanguy Risset},
  title = {Master Interface for On-Chip Hardware Accelerator Burst Communications},
  journal = {Journal of VLSI Signal Processing},
  publisher = {Springer Science},
  year = {2007},
  volume = {59},
  pages = {73-85}
}

@InProceedings{jerraya,
  author =   {Sungjoo Yoo and Jerraya Ahmed},
  title =    {Introduction to Hardware Abstraction Layers for SoC},
  OPTcrossref =  {},
  OPTkey =   {},
  booktitle = {Design, Automation and Test in Europe Conference and Exhibition},
  pages =    {336 -- 337},
  year =     2003,
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =      {},
  OPTannote =    {}
}

@INPROCEEDINGS{FAUST,
  author = {D. Lattard and  E. Beigne and  C. Bernard and  C. Bour and  F.
        Clermidy and  Y. Durand and  J. Durupt and  D. Varreau and  P. Vivet and
        P. Penard and  A. Bouttier and  F. Berens}, 
  title = "A Telecom Baseband Circuit-Based on an Asynchronous Network-on-Chip", 
  pages = {},
  BOOKTITLE="ISSCC\'2007", 
  year = {2007},
  publisher = {IEEE Computer Society},
  address = {San Francisco, USA},
};

@inproceedings{JerrayaPetrot,
 author = {Ahmed A. Jerraya and Aimen Bouchhima and Fr\'{e}d\'{e}ric P\'{e}trot},
 title = {Programming models and HW-SW interfaces abstraction for multi-processor SoC},
 booktitle = {DAC '06: Proceedings of the 43rd annual conference on Design automation},
 year = {2006},
 isbn = {1-59593-381-6},
 pages = {280--285},
 location = {San Francisco, CA, USA},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{mwmr,
 author = {E. Faure and A. Greiner and D. Genius},
 title = {A generic hardware/software communication mechanism for
          Multi-Processor System on Chip, Targeting Telecommunication Applications},
 booktitle = {ReCoSoC'06},
 year = {2006},
 pages = {237--242},
 address = {Montpellier, France}
 }

@inproceedings{Alberto,
  author    = {Roberto Passerone and
               James A. Rowson and
               Alberto L. Sangiovanni-Vincentelli},
  title     = {Automatic Synthesis of Interfaces Between Incompatible Protocols},
  booktitle = {DAC},
  year      = {1998},
  pages     = {8-13}
}

@article{Avnit,
  author    = {Karin Avnit and
               Vijay D'Silva and
               Arcot Sowmya and
               S. Ramesh and
               Sri Parameswaran},
  title     = {Provably correct on-chip communication: A formal approach
               to automatic protocol converter synthesis},
  journal   = {ACM Trans. Design Autom. Electr. Syst.},
  volume    = {14},
  number    = {2},
  year      = {2009}
}

@inproceedings{smith,
  author    = {James Smith and
               Giovanni De Micheli},
  title     = {Automated Composition of Hardware Components},
  booktitle = {DAC},
  year      = {1998},
  pages     = {14-19}
}

@inproceedings{Narayan,
  author    = {Sanjiv Narayan and
               Daniel Gajski},
  title     = {Interfacing Incompatible Protocols Using Interface Process
               Generation},
  booktitle = {DAC},
  year      = {1995},
  pages     = {468-473}
}

@TECHREPORT{Ptolemy,
  AUTHOR       = { E.A. Lee et al.},
  INSTITUTION  = {University of California, Berkeley},
  NUMBER       = {UCB/ERL No. M99/37},
  TITLE        = {Overview of the Ptolemy Project},
  YEAR         = {1999},
  MONTH        = {july}
}

@article{syntol,
    author={Paul Feautrier},
    title={Scalable and Structured Scheduling},
    journal={Int. J. of Parallel Programming},
    year=2006,
    month=May, number=5, volume=34,
    pages="459--487"
}