Index: /anr/anr.bib
===================================================================
--- /anr/anr.bib	(revision 15)
+++ /anr/anr.bib	(revision 15)
@@ -0,0 +1,287 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% LIP6
+% HPC
+@InProceedings{hpc06a,
+  author    = {{M.B. Gokhale and al.}},
+  title     = {{Promises and Pitfalls of Reconfigurable}},
+  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},
+}
+
+% 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}
+}
+
