| Center for Embedded Computer Systems | Computer Science and Engineering |
| Microelectronic Embedded Systems Laboratory | University Of California, San Diego |
|
| |
I found the following papers on the Internet that have cited SPARK:
Reference 9 on Page 6 of:
http://csg.lcs.mit.edu/pubs/memos/Memo-468new/p05-1-rosenband.pdf
References [GDGN03] and [GDGN04] on Page 18 of:
http://www12.informatik.uni-erlangen.de/publications/hannig/papers/HT04c.pdf
Reference 5 on Page 11 of:
http://www.csg.lcs.mit.edu/pubs/memos/Memo-478/CSG_MEMO_Designing_a_Reorder_Buffer_in_Bluespec.pdf
References 2 and 5 on Page 8 of:
http://esd.cs.lth.se/doc/ERSA04Andersson.pdf
Reference 28 on Page 78 of (it's a long report):
http://www.hpl.hp.com/techreports/2003/HPL-2003-209R1.pdf
Reference 13 on Page 9 of:
http://www.cs.tcd.ie/Emre.Ozer/Publications/framework.pdf
Reference 11 on Page 12 of:
http://www.cs.tcd.ie/Emre.Ozer/Publications/fpga_opt.pdf
Reference 10 on Page 13 of:
http://www.cs.tcd.ie/Emre.Ozer/Publications/ilp_vs_clock.pdf
Reference 10 on Page 8 of:
http://www.cs.tcd.ie/Emre.Ozer/Publications/ilp.pdf
Reference 5 on Page 9 of:
http://www-rocq.inria.fr/syndex/pub/ersa03/ersa03.pdf
Reference 6 on Page 6 of:
http://www.cse.iitd.ernet.in/~anup/homepage/files/publications/vlsi-2003.pdf
Reference 10 on Page 12 of:
http://computing-reports.open.ac.uk/index.php/content/download/151/894/file/2004_09.pdf
Reference 26 on Page 8 of:
http://www.cs.ucr.edu/~najjar/papers/lctes2004.pdf
Reference 13 on Page 46 of:
http://www.irisa.fr/prive/talpin/papers/rr-jcsc03.pdf
Reference 16 on Page 13 of:
http://www.cse.wustl.edu/~cdgill/RTAS04/umlcompilation.pdf
Reference 7 on Page 2 of:
http://klabs.org/mapld04/abstracts/quan_a.pdf
Reference 9 on Page 10 of:
http://lotus1000.usc.edu/prasanna/papers/ouj_ijes04.pdf
Reference 8 on Page 10 of:
http://lotus1000.usc.edu/prasanna/papers/ouj_fccm04_camera_ready.pdf
Reference 13 on Page 10 of:
http://w3.ualg.pt/~jmcardo/MyPapers/fpl01.pdf
References 54 & 55 on Page 12 of:
http://www-2.cs.cmu.edu/~mihaib/research/asplos04.pdf
Reference 10 & 13 on Page 6 of:
http://sigda.org/Archives/ProceedingArchives/Date/papers/2003/date03/pdffiles/05e_3.pdf
Reference [Gup03] on Page 19 of:
http://www.cecs.uci.edu/technical_report/TR03-42.pdf
Reference 26 on Page 71 of:
http://innovexpo.itee.uq.edu.au/2002/projects/s354273/thesis.pdf