text:
volume={22},
  number={6},
  year={2010},
  publisher={John Wiley \& Sons}
}
@article{wheeler2009visualizing-,
  title={Visualizing massively multithreaded applications with {ThreadScope}},
  author={Wheeler, K. B. and Thain, D.},
  journal={Concurrency and Computation: Practice and Experience},
  volume={22},
  number={1},
  pages={45--67},
  year={2009},
  publisher={John Wiley \& Sons}
}
@article{valiant1990bridging-,
  title={A bridging model for parallel computation},
  author={Valiant, L. G.},
  journal={Communications of the ACM},
  volume={33},
  number={8},
  pages={111},
  year={1990},
  publisher={ACM},
  mycomment={Source of BSP model}
}
@article{culler1993logp-,
  title =	 {{LogP}: Towards a realistic model of parallel
                  computation},
  author =	 {Culler, D. and Karp, R. and Patterson, D. and Sahay,
                  A. and Schauser, K. E. and Santos, E. and
                  Subramonian, R. and Von Eicken, T.},
  journal =	 {{SIGPLAN} Not.},
  volume =	 {28},
  number =	 {7},
  pages =	 {12},
  year =	 {1993},
  publisher =	 {ACM}
}
@article{roda1999predicting-,
  title =	 {Predicting the execution time of message passing
                  models},
  author =	 {Roda, J. L. and Rodr{\'\i}guez, C. and Morales,
                  D. G. and Almeida, F.},
  journal =	 {Concurrency: Practice and Experience},
  volume =	 {11},
  number =	 {9},
  pages =	 {461--477},
  year =	 {1999},
  publisher =	 {John Wiley \& Sons}
}
@conference{fortune1978parallelism-,
  title={Parallelism in random access machines},
  author={Fortune, S. and Wyllie, J.},
  booktitle={Proceedings of the tenth annual ACM symposium on Theory of computing},
  pages={114--118},
  year={1978},
  organization={ACM},
  mycomment={Origin of PRAM}
}
@book{jaja1992introduction,
  title={An introduction to parallel algorithms},
  author={J{\'a}J{\'a}, J.},
  year={1992},
  publisher=awpubl,
}
@article{NESL-,
  author =	 {Blelloch, G. E.},
  title =	 {Programming Parallel Algorithms},
  journal =	 {Communications of the {ACM}},
  year =	 {1996},
  volume =	 {39},
  number =	 {3},
  pages =	 {85--97},
  Xnote =	 {\url{http://www.cs.cmu.edu/\~{}scandal/cacm.html}},
  abstractURL =	 {http://www.cs.cmu.edu/\~{}scandal/cacm/cacm2.html},
  publisher =	 theacm,
}
@Unpublished{sergey-,
  author = 	 {Siarhei Khirevich},
  title =	 {{LBM} and {RWPT} timings on {J\"ulich} {Blue} {Gene}},
  note = 	 {Private communication},
  OPTkey = 	 {},
  month =	 {May},
  year =	 {2010},
  OPTannote = 	 {}
}

@InCollection{juelich-chemie-,
  author = 	 {Siarhei Khirevich and Anton Daneyko},
  title = 	 {Simulation of Fluid Flow and Mass Transport at Extreme Scale},
  institution =  {{J\"ulich} Supercomputing Centre},
  year = 	 {2010},
  booktitle = 	 {{J\"ulich} Blue Gene/P Extreme Scaling Workshop 2010},
  OPTcrossref =  {},
  OPTkey = 	 {},
  OPTpages = 	 {},
  publisher =	 {{J\"ulich} Supercomputing Centre},
  editor =	 {Bernd Mohr and Wolfgang Frings},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth =	 {March},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{chen1998lattice-,
  title={Lattice {Boltzmann} method for fluid flows},
  author={Chen, S. and Doolen, G. D.},
  journal={Annual Review of Fluid Mechanics},
  volume={30},
  number={1},
  pages={329--364},
  year={1998},
  publisher={Annual Reviews}
}
@article{he1997theory,
  title={Theory of the lattice {Boltzmann} method: From the {Boltzmann} equation to the lattice {Boltzmann} equation},
  author={He, X. and Luo, L.S.},
  journal={Physical Review E},
  volume={56},
  number={6},
  pages={6811--6817},
  year={1997},
  publisher={APS}
}
@article{bouzidi2001momentum,
  title={{Momentum transfer of a lattice-Boltzmann fluid with boundaries}},
  author={Bouzidi, M. and Firdaouss, M. and Lallemand, P.},
  journal={Phys. Fluids},
  volume={13},
  number={11},
  pages={3452--3459},
  year={2001}
}
@article{jarvis2006performance,
  title={Performance prediction and its use in parallel and distributed computing systems},
  author={Jarvis, S. A. and Spooner, D. P. and Lim Choi Keung, H. N. and Cao, J. and Saini, S. and Nudd, G. R.},
  journal={Future Generation Computer Systems},
  volume={22},
  number={7},
  pages={745--754},
  year={2006},
  publisher={Elsevier},
  mykeywords={PACE, scheduler}
}
@article{kumar1994analyzing-,
  title={Analyzing scalability of parallel algorithms and architectures},
  author={Kumar, V. and Gupta, A.},
  journal={Journal of Parallel and Distributed Computing},
  volume={22},
  number={3},
  pages={379--391},
  year={1994},
  XXXpublisher={Citeseer},
  publisher={Elsevier}
}
@phdthesis{crovella1994performance,
  title={Performance prediction and tuning of parallel programs},
  author={Crovella, M. E.},
  year={1994},
  school={University of Rochester}
}
@techreport{sivasubramaniam1994comparative,
  title={A comparative evaluation of techniques for studying parallel system performance},
  author={Sivasubramaniam, A. and Ramachandran, U. and Venkateswaran, H.},
  year={1994},
  institution={Technical Report GIT-CC-94/38, Georgia Institute of Technology}
}
@article{loess-1988,
  jstor_articletype ={primary_article},
  title =	 {Locally Weighted Regression: An Approach to
                  Regression Analysis by Local Fitting},
  author =	 {Cleveland, William S. and Devlin, Susan J.},
  journal =	 {Journal of the American Statistical Association},
  jstor_issuetitle ={},
  volume =	 {83},
  number =	 {403},
  jstor_formatteddate ={Sep., 1988},
  pages =	 {596--610},
  url =		 {http://www.jstor.org/stable/2289282},
  ISSN =	 {01621459},
  abstract =	 {Locally weighted regression, or loess, is a way of
                  estimating a regression surface through a
                  multivariate smoothing procedure, fitting a function
                  of the independent variables locally and in a moving
                  fashion analogous to how a moving average is
                  computed for a time series. With local fitting we
                  can estimate a much wider class of regression
                  surfaces than with the usual classes of parametric
                  functions, such as polynomials. The goal of this
                  article is to show, through applications, how loess
                  can be used for three purposes: data exploration,
                  diagnostic checking of parametric models, and
                  providing a nonparametric regression surface. Along
                  the way, the following methodology is introduced:
                  (a) a multivariate smoothing procedure that is an
                  extension of univariate locally weighted regression;
                  (b) statistical procedures that are analogous to
                  those used in the least-squares fitting of
                  parametric functions; (c) several graphical methods
                  that are useful tools for understanding loess
                  estimates and checking the assumptions on which the
                  estimation procedure is based; and (d) the M plot,
                  an adaptation of Mallow's Cp procedure,
                  which provides a graphical portrayal of the
                  trade-off between variance and bias, and which can
                  be used to choose the amount of smoothing.},
  language =	 {},
  year =	 {1988},
  publisher =	 {American Statistical Association},
  copyright =	 {Copyright © 1988 American Statistical Association},
}
@article{loess-1979,
  jstor_articletype ={primary_article},
  title =	 {Robust Locally Weighted Regression and Smoothing
                  Scatterplots},
  author =	 {Cleveland, William S.},
  journal =	 {Journal of the American Statistical Association},
  jstor_issuetitle ={},
  volume =	 {74},
  number =	 {368},
  jstor_formatteddate ={Dec., 1979},
  pages =	 {829--836},
  url =		 {http://www.jstor.org/stable/2286407},
  ISSN =	 {01621459},
  abstract =	 {The visual information on a scatterplot can be
                  greatly enhanced, with little additional cost, by
                  computing and plotting smoothed points. Robust
                  locally weighted regression is a method for
                  smoothing a scatterplot, (xi,
                  yi), i = 1, â‹¯, n, in which the fitted
                  value at xk is the value of a polynomial
                  fit to the data using weighted least squares, where
                  the weight for (xi, yi) is
                  large if xi is close to xk and
                  small if it is not. A robust fitting procedure is
                  used that guards against deviant points distorting
                  the smoothed points. Visual, computational, and
                  statistical issues of robust locally weighted
                  regression are discussed. Several examples,
                  including data on lead intoxication, are used to
                  illustrate the methodology.},
  language =	 {},
  year =	 {1979},
  publisher =	 {American Statistical Association},
  copyright =	 {Copyright © 1979 American Statistical Association},
}

@article{khirevich-lbm-rwpt-1-,
author = {Khirevich, Siarhei and H\"{ö}ltzel, Alexandra and Ehlert, Steffen and Seidel-Morgenstern, Andreas and Tallarek, Ulrich},
title = {Large-Scale Simulation of Flow and Transport in Reconstructed HPLC-Microchip Packings},
journal = {Analytical Chemistry},
volume = {81},
number = {12},
pages = {4937-4945},
year = {2009},
doi = {10.1021/ac900631d},
xnote ={PMID: 19459621},
xURL = {http://pubs.acs.org/doi/abs/10.1021/ac900631d},
xeprint = {http://pubs.acs.org/doi/pdf/10.1021/ac900631d}
}

@article{khirevich-lbm-rwpt-2-,
author = {Khirevich, Siarhei and H\"{o}ltzel, Alexandra and Seidel-Morgenstern, Andreas and Tallarek, Ulrich},
title = {Time and Length Scales of Eddy Dispersion in Chromatographic Beds},
journal = {Analytical Chemistry},
volume = {81},
number = {16},
pages = {7057-7066},
year = {2009},
doi = {10.1021/ac901187d},
xnote ={PMID: 20337386},
xURL = {http://pubs.acs.org/doi/abs/10.1021/ac901187d},
xeprint = {http://pubs.acs.org/doi/pdf/10.1021/ac901187d}
}

@Misc{top500,
  OPTkey =		 {TOP500},
  author =	 {Hans Meuer and Erich Strohmaier and Horst Simon and Jack Dongarra},
  title =	 {TOP500 Supercomputing Sites},
  howpublished = {\url{http://www.top500.org}},
  OPTmonth =	 {},
  year =	 {2010},
  note =	 {Retrieved 15.12.2010},
  OPTannote = 	 {}
}

@Misc{ansi-c,
  key =		 {ISO/IEC 9899:1999},
  OPTauthor =	 {ISO/IEC 9899:1999},
  title =	 {Programming languages -- {C}},
  OPThowpublished = {},
  OPTmonth = 	 {},
  year =	 {1999},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@conference{sasaki2002divide,
  title={A Divide-and-Conquer Method for Integer-to-Rational Conversion},
  author={Sasaki, T. and Takahashi, Y. and Sugimoto, T.},
  booktitle={Symposium in Honor of Bruno Buchberger's 60th Birthday},
  pages={231},
  year={2002}
}
@article{sasaki1992integer,
  title={On integer-to-rational conversion algorithm},
  author={Sasaki, T. and Sasaki, M.},
  journal={ACM SIGSAM Bulletin},
  volume={26},
  number={2},
  pages={19--21},
  year={1992},
  publisher=theacm,
}
@book{guy2004unsolved,
  title={Unsolved problems in number theory},
  author={Guy, R. K.},
  isbn={0387208607},
  year={2004},
  publisher=s-v,
}
@article{huang2006fully,
  title={A fully parallel mixed-radix conversion algorithm for residue number applications},
  author={Huang, CH},
  journal={IEEE Transactions on Computers},
  volume={100},
  number={4},
  pages={398--402},
  Xissn={0018-9340},
  year={2006},
  publisher={IEEE}
}

 @article{fraenkel1985,
     jstor_articletype = {research-article},
     title = {Systems of Numeration},
     author = {Fraenkel, Aviezri S.},
     journal = {The American Mathematical Monthly},
     jstor_issuetitle = {},
     volume = {92},
     number = {2},
     jstor_formatteddate = {Feb., 1985},
     pages = {105--114},
     Xurl = {http://www.jstor.org/stable/2322638},
     XISSN = {00029890},
     Xabstract = {},
     language = {English},
     year = {1985},
     publisher = {Mathematical Association of America},
     Xcopyright = {Copyright © 1985 Mathematical Association of America},
    }

    @article{fraenkel1963,
     jstor_articletype = {research-article},
     title = {New Proof of the Generalized {Chinese} Remainder Theorem},
     author = {Fraenkel, Aviezri S.},
     journal = {Proceedings of the American Mathematical Society},
     jstor_issuetitle = {},
     volume = {14},
     number = {5},
     jstor_formatteddate = {Oct., 1963},
     pages = {790--791},
     Xurl = {http://www.jstor.org/stable/2034995},
     XISSN = {00029939},
     Xabstract = {},
     Xlanguage = {English},
     year = {1963},
     publisher = {American Mathematical Society},
     Xcopyright = {Copyright © 1963 American Mathematical Society},
    }

@article {springerlink:10.1007/BF01187059,
   author = {Baker, Kirby A. and Pixley, Alden F.},
   Xaffiliation = {Department of Mathematics University of California 90024 Los Angeles California USA},
   title = {Polynomial interpolation and the {Chinese} Remainder Theorem for algebraic systems},
   journal = {Mathematische Zeitschrift},
   publisher = s-v,
   Xissn = {0025-5874},
   keyword = {Mathematics and Statistics},
   pages = {165--174},
   volume = {143},
   issue = {2},
   Xdoi = {http://dx.doi.org/10.1007/BF01187059},
   Xnote = {10.1007/BF01187059},
   year = {1975}
}
   @article{ore1952,
     jstor_articletype = {research-article},
     title = {The General {Chinese} Remainder Theorem},
     author = {Ore, Oystein},
     journal = {The American Mathematical Monthly},
     jstor_issuetitle = {},
     volume = {59},
     number = {6},
     jstor_formatteddate = {Jun. - Jul., 1952},
     pages = {365--370},
     Xurl = {http://www.jstor.org/stable/2306804},
     XISSN = {00029890},
     Xabstract = {},
     Xlanguage = {English},
     year = {1952},
     publisher = {Mathematical Association of America},
     Xcopyright = {Copyright © 1952 Mathematical Association of America},
    }

@book{eisenbud1995commutative,
  title={Commutative algebra with a view toward algebraic geometry},
  author={Eisenbud, D.},
  isbn={0387942696},
  year={1995},
  publisher=s-v,
}
@article{limongelli1993efficient,
  title =	 {On an efficient algorithm for big rational number
                  computations by parallel $p$-adics},
  author =	 {Limongelli, Carla},
  journal =	 {Journal of Symbolic Computation},
  volume =	 {15},
  pages =	 {181--181},
  Xissn =	 {0747-7171},
  year =	 {1993},
  publisher =	 {Academic Press}
}
@book{hensel1908theorie,
  title={Theorie der algebraischen Zahlen},
  author={Hensel, K.},
  year={1908},
  publisher={BG Teubner}
}

@Misc{dittenberger-hensel-,
  OPTkey =	 {},
  author =	 {K. Dittenberger},
  title =	 {An efficient method for exact numerical computation},
  howpublished = {Diplomarbeit, Johannes Kepler Universit\"at,
                  RISC-Linz Institute for Mathematics},
  OPTmonth =	 {},
  year =	 {1985},
  note =	 {Not available to us, mentioned in papers by
                  C.~Limongelli and in a book by K.~Mehlhorn and
                  C.~Yap},
  OPTannote =	 {}
}

@PhdThesis{dittenberger-hensel,
  author =	 {K. Dittenberger},
  title =	 {An efficient method for exact numerical computation},
  school = 	 {Johannes Kepler Universit\"at,
                  RISC--Linz Institute for Mathematics},
  year =	 {1985},
  note =	 {Not available to us, mentioned in papers by
                  C.~Limongelli and in a book by K.~Mehlhorn and
                  C.~Yap},
  OPTkey = 	 {},
  type =	 {Diplomarbeit},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTannote = 	 {}
}

@book{Krishnamurthy:1985:EPM:32224,
 author = {Krishnamurthy, E. V.},
 title = {Error-free polynomial matrix computations},
 year = {1985},
 isbn = {0-387-96146-1},
 publisher = s-v,
}

@book{koblitz1984p,
  title={$p$-adic Numbers, $p$-adic Analysis, and Zeta-Functions},
  author={Koblitz, N.},
  isbn={0387960171},
  year={1984},
  publisher=s-v,
}

@article{Morrison1988137,
  title =	 "Parallel $p$-adic computation",
  journal =	 "Information Processing Letters",
  volume =	 "28",
  number =	 "3",
  pages =	 "137--140",
  year =	 "1988",
  OPTnote =	 "",
  Xissn =	 "0020-0190",
  Xdoi =		 "DOI: 10.1016/0020-0190(88)90159-7",
  Xurl =
                  "http://www.sciencedirect.com/science/article/B6V0F-45FJYTX-14/2/bbde3e2ad68f6b64d475c31437025927",
  author =	 "John F. Morrison",
  keywords =	 "Parallel processing",
  keywords =	 "error-free computation",
  keywords =	 "p-adic arithmetic"
}

@Book{cohen-ca-,
  author =	 {Joes S. Cohen},
  ALTeditor = 	 {},
  title = 	 {Computer algebra and symbolic computation},
  publisher = 	 {AK Peters},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@book{wilf2002algorithms,
  title =	 {Algorithms and complexity},
  author =	 {Wilf, Herbert S.},
  isbn =	 {1568811780},
  edition =	 {second},
  year =	 {2002},
  publisher =	 {AK Peters}
}
@article{huang1998fast,
  title={Fast rectangular matrix multiplication and applications},
  author={Huang, X. and Pan, V. Y.},
  journal={Journal of complexity},
  volume={14},
  pages={257--299},
  Xissn={0885-064X},
  year={1998},
  publisher={Academic Press}
}
@article{pan1984can,
  title={How can we speed up matrix multiplication?},
  author={Pan, V. Y.},
  journal={SIAM review},
  volume={26},
  number={3},
  pages={393--415},
  Xissn={0036-1445},
  year={1984},
  publisher={JSTOR}
}
@article{cantor1991fast,
  title={On fast multiplication of polynomials over arbitrary algebras},
  author={Cantor, D. G. and Kaltofen, E.},
  journal={Acta Informatica},
  volume={28},
  number={7},
  pages={693--701},
  Xissn={0001-5903},
  year={1991},
  publisher=s-v
}
@article{Winograd1971381,
title = "On multiplication of 2 $\times$ 2 matrices",
journal = "Linear Algebra and its Applications",
volume = "4",
number = "4",
pages = "381 - 388",
year = "1971",
OPTnote = "",
Xissn = "0024-3795",
Xdoi = "10.1016/0024-3795(71)90009-7",
Xurl = "http://www.sciencedirect.com/science/article/B6V0R-45D9TND-1F/2/1db8dbf3f9ec980c28e6b701a229f7c9",
author = "S. Winograd"
}

@PHDTHESIS{Weber93b,
    author = {Weber, Andreas},
     title = {Type Systems for Computer Algebra},
      OPTtype = {Dissertation},
      year = {1993},
     OPTmonth = jul,
    school = {Fakult{\"a}t f{\"u}r Informatik der Eberhard--Karls--Universit{\"a}t zu T{\"u}bingen},
  keywords = {computer algebra, type systems}
}

@article{bailey1991parallel,
  title =	 {The {NAS} Parallel Benchmarks},
  author =	 {Bailey, D. H. and Barszcz, E. and Barton, J. T. and
                  Browning, D. S. and Carter, R. L. and Dagum, L. and
                  Fatoohi, R. A. and Frederickson, P. O. and Lasinski,
                  T. A. and Schreiber, R. S. and others},
  journal =	 {International Journal of High Performance Computing
                  Applications},
  volume =	 {5},
  number =	 {3},
  pages =	 {63--73},
  Xissn =	 {1094-3420},
  year =	 {1991},
  fullpublisher =	 {Sage Science Press, 2455 Teller Road, Thousand Oaks,
                  CA, 91320, USA,},
  publisher =	 {Sage Science Press},
}
@article{strang1993wavelet,
  title={{Wavelet} transforms versus {Fourier} transforms},
  author={Strang, G.},
  journal={Bulletin of the American Mathematical Society},
  volume={28},
  number={2},
  pages={288--305},
  year={1993}
}
@article{coppersmith1990matrix,
  title={{Matrix multiplication via arithmetic progressions}},
  author={Coppersmith, D. and Winograd, S.},
  journal={Journal of symbolic computation},
  volume={9},
  number={3},
  pages={251--280},
  Xissn={0747-7171},
  year={1990},
  publisher={Elsevier}
}
@conference{coppersmith2008asymptotic,
  title={On the asymptotic complexity of matrix multiplication},
  author={Coppersmith, D. and Winograd, S.},
  booktitle={SFCS'81 --- 22\nd Annual Symposium on Foundations of
                  Computer Science},
  pages={82--90},
  Xissn={0272-5428},
  year={2008},
  organization={IEEE}
}
@article{li2002fast,
  title={Fast and processor efficient parallel matrix multiplication algorithms on a linear array with a reconfigurable pipelined bus system},
  author={Li, K. and Pan, Y. and Zheng, S. Q.},
  journal={IEEE Transactions on Parallel and Distributed Systems},
  volume={9},
  number={8},
  pages={705--720},
  issn={1045-9219},
  year={2002},
  publisher={IEEE}
}
@article{hadamard1893resolution,
  title={R{\'e}solution d’une question relative aux d{\'e}terminants},
  author={Hadamard, J. S.},
  journal={Bulletin des Sciences Math\'{e}matiques},
  volume={17},
  number={1},
  pages={240--246},
  year={1893}
}
@book{kornerup2010finite,
  title={Finite Precision Number Systems and Arithmetic},
  author={Kornerup, P. and Matula, D. W.},
  isbn={0521761352},
  year={2010},
  publisher={Cambridge Univeristy Press}
}
@article{gautier1999parallelism,
  title={Parallelism in Aldor---The Communication Library $\Pi$it for Parallel, Distributed Computation},
  author={Gautier, T. and Mannhart, N.},
  journal={Euro-Par'99 Parallel Processing},
  pages={1466--1475},
  year={1999},
  publisher=s-v
}

@book{lyons2004understanding,
  title={Understanding digital signal processing},
  author={Lyons, R. G.},
  isbn={0131089897},
  year={2004},
  publisher={Prentice Hall}
}
@conference{gorlatch1996systematic,
  title =	 {Systematic extraction and implementation of
                  divide-and-conquer parallelism},
  author =	 {Gorlatch, Sergei},
  booktitle =	 {Programming Languages: Implementations, Logics, and
                  Programs},
  pages =	 {274--288},
  year =	 {1996},
  organization = s-v
}

@Book{,
  ALTauthor = 	 {},
  ALTeditor = 	 {},
  title = 	 {},
  publisher = 	 {},
  year = 	 {},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@book{borodin1975computational,
  title={The computational complexity of algebraic and numeric problems},
  author={Borodin, A. and Munro, I.},
  Xvolume={16},
  series = {Theory of Computation 1},
  Xnumber = {1},
  year={1975},
  publisher={American Elsevier}
}

@InCollection{emiris2010applications,
  title =	 {Applications of {FFT} and structured matrices},
  booktitle =	 {Algorithms and theory of computation handbook:
                  general concepts and techniques},
  author =	 {Emiris, I. Z. and Pan, V. Y.},
  editor =	 {Atallah, Mikhail J. and Blanton, Marina},
  isbn =	 {1584888229},
  year =	 {2010},
  volume =	 {1},
  publisher =	 {Chapman \& Hall/CRC}
}

@article{geer2005chip,
  title={{Chip makers turn to multicore processors}},
  author={Geer, D.},
  journal={Computer},
  volume={38},
  number={5},
  pages={11--13},
  Xissn={0018-9162},
  year={2005},
  publisher={IEEE}
}
@article{moore1998cramming,
  title={Cramming more components onto integrated circuits},
  author={Moore, G. E.},
  journal={Proceedings of the IEEE},
  volume={86},
  number={1},
  pages={82--85},
  Xissn={0018-9219},
  year={1998},
  publisher={IEEE},
  note={Original publication was in April 19, 1965, in \emph{Electronics}}
}
@conference{agarwal2007kill,
  title={The kill rule for multicore},
  author={Agarwal, A. and Levy, M.},
  booktitle={Proceedings of the 44\th annual Design Automation Conference},
  pages={750--753},
  year={2007},
  organization={ACM}
}
@article{Rivest:1978:MOD:359340.359342,
  author =	 {Rivest, R. L. and Shamir, A. and Adleman, L.},
  title =	 {A method for obtaining digital signatures and
                  public-key cryptosystems},
  journal =	 {Communications of the ACM},
  volume =	 {21},
  issue =	 {2},
  Xmonth =	 {February},
  year =	 {1978},
  Xissn =	 {0001-0782},
  pages =	 {120--126},
  numpages =	 {7},
  Xurl =	 {http://doi.acm.org/10.1145/359340.359342},
  Xdoi =	 {http://doi.acm.org/10.1145/359340.359342},
  acmid =	 {359342},
  publisher =	 {ACM},
  Xaddress =	 {New York, NY, USA},
  keywords =	 {authentication, cryptography, digital signatures,
                  electronic funds transfer, electronic mail,
                  factorization, message-passing, prime number,
                  privacy, public-key cryptosystems, security},
}

@article{bove2009brief,
  title =	 {A brief overview of {Agda} -- a functional language
                  with dependent types},
  author =	 {Bove, A. and Dybjer, P. and Norell, U.},
  journal =	 {Theorem Proving in Higher Order Logics},
  pages =	 {73--78},
  year =	 {2009},
  publisher =	 s-v,
}
@conference{hinze8functional,
  title={Functional pearl: streams and unique fixed points},
  author={Hinze, R.},
  year = {2008},
  booktitle={ICFP'08 --- Proceedings of the 13\th {ACM SIGPLAN} International Conference on Functional Programming},
  pages={189--200}
}

@book{grabmeier2003computer,
  title =	 {Computer algebra handbook: foundations,
                  applications, systems},
  author =	 {Grabmeier, J. and Kaltofen, E. and Weispfenning, V.},
  isbn =	 {3540654666},
  year =	 {2003},
  publisher =	 s-v
}
@phdthesis{nolan1953analytical,
  title={Analytical differentiation on a digital computer},
  author={Nolan, J. F.},
  year={1953},
  type = {Master's Thesis},
  school={Massachusetts Institute of Technology}
}
@phdthesis{kahrimanian1953analytical,
  title={Analytical differentiation by a digital computer},
  author={Kahrimanian, H. G.},
  year={1953},
  type = {Master's Thesis},
  school={Temple University}
}
@conference{watt2006making,
  title={Making computer algebra more symbolic},
  author={Watt, S. M.},
  booktitle={In Proceedings of Transgressive Computing 2006: A conference in honor or {Jean Della Dora}},
  year={2006},
  Xdoi = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.5233},
  BADorganization={Citeseer}
}
@article{birch1963notes,
  title =	 {Notes on elliptic curves {I}},
  author =	 {Birch, B. J. and Swinnerton-Dyer, H. P. F.},
  journal =	 {Journal f{\"u}r die reine und angewandte
                  {Mathematik}},
  volume =	 {1963},
  number =	 {212},
  pages =	 {7--25},
  Xissn =	 {0075-4102},
  year =	 {1963},
  fullpublisher ={Walter de Gruyter, Berlin/New York Berlin, New York},
  publisher =	 {Walter de Gruyter}
}
@article{quinn1990data,
  title={Data-parallel programming on multicomputers},
  author={Quinn, M. J. and Hatcher, P. J.},
  journal={IEEE Software},
  pages={69--76},
  issn={0740-7459},
  year={1990},
  publisher={IEEE Computer Society}
}
@book{skillicorn1994foundations,
  title={Foundations of parallel programming},
  author={Skillicorn, D. B.},
  isbn={0521455111},
  year={1994},
  publisher={Cambridge University Press}
}
@InCollection{gava2008bsp-,
  chapter={{BSP} functional programming: Examples of a cost based methodology},
  author={Gava, F.},
  title={ICCS 2008 --- Computational Science},
  pages={375--385},
  year={2008},
  publisher=s-v
}
@InCollection{gava2008bsp,
  author =	 {Gava, Frédéric},
  affiliation =	 {University of Paris-Est Laboratory of Algorithms,
                  Complexity and Logic},
  title =	 {{BSP} Functional Programming: Examples of a Cost
                  Based Methodology},
  booktitle =	 {ICCS 2008 --- Computational Science},
  series =	 {LNCS 5101},
  editor =	 {Bubak, Marian and van Albada, Geert and Dongarra,
                  Jack and Sloot, Peter},
  publisher =	 s-v,
  BADisbn =	 {},
  pages =	 {375--385},
  BADvolume =	 {5101},
  Xdoi =		 {http://dx.doi.org/10.1007/978-3-540-69384-0_43},
  raw_doi =	 {10.1007/978-3-540-69384-0_43},
  abstract =	 {Bulk-Synchronous Parallel ML (BSML) is a functional
                  dataparallel language for the implementation of
                  Bulk-Synchronous Parallel (BSP) algorithms. It makes
                  an estimation of the execution time (cost)
                  possible. This paper presents some general examples
                  of BSML programs and a comparison of their predicted
                  costs with the measured execution time on a parallel
                  machine.},
  year =	 {2008}
}

@misc{barras2008coq,
  title={The {Coq} proof assistant reference manual},
  author={Barras, B. and Boutin, S. and Cornes, C. and Courant, J. and Coscoy, Y. and Delahaye, D. and de Rauglaudre, D. and Filli{\^a}tre, J.C. and Gim{\'e}nez, E. and Herbelin, H. and others},
  publisher={INRIA},
  Xvolume={8},
  year={2008}
}
@book{paulson1994isabelle,
  title={Isabelle: A generic theorem prover},
  author={Paulson, L.C.},
  isbn={3540582444},
  year={1994},
  publisher=s-v
}
@book{rashid1994development,
  title =	 {The development of {Arabic} mathematics: between
                  arithmetic and algebra},
  author =	 {R{\=a}shid, R.},
  isbn =	 {0792325656},
  year =	 {1994},
  publisher =	 s-v
}
@article{ginac-intro,
  title =	 {Introduction to the {GiNaC} framework for symbolic
                  computation within the {C++} programming language},
  author =	 {Bauer, C. and Frink, A. and Kreckel, R.},
  journal =	 {Journal of Symbolic Computation},
  volume =	 {33},
  number =	 {1},
  pages =	 {1--12},
  Xissn =	 {0747-7171},
  year =	 {2002},
  publisher =	 {Elsevier}
}
@article{blumofe1999scheduling,
  title =	 {Scheduling multithreaded computations by work
                  stealing},
  author =	 {Blumofe, R. D. and Leiserson, C. E.},
  journal =	 {Journal of the ACM},
  volume =	 {46},
  number =	 {5},
  pages =	 {720--748},
  Xissn =	 {0004-5411},
  year =	 {1999},
  publisher =	 theacm,
}
@Unpublished{par-monad-,
  author = 	 {Simon Marlow and Ryan Newton and Simon {Peyton Jones}},
  title = 	 {A monad for deterministic parallelism},
  note = 	 {Submitted to ICFP'2011},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year =	 {2011},
  OPTannote = 	 {}
}
@article{par-monad,
 author = {Marlow, Simon and Newton, Ryan and {Peyton Jones}, Simon},
 title = {A Monad for Deterministic Parallelism},
 journal = {{SIGPLAN} Not.},
 issue_date = {December 2011},
 volume = {46},
 number = {12},
 month = sep,
 year = {2011},
 issn = {0362-1340},
 pages = {71--82},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/2096148.2034685},
 doi = {10.1145/2096148.2034685},
 acmid = {2034685},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {haskell, parallel},
}

@article{bokhari1981mapping,
  title={On the mapping problem},
  author={Bokhari, S. H.},
  journal={IEEE Transactions on Computers},
  pages={207--214},
  Xissn={0018-9340},
  year={1981},
  publisher={IEEE}
}
@article{tantawi1985optimal,
  title={Optimal static load balancing in distributed computer systems},
  author={Tantawi, A.N. and Towsley, D.},
  journal={Journal of the ACM},
  volume={32},
  number={2},
  pages={445--465},
  Xissn={0004-5411},
  year={1985},
  publisher=theacm
}
@Misc{haskell-mpi-new,
  OPTkey =	 {},
  author =	 {Dmitry Astapov and Bernie Pope and others},
  title =	 {Haskell-{MPI}: {Haskell} bindings to the {MPI}
                  library},
  Xhowpublished ={Website},
  howpublished = {Website, \url{https://github.com/bjpop/haskell-mpi}},
  OPTmonth =	 {},
  year =	 {2011},
  Xurl =	 {https://github.com/bjpop/haskell-mpi},
  note =	 {Retrieved 30.3.2011},
  bla = {\marginpar{\includegraphics[width=1cm]{test}}},
  OPTannote =	 {}
}

@article{gardner1977new,
  title={A new kind of cipher that would take millions of years to break},
  author={Gardner, M.},
  journal={Scientific American},
  volume={237},
  number={8},
  pages={120--124},
  year={1977},
  mynote = {Martin Gardner on RSA}
}
@book{crandall2005prime,
  title =	 {Prime numbers: a computational perspective},
  author =	 {Crandall, R. E. and Pomerance, C.},
  isbn =	 {0387252827},
  year =	 {2005},
  edition =	 {second},
  publisher =	 s-v,
}
@conference{bosma1990faster,
  title={Faster primality testing},
  author={Bosma, W. and van der Hulst, M. P.},
  booktitle={Advances in Cryptology---EUROCRYPT’89},
  pages={652--656},
  year={1990},
  organization=s-v,
}
@incollection{wetzel1998efficient,
  title={An efficient parallel block-reduction algorithm},
  author={Wetzel, Susanne},
  booktitle={Algorithmic Number Theory},
  pages={323--337},
  year={1998},
  publisher=s-v,
  mynote = {parallel LLL}
}
@book{lang2002algebra,
  title={Algebra},
  author={Lang, Serge},
  year={2002},
  publisher=s-v,
  series = {GTM 221},
  edition = {third},
  isbn = {038795385X}
}
@book{lang1978cyclotomic,
  title={Cyclotomic fields},
  author={Lang, Serge},
  isbn={0387903070},
  year={1978},
  publisher=s-v
}
@InProceedings{migotti,
  author = 	 {A. Migotti},
  title = 	 {Zur {Theorie} der {Kreisteilungsgleichung}},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 {Sitzber.\ der Classe der Kaiserlichen Akademie der Wissenschaften},
  pages =	 {7--14},
  year =	 {1883},
  OPTeditor = 	 {},
  volume =	 {87},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address =	 {Wien},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@phdthesis{bungers1934koeffizienten,
  title={{{\"U}ber die Koeffizienten von Kreisteilungspolynomen}},
  author={Bungers, R.},
  year={1934},
  school = {Georg-August-Universit{\"a}t G{\"o}ttingen},
  publisher={Dieterichsche Universit{\"a}ts-Buchdruckerei}
}
@inproceedings{Furer:2007:FIM:1250790.1250800,
 author = {F\"{u}rer, Martin},
 title = {Faster integer multiplication},
 booktitle = {Proceedings of the 39\th annual ACM symposium on Theory of computing},
 series = {STOC'07},
 year = {2007},
 Xisbn = {978-1-59593-631-8},
 OPTlocation = {San Diego, California, USA},
 pages = {57--66},
 numpages = {10},
 REPEATurl = {http://doi.acm.org/10.1145/1250790.1250800},
 Xdoi = {http://doi.acm.org/10.1145/1250790.1250800},
 acmid = {1250800},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
 keywords = {FFT, complexity, computer arithmetic, discrete Fourier transform, integer multiplication},
}
@article{Collins1995287,
title = "Efficient Rational Number Reconstruction",
journal = "Journal of Symbolic Computation",
volume = "20",
number = "3",
pages = "287--297",
year = "1995",
note = "",
Xissn = "0747-7171",
BADdoi = "DOI: 10.1006/jsco.1995.1051",
Xurl = "http://www.sciencedirect.com/science/article/B6WM7-45R8HW4-Y/2/9de4022e9c20960ed655db18fb2d4f3b",
author = "George E. Collins and Mark J. {Encarnaci\'{o}n}",
mycomment = {rational reconstruction, EEA}
}
@article{Chen2010902,
title = "Algorithms for solving linear systems over cyclotomic fields",
journal = "Journal of Symbolic Computation",
volume = "45",
number = "9",
pages = "902--917",
year = "2010",
note = "",
Xissn = "0747-7171",
BADdoi = "DOI: 10.1016/j.jsc.2010.05.001",
Xurl = "http://www.sciencedirect.com/science/article/B6WM7-5025V9M-1/2/17f65123d5c57192281baf5928fdbfb4",
author = "Liang Chen and Michael Monagan",
keywords = "Linear systems",
keywords = "Modular algorithms",
keywords = "Cyclotomic fields",
keywords = "Cyclotomic polynomials"
}
@inproceedings{Monagan:2004:MQR:1005285.1005321,
 author = {Monagan, Michael},
 title = {Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction},
 booktitle = {Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation},
 series = {ISSAC'04},
 year = {2004},
 Xisbn = {1-58113-827-X},
 BIGlocation = {Santander, Spain},
 pages = {243--249},
 numpages = {7},
 BADurl = {http://doi.acm.org/10.1145/1005285.1005321},
 Xdoi = {http://doi.acm.org/10.1145/1005285.1005321},
 acmid = {1005321},
 publisher = theacm,
 BADaddress = {New York, NY, USA},
 keywords = {euclidean algorithm, modular algorithms, rational reconstruction},
}

@article {springerlink:10.1007/s10107-003-0379-5,
   author = {Gondzio, Jacek and Sarkissian, Robert},
   affiliation = {Department of Mathematics & Statistics, The University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, United Kingdom. e-mail: gondzio@maths.ed.ac.uk, URL:http://maths.ed.ac.uk/∼gondzio/ e-mail: Robert.Sarkissian@hec.unige.ch, URL: http://ecolu-info.unige.ch/∼log ilab/sarkissian/sarkissian/sarkissian.html GB},
   title = {Parallel interior-point solver for structured linear programs},
   journal = {Mathematical Programming},
   publisher = s-v,
   Xissn = {0025-5610},
   keyword = {Mathematics and Statistics},
   pages = {561--584},
   volume = {96},
   issue = {3},
   doi = {http://dx.doi.org/10.1007/s10107-003-0379-5},
   BADdoi = {10.1007/s10107-003-0379-5},
   year = {2003}
}
@inproceedings{Gentleman:1966:FFT:1464291.1464352,
 author = {Gentleman, W. M. and Sande, G.},
 title = {Fast Fourier Transforms: for fun and profit},
 booktitle = {Proceedings of the November 7-10, 1966, fall joint computer conference},
 series = {AFIPS'66 (Fall)},
 year = {1966},
 OPTlocation = {San Francisco, California},
 pages = {563--578},
 numpages = {16},
 BADurl = {http://doi.acm.org/10.1145/1464291.1464352},
 doi = {http://doi.acm.org/10.1145/1464291.1464352},
 acmid = {1464352},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
}
@article{Hummel:1992:FMS:135226.135232,
  author =	 {Hummel, Susan Flynn and Schonberg, Edith and Flynn,
                  Lawrence E.},
  title =	 {Factoring: a method for scheduling parallel loops},
  journal =	 {Communications of the ACM},
  volume =	 {35},
  issue =	 {8},
  month =	 {August},
  year =	 {1992},
  Xissn =	 {0001-0782},
  pages =	 {90--101},
  numpages =	 {12},
  BADurl =	 {http://doi.acm.org/10.1145/135226.135232},
  doi =		 {http://doi.acm.org/10.1145/135226.135232},
  acmid =	 {135232},
  publisher =	 theacm,
  OPTaddress =	 {New York, NY, USA},
  keywords =	 {chunking, dynamic scheduling, parallel loop
                  scheduling, partitioning},
}
@inproceedings{scscp,
  author =	 {Linton, S. and Hammond, K. and Konovalov, A. and Al
                  Zain, A. D. and Trinder, P. and Horn, P. and
                  Roozemond, D.},
  title =	 {Easy composition of symbolic computation software: a
                  new lingua franca for symbolic computation},
  booktitle =	 {Proceedings of the 2010 International Symposium on
                  Symbolic and Algebraic Computation},
  series =	 {ISSAC'10},
  year =	 {2010},
  Xisbn =	 {978-1-4503-0150-3},
  OPTlocation =	 {Munich, Germany},
  pages =	 {339--346},
  numpages =	 {8},
  BADurl =	 {http://doi.acm.org/10.1145/1837934.1837999},
  Xdoi =	 {http://doi.acm.org/10.1145/1837934.1837999},
  acmid =	 {1837999},
  publisher =	 theacm,
  OPTaddress =	 {New York, NY, USA},
  keywords =	 {OpenMath, SCSCP, coordination, interface,
                  parallelism},
}

@inproceedings{Moses:1973:EGA:800192.805698,
 author = {Moses, Joel and Yun, David Y. Y.},
 title = {The {EZ GCD} algorithm},
 booktitle = {Proceedings of the ACM annual conference},
 series = {ACM'73},
 year = {1973},
 OPTlocation = {Atlanta, Georgia, United States},
 pages = {159--166},
 numpages = {8},
 BADurl = {http://doi.acm.org/10.1145/800192.805698},
 doi = {http://doi.acm.org/10.1145/800192.805698},
 acmid = {805698},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
 mynotes = {ezgcd}
}
@article{Chamberlain01082007,
  author =	 {Chamberlain, B. L. and Callahan, D. and Zima, H. P.},
  title =	 {Parallel Programmability and the Chapel Language},
  volume =	 {21},
  number =	 {3},
  pages =	 {291--312},
  year =	 {2007},
  doi =	 {10.1177/1094342007078442},
  abstract =	 {In this paper we consider productivity challenges
                  for parallel programmers and explore ways that
                  parallel language design might help improve end-user
                  productivity.  We offer a candidate list of
                  desirable qualities for a parallel programming
                  language, and describe how these qualities are
                  addressed in the design of the Chapel language. In
                  doing so, we provide an overview of Chapel's
                  features and how they help address parallel
                  productivity. We also survey current techniques for
                  parallel programming and describe ways in which we
                  consider them to fall short of our idealized
                  productive programming model.},
  Xurl =		 {http://hpc.sagepub.com/content/21/3/291.abstract},
  Xeprint =
                  {http://hpc.sagepub.com/content/21/3/291.full.pdf+html},
  journal =	 {International Journal of High Performance Computing
                  Applications}
}
@inproceedings{Charles:2005:XOA:1094811.1094852,
 author = {Charles, Philippe and Grothoff, Christian and Saraswat, Vijay and Donawa, Christopher and Kielstra, Allan and Ebcioglu, Kemal and von Praun, Christoph and Sarkar, Vivek},
 title = {X10: an object-oriented approach to non-uniform cluster computing},
 booktitle = {Proceedings of the 20th annual {ACM SIGPLAN} conference on Object-oriented programming, systems, languages, and applications},
 series = {OOPSLA'05},
 year = {2005},
 Xisbn = {1-59593-031-0},
 location = {San Diego, CA, USA},
 pages = {519--538},
 numpages = {20},
 DUBLICATEurl = {http://doi.acm.org/10.1145/1094811.1094852},
 Xdoi = {http://doi.acm.org/10.1145/1094811.1094852},
 acmid = {1094852},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
 keywords = {Java, X10, atomic blocks, clocks, data distribution, multithreading, non-uniform cluster computing (NUCC), partitioned global address space (PGAS), places, productivity, scalability},
}
@article{Haller2009202,
title = "Scala Actors: Unifying thread-based and event-based programming",
journal = "Theoretical Computer Science",
volume = "410",
number = "2-3",
pages = "202--220",
year = "2009",
note = "Distributed Computing Techniques",
Xissn = "0304-3975",
BADdoi = "DOI: 10.1016/j.tcs.2008.09.019",
Xurl = "http://www.sciencedirect.com/science/article/B6V1G-4TG9J07-4/2/6d025aa3d5748c89ad1e3dc1c1400bc3",
author = "Philipp Haller and Martin Odersky",
keywords = "Concurrent programming",
keywords = "Actors",
keywords = "Threads",
keywords = "Events"
}

@PhdThesis{actors-diss,
  author =	 {Agha, Gul Abdulnabi},
  title =	 {{ACTORS}: A Model of Concurrent Computation in
                  Distributed Systems},
  school =	 {University of Michigan},
  year =	 {1985},
  OPTkey =	 {},
  OPTtype =	 {},
  OPTaddress =	 {},
  OPTmonth =	 {},
  OPTnote =	 {},
  url =		 {http://hdl.handle.net/1721.1/6952},
  OPTannote =	 {}
}

@article{Hoare:1978:CSP:359576.359585,
 author = {Hoare, C. A. R.},
 title = {Communicating sequential processes},
 journal = {Communications of the ACM},
 volume = {21},
 issue = {8},
 OPTmonth = {August},
 year = {1978},
 Xissn = {0001-0782},
 pages = {666--677},
 numpages = {12},
 DUBLICATEurl = {http://doi.acm.org/10.1145/359576.359585},
 doi = {http://doi.acm.org/10.1145/359576.359585},
 acmid = {359585},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
 keywords = {classes, concurrency, conditional critical regions, coroutines, data representations, guarded commands, input, iterative arrays, monitors, multiple entries, multiple exits, nondeterminacy, output, parallel programming, procedures, program structures, programming, programming languages, programming primitives, recursion},
}
@article{brown2008communicating,
  title={Communicating {Haskell} Processes: Composable explicit concurrency using monads},
  author={Brown, N. C. C.},
  journal={Communicating Process.\ Architectures},
  pages={67--83},
  year={2008}
}
@article{scholzfour,
  title={Four Concurrency Primitives for {Haskell}},
  author={Scholz, E.},
  year={1995},
  BADpublisher={Citeseer}
}
@Misc{eden-skel,
  key =		 {Eden Skeletons, 2011},
  author =	 {Eden Group},
  title =	 {Eden Skeleton Library},
  howpublished = {Software package},
  url = {http://www.mathematik.uni-marburg.de/~eden/doc/edenskel-1.0.1.1/index.html},
  OPTmonth = 	 {},
  year =	 {2011},
  note =	 {Retrieved 15.6.2011},
  OPTannote = 	 {}
}

@inproceedings{polychronopoulos1986speedup,
  title =	 {Speedup bounds and processor allocation for parallel
                  programs on multiprocessors},
  author =	 {Polychronopoulos, C. D. and Banerjee, U.},
  year =	 {1986},
  booktitle =	 {Proc. of Int. Conf. on Parallel Processing},
  pages =	 {961--968},
  affiliation =	 {Illinois Univ., Urbana (USA). Center for
                  Supercomputing Research and Development; Control
                  Data Corp., Sunnyvale, CA (USA)}
}

@inproceedings{Yang:2009:FAM:1814087.1814105,
 author = {Yang, Xin-She},
 title = {Firefly algorithms for multimodal optimization},
 booktitle = {Proceedings of the 5\xth International Conference on Stochastic Algorithms: Foundations and Applications},
 series = {SAGA'09},
 year = {2009},
 isbn = {3-642-04943-5, 978-3-642-04943-9},
 location = {Sapporo, Japan},
 pages = {169--178},
 numpages = {10},
 url = {http://dl.acm.org/citation.cfm?id=1814087.1814105},
 doi = {10.1007/978-3-642-04944-6_14},
 acmid = {1814105},
 publisher = s-v,
 OPTaddress = {Berlin, Heidelberg},
}

@Misc{hybrid-firefly,
  OPTkey = 	 {},
  author =	 {Nicholas Mancuso and Benjamin L. Brodie},
  title =	 {Hybrid Firefly Algorithm with Simulated Annealing Schedule for Continuous Optimization Problems},
  howpublished = {Google Code Website, \url{http://code.google.com/p/csc6810project/}},
  Xurl = {http://code.google.com/p/csc6810project/},
  OPTmonth = 	 {},
  year =	 {2011},
  note =	 {Retrieved 15.4.2012},
  OPTannote = 	 {}
}

@article{Kirkpatrick13051983,
  author =	 {Kirkpatrick, S. and Gelatt, C. D. and Vecchi, M. P.},
  title =	 {Optimization by Simulated Annealing},
  volume =	 {220},
  number =	 {4598},
  pages =	 {671--680},
  year =	 {1983},
  doi =		 {10.1126/science.220.4598.671},
  abstract =	 {There is a deep and useful connection between
                  statistical mechanics (the behavior of systems with
                  many degrees of freedom in thermal equilibrium at a
                  finite temperature) and multivariate or
                  combinatorial optimization (finding the minimum of a
                  given function depending on many parameters). A
                  detailed analogy with annealing in solids provides a
                  framework for optimization of the properties of very
                  large and complex systems. This connection to
                  statistical mechanics exposes new information and
                  provides an unfamiliar perspective on traditional
                  optimization problems and methods.},
  XURL =
                  {http://www.sciencemag.org/content/220/4598/671.abstract},
  Xeprint =
                  {http://www.sciencemag.org/content/220/4598/671.full.pdf},
  journal =	 {Science}
}

@Misc{cpp-sa,
  OPTkey =	 {},
  author =	 {Brecht Schamp},
  title =	 {Simulated Annealing in {C++}},
  longhowpublished ={Google Code Website,
                  \url{http://code.google.com/p/cppsimulatedannealing/}},
  howpublished =
                  {\url{http://code.google.com/p/cppsimulatedannealing/}},
  Xurl =	 {http://code.google.com/p/cppsimulatedannealing/},
  OPTmonth =	 {},
  year =	 {2010},
  note =	 {Retrieved 15.4.2012},
  OPTannote =	 {}
}

@article{balzer2007deflektometrische,
  title =	 {Deflektometrische {Rekonstruktion} teilspiegelnder
                  {Freiformfl{\"a}chen}},
  author =	 {Balzer, J. and Werling, S. and Beyerer, J.},
  journal =	 {Technisches Messen},
  volume =	 {74},
  number =	 {11},
  pages =	 {545--552},
  year =	 {2007},
  OPTnote =	 {Deflectometric Reconstruction of Partially Specular
                  Free-Form Surfaces},
  publisher =	 {Oldenbourg Wissenschaftsverlag},
  Xpublisher =	 {Oldenbourg},
}

@book{werling11,
  author =	 {Werling, Stefan Bruno},
  ALTeditor =	 {},
  title =	 {Deflektometrie zur automatischen Sichtpr{\"u}fung und
                  Rekonstruktion spiegelnder Oberfl{\"a}chen},
  publisher =	 {KIT},
  year =	 {2011},
  OPTkey =	 {},
  url =
                  {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000023287},
  longvolume =	 {3},
  OPTnumber =	 {},
  longseries =	 {Automatische Sichtpr{\"u}fung und Bildverarbeitung},
  OPTaddress =	 {},
  OPTedition =	 {},
  OPTmonth =	 {},
  OPTnote =	 {},
  OPTannote =	 {}
}

@inproceedings{halper2000camplan,
  title={Camplan: A camera planning agent},
  author={Halper, N. and Olivier, P.},
  booktitle={Smart Graphics 2000 AAAI Spring Symposium},
  pages={92--100},
  year={2000}
}
@inproceedings{ke2005quasiconvex,
  title={Quasiconvex optimization for robust geometric reconstruction},
  author={Ke, Q. and Kanade, T.},
  longseries = {ICCV 2005},
  series = {ICCV},
  booktitle={10\xth IEEE International Conference on Computer Vision},
  volume={2},
  pages={986--993},
  year={2005},
  organization={IEEE}
}
@article{kammel2008deflectometric,
  title={Deflectometric measurement of specular surfaces},
  fullauthor = {Sören Kammel and Fernando Puente León},
  author={Kammel, S. and Le{\'o}n, F. P.},
  longjournal={IEEE Transactions on Instrumentation and Measurement},
  journal = {IEEE Trans. Instrum. Meas.},
  volume={57},
  number={4},
  pages={763--769},
  year={2008},
  publisher={IEEE}
}
@article{denkena2002fast,
  title={Fast inspection of larger sized curved surfaces by stripe projection},
  author={Denkena, B. and Ahlers, H. and Berg, F. and Wolf, T. and T{\"o}nshoff, H. K.},
  longjournal={CIRP Annals---Manufacturing Technology},
  journal = {CIRP Ann. Manuf. Technol.},
  volume={51},
  number={1},
  pages={499--502},
  year={2002},
  publisher={Elsevier}
}
@inproceedings{knauer2004phase-,
  title={Phase measuring deflectometry: a new approach to measure specular free-form surfaces},
  author={Knauer, M. C. and Kaminski, J. and Hausler, G.},
  booktitle={Proceedings of SPIE},
  volume={5457},
  pages={366--376},
  year={2004}
}
@inproceedings{hofer2010developments,
  title =	 {Developments in the Field of Deflectometry},
  author =	 {H{\"{o}}fer, Sebastian},
  booktitle =	 {Proceedings of the 2010 Joint Workshop of Fraunhofer
                  IOSB and Institute for Anthropomatics, Vision and
                  Fusion Laboratory},
  pages =	 {201--2012},
  year =	 {2010},
  organization = {KIT Scientific Publishing},
  LONGinstitution =	 {Vision and Fusion Laboratory, Institute for
                  Anthropomatics, Karlsruhe Instute of Technology},
}
@ARTICLE{3866,
author={Sanderson, A.C. and Weiss, L.E. and Nayar, S.K.},
longjournal={IEEE Transactions on Pattern Analysis and Machine Intelligence},
journal = {IEEE T. Pattern Anal. Mach. Intell.},
title={Structured highlight inspection of specular surfaces},
year={1988},
OPTmonth={jan},
volume={10},
number={1},
pages={44--55},
keywords={SHINY;computer vision;distant-source assumption;illumination;imaging;local surface height;scanned array;specular surfaces;stereo structured highlight;structured light;surface orientation;three-dimensional shape information;computer vision;computerised picture processing;},
doi={10.1109/34.3866},
ISSN={0162-8828},
}
@ARTICLE{888718,
author={Zhang, Z.},
longjournal={IEEE Transactions on Pattern Analysis and Machine Intelligence},
journal = {IEEE T. Pattern Anal. Mach. Intell.},
title={A flexible new technique for camera calibration},
year={2000},
OPTmonth={nov},
volume={22},
number={11},
pages={1330--1334},
keywords={ 3D computer vision; camera calibration; flexible technique; maximum likelihood criterion; planar pattern; radial lens distortion; calibration; computer vision; geometry; image sensors; matrix algebra; maximum likelihood estimation; optimisation;},
doi={10.1109/34.888718},
ISSN={0162-8828},
}

@PhdThesis{balzer2008regularisierung,
  title =	 {Regularisierung des
                  Deflektometrieproblems: Grundlagen und Anwendung},
  author =	 {Balzer, J.},
  publisher =	 {Universit{\"a}tsverlag Karlsruhe},
  year =	 {2008},
  school =	 {Universit{\"at} Karlsruhe (TH)},
}

@incollection {springerlink:10.1007/978-3-642-15986-2_5,
   author = {Balzer, Jonathan and H{\"o}fer, Sebastian and Werling, Stefan and Beyerer, J{\"u}rgen},
   affiliation = {Geometric Modeling and Scientific Visualization Center, King Abdullah University of Science and Technology (KAUST), Thuwal, 23955-6900 Kingdom of Saudi Arabia},
   title = {Optimization on Shape Curves with Application to Specular Stereo},
   booktitle = {Pattern Recognition},
   LONGseries = {Lecture Notes in Computer Science},
   editor = {Goesele, Michael and Roth, Stefan and Kuijper, Arjan and Schiele, Bernt and Schindler, Konrad},
   LONGpublisher = {Springer Berlin / Heidelberg},
   publisher = s-v,
   isbn = {978-3-642-15985-5},
   keyword = {Computer Science},
   pages = {41-50},
   LONGvolume = {6376},
   series = {LNCS 6376},
   doi = {10.1007/978-3-642-15986-2_5},
   OPTnote = {10.1007/978-3-642-15986-2_5},
   year = {2010}
}
@incollection{balzer07eindeutigkeit,
  url =		 {http://www.scientificcommons.org/26427730},
  title =	 {{\"U}ber die {Eindeutigkeit} der
                  stereo-regularisierten deflektometrischen
                  {Oberfl{\"a}chenrekonstruktion}},
  author =	 {Balzer, J. and Dibbelt, J. and Beyerer, J.},
  year =	 {2007},
  keywords =	 {Deflektometrie, spekulares Stereo, Eindeutigkeit,
                  Regularisierung, 3D-Rekonstruktion},
  abstract =	 {Wir behandeln Stereo-Verfahren zur
                  deflektometrischen Vermessung spiegelnder
                  Oberflächen. Bekanntlich besitzt der Lösungsraum des
                  Rekonstruktionsproblems eine eindimensionale
                  Struktur. Es wird gezeigt, dass die Bestimmung eines
                  Anfangswerts mit Hilfe einer Disparitätsanalyse mit
                  großer Sorgsamkeit erfolgem muss. Die Verwendung
                  zweier vollständiger Normalenfelder im Rahmen eines
                  restringierten Optimierungsverfahrens wird
                  vorgeschlagen, welches anhand experimenteller Daten
                  validiert wird.},
  booktitle =	 {Bildverarbeitung in der Mess- und
                  Automatisierungstechnik},
  series =	 {VDI-Berichte},
  number =	 {1981},
  pages =	 {91--100},
  OPTpublisher = {Fraunhofer Publica},
  publisher =	 {VDI Verlag},
  editor =	 {Heizmann, M.},
  address =	 {D{\"u}sseldorf},
  location =	 {Tagung Regensburg, 27. und 28. November 2007},
}
@book{spitzer2001principles,
  title={Principles of random walk},
  author={Spitzer, F.},
  longvolume={34},
  year={2001},
  publisher=s-v,
  longseries = {GTM}
}
@article{RevModPhys.15.1,
  pages = {1--89},
  author = {Chandrasekhar, S.},
  OPTmonth = {Jan},
  volume = {15},
  year = {1943},
  journal = {Rev. Mod. Phys.},
  title = {Stochastic Problems in Physics and Astronomy},
  doi = {10.1103/RevModPhys.15.1},
  url = {http://link.aps.org/doi/10.1103/RevModPhys.15.1},
  issue = {1},
  publisher = {American Physical Society}
}
@article{Shiller1985381,
title = "Testing the random walk hypothesis: Power versus frequency of observation",
longjournal = "Economics Letters",
journal = "Econ. Lett.",
volume = "18",
number = "4",
pages = "381--386",
year = "1985",
EMPTYnote = "",
issn = "0165-1765",
doi = "10.1016/0165-1765(85)90058-8",
url = "http://www.sciencedirect.com/science/article/pii/0165176585900588",
author = "Robert J. Shiller and Pierre Perron"
}

@article{pearson1905problem,
  title={The problem of the random walk},
  author={Pearson, K.},
  journal={Nature},
  volume={72},
  number={1865},
  pages={294},
  year={1905}
}
@book{kampen2007stochastic,
  title={Stochastic processes in physics and chemistry},
  author={N. G. van Kampen},
  year={2007},
  publisher={North Holland}
}
@article{turk2001random,
  title =	 {A random walk through eigenspace},
  author =	 {Turk, M.},
  journal =	 {IEICE Transactions on Information and Systems E
                  series D},
  volume =	 {84},
  number =	 {12},
  pages =	 {1586--1595},
  year =	 {2001},
  publisher =	 {Institute of Information \& Electronics},
  note =	 {Special Issue on Machine Vision Applications}
}
@article{grady2006random,
  title={Random walks for image segmentation},
  author={Grady, L.},
  longjournal={IEEE Transactions on Pattern Analysis and Machine Intelligence},
  journal = {IEEE T. Pattern Anal. Mach. Intell.},
  volume={28},
  number={11},
  pages={1768--1783},
  year={2006},
  publisher={IEEE}
}
@article{Bovet1988419,
title = "Spatial analysis of animals' movements using a correlated random walk model",
longjournal = "Journal of Theoretical Biology",
journal = "J. Theor. Biol.",
volume = "131",
number = "4",
pages = "419--433",
year = "1988",
OPTnote = "",
issn = "0022-5193",
doi = "10.1016/S0022-5193(88)80038-9",
url = "http://www.sciencedirect.com/science/article/pii/S0022519388800389",
author = "Pierre Bovet and Simon Benhamou"
}

@INPROCEEDINGS{Meila01random,
    author = {Marina Meila and Jianbo Shi},
    title = {Learning Segmentation with Random Walk},
    longbooktitle = {Neural Information Processing Systems},
    year = {2001},
    longseries = {NIPS 2001},
    booktitle = {Proc.\ NIPS'01},
    publisher = {}
}
@article{Longuet-Higgins_1981,
  title =	 {A computer algorithm for reconstructing a scene from
                  two projections},
  volume =	 {293},
  url =		 {http://www.nature.com/doifinder/10.1038/293133a0},
  number =	 {5828},
  journal =	 {Nature},
  publisher =	 {Morgan Kaufmann},
  author =	 {Longuet-Higgins, H. C.},
  year =	 {1981},
  pages =	 {133--135}
}
@article{Olague2002927,
title = "Optimal camera placement for accurate reconstruction",
longjournal = "Pattern Recognition",
journal = "Pattern Recognit.",
volume = "35",
number = "4",
pages = "927--944",
year = "2002",
OPTnote = "",
issn = "0031-3203",
doi = "10.1016/S0031-3203(01)00076-0",
url = "http://www.sciencedirect.com/science/article/pii/S0031320301000760",
author = "Gustavo Olague and Roger Mohr",
keywords = "Camera network design",
keywords = "Uncertainty analysis",
keywords = "Global optimization",
keywords = "Covariance matrix",
keywords = "Genetic algorithms"
}

@book{band2006light,
  title={Light and matter: electromagnetism, optics, spectroscopy and lasers},
  author={Band, Y. B.},
  volume={1},
  year={2006},
  publisher={Wiley}
}

@article{Apolloni1989233,
title = "Quantum stochastic optimization",
longjournal = "Stochastic Processes and their Applications",
journal = "Stoch. Proc. Appl.",
volume = "33",
number = "2",
pages = "233--244",
year = "1989",
note = "",
issn = "0304-4149",
doi = "10.1016/0304-4149(89)90040-9",
url = "http://www.sciencedirect.com/science/article/pii/0304414989900409",
author = "B. Apolloni and C. Carvalho and D. de Falco",
keywords = "combinatorial optimizationm",
keywords = "global minima",
keywords = "random walk",
keywords = "SchrÃ¶dinger Hamiltonian",
keywords = "potential energy",
keywords = "graph partitioning"
}

@article{cg,
 author = {Mark, William R. and Glanville, R. Steven and Akeley, Kurt and Kilgard, Mark J.},
 title = {Cg: a system for programming graphics hardware in a {C}-like language},
 journal = {ACM Trans. Graph.},
 issue_date = {July 2003},
 volume = {22},
 number = {3},
 month = jul,
 year = {2003},
 issn = {0730-0301},
 pages = {896--907},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/882262.882362},
 doi = {10.1145/882262.882362},
 acmid = {882362},
 publisher = {ACM},
 address = {New York, NY, USA},
}
@book{zhao2009optimal,
  title={Optimal visual sensor network configuration},
  author={Zhao, J. and Cheung, S. and Nguyen, T.},
  year={2009},
  longpublisher={Academic Press},
  publisher = {AP},
}

@manual{cinema4d,
  title =	 {Cinema {4D}},
  author =	 {Losch, C. and Losch, P. and Kurz, R. and K{\"u}hn,
                  T.},
  publisher =	 {Maxon Computer},
  address =	 {Friedrichsdorf, Germany},
  year =	 {2012}
}
@inproceedings{Levoy:2000:DMP:344779.344849,
 author = {Levoy, Marc and Pulli, Kari and Curless, Brian and Rusinkiewicz, Szymon and Koller, David and Pereira, Lucas and Ginzton, Matt and Anderson, Sean and Davis, James and Ginsberg, Jeremy and Shade, Jonathan and Fulk, Duane},
 title = {The digital {Michelangelo} project: {3D} scanning of large statues},
 longbooktitle = {Proceedings of the 27\xth Annual Conference on Computer Graphics and Interactive Techniques},
 longseries = {SIGGRAPH'00},
 booktitle = {Proc.\ SIGGRAPH'00},
 year = {2000},
 isbn = {1-58113-208-5},
 pages = {131--144},
 numpages = {14},
 Xurl = {http://dx.doi.org/10.1145/344779.344849},
 doi = {10.1145/344779.344849},
 acmid = {344849},
 longpublisher = {ACM Press/Addison-Wesley Publishing Co.},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {3D scanning, cultural heritage, graphics systems, mesh generation, range images, rangefinding, reflectance and shading models, sensor fusion},
}

@Article{texture-mappings,
  author = 	 {Bier, E. A. and Sloan, K. R.},
  title = 	 {Two-part Texture Mappings},
  journal = 	 {IEEE Comput. Graph. and Appl.},
  year = 	 {1986},
  OPTkey = 	 {},
  volume =	 {6},
  number =	 {9},
  pages =	 {40--53},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{Balzer20101305,
title = "Principles of Shape from Specular Reflection",
journal = "Measurement",
volume = "43",
number = "10",
pages = "1305--1317",
year = "2010",
note = "",
issn = "0263-2241",
doi = "10.1016/j.measurement.2010.07.013",
url = "http://www.sciencedirect.com/science/article/pii/S0263224110001570",
author = "J. Balzer and S. Werling",
keywords = "Shape",
keywords = "Specular reflection",
keywords = "Deflectometry",
keywords = "Distortion",
keywords = "Specular surface",
keywords = "Reconstruction",
keywords = "Ill-posed problem",
keywords = "Regularization",
keywords = "Survey"
}

@INPROCEEDINGS{5213206,
author={Deokhwa Hong and Heechan Park and Hyungsuck Cho},
longbooktitle={IEEE International Symposium on Industrial Electronics},
title={Design of a multi-screen deflectometer for shape measurement of solder joints on a {PCB}},
year={2009},
longseries = {ISIE 2009},
booktitle = {Proc.\ ISIE'09},
pages={127--132},
publisher = {IEEE},
keywords={calibration;image sensors;printed circuits;screens (display);shape measurement;solders;3D specular free-form surface measurement;PCB;calibration method;image sensor;multiscreen deflectometer;pattern distortion;phase information extraction;slope angle measurement;solder joint shape measurement;surface reflection;Automation;Distortion measurement;Goniometers;Image sensors;Inspection;Reflection;Shape measurement;Soldering;Surface reconstruction;Time measurement},
doi={10.1109/ISIE.2009.5213206},}

@ARTICLE{868691,
author={Jiang Yu Zheng and Murata, A.},
longjournal={IEEE Transactions on Pattern Analysis and Machine Intelligence},
journal = {IEEE T. Pattern Anal. Mach. Intell.},
title={Acquiring a complete {3D} model from specular motion under the illumination of circular-shaped light sources},
OPTmonth={Aug},
volume={22},
number={8},
pages={913-920},
keywords={computational geometry;image reconstruction;motion estimation;stereo image processing;3D model recovery;3D shape model;circular-shaped light sources;epipolar plane image;image reconstruction;rotation plane;specular motion stereo;surface geometry;Cameras;Computational geometry;Image reconstruction;Light sources;Lighting;Shape measurement;Stereo vision;Strips;Surface reconstruction;Surface texture},
doi={10.1109/34.868691},
year={2000},
ISSN={0162-8828},}

@article {CGF:CGF1753,
author = {Ihrke, Ivo and Kutulakos, Kiriakos N. and Lensch, Hendrik P. A. and Magnor, Marcus and Heidrich, Wolfgang},
title = {Transparent and Specular Object Reconstruction},
longjournal = {Computer Graphics Forum},
journal = {Comput. Graph. Forum},
volume = {29},
number = {8},
publisher = {Blackwell Publishing Ltd},
issn = {1467-8659},
OPTurl = {http://dx.doi.org/10.1111/j.1467-8659.2010.01753.x},
doi = {10.1111/j.1467-8659.2010.01753.x},
pages = {2400--2426},
keywords = {range scanning, transparent, specular, and volumetric objects},
keywords = {I.4.8 Scene Analysis, Range Data, Shape I.2.10 Vision and Scene Understanding, 3D Scene Analysis},
year = {2010},
}
@ARTICLE{273732,
author={Schultz, H.},
longjournal={IEEE Transactions on Pattern Analysis and Machine Intelligence},
journal = {IEEE T. Pattern. Anal.},
title={Retrieving shape information from multiple images of a specular surface},
month={Feb},
year = {1994},
volume={16},
number={2},
pages={195--201},
keywords={stereo image processing;camera geometry;image analysis;image irradiance;image synthesis;machine vision;mirrored surface;multiple images;radiance distribution;reflective surface;remote sensing;shape from shading;shape information retrieval;specular surface stereo;water surface;Glass;Image analysis;Image generation;Image retrieval;Information retrieval;Light sources;Machine vision;Reflectivity;Remote sensing;Shape control},
doi={10.1109/34.273732},
ISSN={0162-8828},}

@article{Tarini2005233,
title = "{3D} acquisition of mirroring objects using striped patterns",
longjournal = "Graphical Models",
journal = "Graph. Models",
volume = "67",
number = "4",
pages = "233--259",
year = "2005",
note = "",
issn = "1524-0703",
doi = "10.1016/j.gmod.2004.11.002",
url = "http://www.sciencedirect.com/science/article/pii/S1524070304001043",
author = "Marco Tarini and Hendrik P.A. Lensch and Michael Goesele and Hans-Peter Seidel",
keywords = "3D Scanning",
keywords = "Mirroring surfaces",
keywords = "Shape from shading",
keywords = "Shape from distortion"
}

@article{Finnila1994343,
title = "Quantum annealing: A new method for minimizing multidimensional functions",
longjournal = "Chemical Physics Letters",
journal = "Chem. Phys. Lett.",
volume = "219",
number = "5--6",
pages = "343--348",
year = "1994",
OPTnote = "",
issn = "0009-2614",
doi = "10.1016/0009-2614(94)00117-0",
url = "http://www.sciencedirect.com/science/article/pii/0009261494001170",
author = "A. B. Finnila and M. A. Gomez and C. Sebenik and C. Stenson and J. D. Doll"
}

@article{PhysRevE.70.057701,
  title = {Quantum annealing of the traveling-salesman problem},
  author = {Marto\ifmmode \check{n}\else \v{n}\fi{}\'ak, Roman and Santoro, Giuseppe E. and Tosatti, Erio},
  journal = {Phys. Rev. E},
  volume = {70},
  issue = {5},
  pages = {057701},
  numpages = {4},
  year = {2004},
  optmonth = {Nov},
  doi = {10.1103/PhysRevE.70.057701},
  url = {http://link.aps.org/doi/10.1103/PhysRevE.70.057701},
  publisher = {American Physical Society}
}

@inproceedings{Chakravarty:2011:AHA:1926354.1926358-,
 author = {Chakravarty, Manuel M. T. and Keller, Gabriele and Lee, Sean and McDonell, Trevor L. and Grover, Vinod},
 title = {Accelerating {Haskell} Array Codes with Multicore {GPUs}},
 booktitle = {Proceedings of the 6\xth Workshop on Declarative Aspects of Multicore Programming},
 series = {DAMP'11},
 year = {2011},
 isbn = {978-1-4503-0486-3},
 OPTlocation = {Austin, Texas, USA},
 pages = {3--14},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1926354.1926358},
 doi = {10.1145/1926354.1926358},
 acmid = {1926358},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {arrays, data parallelism, dynamic compilation, gpgpu, haskell, skeletons},
}

@article{Mainland:2010:NEC:2088456.1863533,
 author = {Mainland, Geoffrey and Morrisett, Greg},
 title = {Nikola: Embedding Compiled {GPU} Functions in {Haskell}},
 journal = {{SIGPLAN} Not.},
 issue_date = {November 2010},
 volume = {45},
 number = {11},
 OPTmonth = sep,
 year = {2010},
 issn = {0362-1340},
 pages = {67--78},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/2088456.1863533},
 doi = {10.1145/2088456.1863533},
 acmid = {1863533},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {cuda, gpu, meta programming},
}

@inproceedings{Lejdfors:2006:IEG:1141277.1141654,
 author = {Lejdfors, Calle and Ohlsson, Lennart},
 title = {Implementing an Embedded {GPU} Language by Combining Translation and Generation},
 booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing},
 series = {SAC'06},
 year = {2006},
 isbn = {1-59593-108-2},
 OPTlocation = {Dijon, France},
 pages = {1610--1614},
 numpages = {5},
 OPTurl = {http://doi.acm.org/10.1145/1141277.1141654},
 doi = {10.1145/1141277.1141654},
 acmid = {1141654},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {GPU, compilation, dynamic languages, generative techniques, image processing, Python},
}

@incollection{obsidian-ifp,
year={2011},
isbn={978-3-642-24451-3},
booktitle={Implementation and Application of Functional Languages},
longvolume={5836},
longseries={Lecture Notes in Computer Science},
series={LNCS 5836},
editor={Scholz, Sven-Bodo and Chitil, Olaf},
doi={10.1007/978-3-642-24452-0_9},
title={Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors},
OPTurl={http://dx.doi.org/10.1007/978-3-642-24452-0_9},
publisher=s-v,
author={Svensson, Joel and Sheeran, Mary and Claessen, Koen},
pages={156--173}
}
@phdthesis{obsidian-phd,
  title={Obsidian: {GPU} Kernel Programming in {Haskell}},
  author={Svensson, Joel},
  year={2011},
  school={Chalmers University of Technology}
}

@misc{cuda,
  title={Compute Unified Device Architecture Programming Guide},
  author={{NVIDIA}},
  address={Santa Clara, CA},
  OPTvolume={83},
  OPTpages={129},
  year={2007},
  mynote={cuda}
}
@misc{hoberock2009thrust,
  title={Thrust: {C++} Template Library for {CUDA}},
  author={Hoberock, J. and Bell, N.},
  year={2009}
}

@incollection {springerlink:10.1007/11549468_24,
   author = {Ipek, Engin and de Supinski, Bronis and Schulz, Martin and McKee, Sally},
   affiliation = {Computer Systems Lab, School of Electrical and Computer Engineering, Cornell University},
   title = {An Approach to Performance Prediction for Parallel Applications},
   booktitle = {Euro-Par 2005 Parallel Processing},
   LONGseries = {Lecture Notes in Computer Science},
   series = {LNCS 3648},
   editor = {Cunha, {Jos\'{e}} and Medeiros, Pedro},
   LONGpublisher = {Springer Berlin / Heidelberg},
   publisher = s-v,
   OPTisbn = {},
   pages = {627--628},
   LONGvolume = {3648},
   doi = {http://dx.doi.org/10.1007/11549468_24},
   badDOI = {10.1007/11549468_24},
   year = {2005}
}
@InProceedings{10.1109/CCGrid.2004.1336711,
author = {S. Akioka and Y. Muraoka},
title = {Extended forecast of {CPU} and network load on computational Grid},
booktitle ={IEEE International Symposium on Cluster Computing and the Grid},
isbn = {0-7803-8430-X},
year = {2004},
pages = {765--772},
doi = {http://doi.ieeecomputersociety.org/10.1109/CCGrid.2004.1336711},
publisher = {IEEE Computer Society},
OPTaddress = {Los Alamitos, CA, USA},
}
@incollection {springerlink:10.1007/3-540-44905-1_23,
   author = {Cascaval, Calin and DeRose, Luiz and Padua, David and Reed, Daniel},
   OPTaffiliation = {University of Illinois at Urbana-Champaign Department of Computer Science USA},
   title = {Compile-Time Based Performance Prediction},
   booktitle = {Languages and Compilers for Parallel Computing},
   LONGseries = {Lecture Notes in Computer Science},
   series = {LNCS 1863},
   editor = {Carter, Larry and Ferrante, Jeanne},
   LONGpublisher = {Springer Berlin / Heidelberg},
   publisher = s-v,
   pages = {365--379},
   LONGvolume = {1863},
   doi = {http://dx.doi.org/10.1007/3-540-44905-1_23},
   BADdoi = {10.1007/3-540-44905-1_23},
   year = {2000}
}
@article{Wegner:1996:ESD:242223.242227,
 author = {Wegner, Peter and Doyle, Jon},
 title = {Editorial: Strategic directions in computing research},
 journal = {ACM Computing Surveys},
 volume = {28},
 issue = {4},
 OPTmonth = {December},
 year = {1996},
 issn = {0360-0300},
 pages = {565--574},
 numpages = {10},
 DOUBLEurl = {http://doi.acm.org/10.1145/242223.242227},
 doi = {http://doi.acm.org/10.1145/242223.242227},
 acmid = {242227},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
}
@inproceedings{kapadia1999predictive,
  title={Predictive application-performance modeling in a computational grid environment},
  author={Kapadia, N. H. and Fortes, J. A. B. and Brodley, C. E.},
  booktitle={Proceedings of the 8\xth International Symposium on High Performance Distributed Computing},
  pages={47--54},
  year={1999},
  organization={IEEE}
}
@article{Saavedra:1996:ABC:235543.235545,
 author = {Saavedra, Rafael H. and Smith, Alan J.},
 title = {Analysis of benchmark characteristics and benchmark performance prediction},
 journal = {ACM Transactions on Computer Systems},
 volume = {14},
 issue = {4},
 OPTmonth = {November},
 year = {1996},
 issn = {0734-2071},
 pages = {344--384},
 numpages = {41},
 DOUBLEurl = {http://doi.acm.org/10.1145/235543.235545},
 doi = {http://doi.acm.org/10.1145/235543.235545},
 acmid = {235545},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
 keywords = {abstract machine performance model, benchmark analysis, execution time prediction, microbenchmarking},
}

@article{harris2007parallel-,
  title={Parallel prefix sum (scan) with {CUDA}},
  author={Harris, Mark and Sengupta, Shubhabrata and Owens, John D},
  journal={GPU gems},
  volume={3},
  number={39},
  pages={851--876},
  year={2007}
}

@inproceedings{gorlatch1996systematic-,
  title={Systematic efficient parallelization of scan and other list homomorphisms},
  author={Gorlatch, Sergei},
  booktitle={Euro-Par'96 Parallel Processing},
  pages={401--408},
  year={1996},
  organization=s-v,
}

@inproceedings{enmyren2010skepu,
  title={SkePU: a multi-backend skeleton programming library for multi-GPU systems},
  author={Enmyren, Johan and Kessler, Christoph W},
  booktitle={Proceedings of the 4\xth International Workshop on High-level Parallel Programming and Applications},
  pages={5--14},
  year={2010},
  organization={ACM}
}

@INPROCEEDINGS{6008967,
  author =	 {Steuwer, M. and Kegel, P. and Gorlatch, S.},
  booktitle =	 {Parallel and Distributed Processing Workshops and
                  {PhD} Forum (IPDPSW), 2011 IEEE International
                  Symposium on},
  title =	 {{SkelCL} -- A Portable Skeleton Library for High-Level
                  {GPU} Programming},
  year =	 {2011},
  month =	 {May},
  pages =	 {1176-1182},
  keywords =	 {abstract data types;coprocessors;formal
                  specification;parallel programming;software
                  libraries;CUDA;Mandelbrot set
                  computation;OpenCL;SkelCL;abstract vector data
                  type;algorithmic skeletons;data distribution
                  specification;general-purpose programming;graphics
                  processing units;high-level GPU
                  programming;industrial-strength medical imaging
                  application;parallel communication;parallel
                  computation;portable skeleton library;Graphics
                  processing unit;Image
                  reconstruction;Kernel;Performance
                  evaluation;Programming;Runtime;Skeleton},
  doi =		 {10.1109/IPDPS.2011.269},
  ISSN =	 {1530-2075},
}

@article{ernsting2012algorithmic,
  title={Algorithmic skeletons for multi--core, multi--{GPU} systems and clusters},
  author={Ernsting, Steffen and Kuchen, Herbert},
  journal={International Journal of High Performance Computing and Networking},
  volume={7},
  number={2},
  pages={129--138},
  year={2012},
  publisher={Inderscience}
}

@article{strategies,
author = {Trinder,P. W. And Hammond,K. And Loidl,H.-W. And {Peyton Jones},S. L.},
title = {Algorithm + strategy = parallelism},
journal = {Journal of Functional Programming},
volume = {8},
issue = {01},
month = {1},
year = {1998},
issn = {1469-7653},
pages = {23--60},
numpages = {38},
OPTdoi = {null},
URL = {http://journals.cambridge.org/article_S0956796897002967},
}

@inproceedings{Aila:2009:UER:1572769.1572792,
 author = {Aila, Timo and Laine, Samuli},
 title = {Understanding the Efficiency of Ray Traversal on {GPUs}},
 booktitle = {Proceedings of the Conference on High Performance Graphics 2009},
 series = {HPG'09},
 year = {2009},
 isbn = {978-1-60558-603-8},
 OPTlocation = {New Orleans, Louisiana},
 pages = {145--149},
 numpages = {5},
 OPTurl = {http://doi.acm.org/10.1145/1572769.1572792},
 doi = {10.1145/1572769.1572792},
 acmid = {1572792},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {SIMD, SIMT, ray tracing},
}

@TechReport{aila-kepler,
  author = 	 {Aila T., Laine S., Karras T.},
  title = 	 {Understanding the Efficiency of Ray Traversal on {GPUs} -- {Kepler} and {Fermi} Addendum},
  institution =  {NVIDIA Corporation},
  year = 	 {2012},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  note =	 {NVIDIA Technical Report NVR-2012-02},
  OPTannote = 	 {}
}
@InProceedings{guthe-tracing,
  author = 	 {Michael Guthe},
  title = 	 {Latency considerations of depth-first {GPU} ray tracing},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 {EUROGRAPHICS 2014 Short Papers},
  OPTpages = 	 {},
  OPTyear = 	 {},
  editor =	 {E. Galin and M. Wand},
  year = 	 {2014},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series =	 {EG'14},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{stone2010opencl,
  title={{OpenCL}: A parallel programming standard for heterogeneous computing systems},
  author={Stone, John E and Gohara, David and Shi, Guochun},
  journal={Computing in Science \& Engineering},
  volume={12},
  number={3},
  pages={66},
  year={2010},
  publisher={NIH Public Access}
}

@incollection{loogen2012eden,
  title={Eden--parallel functional programming with {Haskell}},
  author={Loogen, Rita},
  booktitle={Central European Functional Programming School},
  pages={142--206},
  year={2012},
  publisher=s-v,
}

@PhdThesis{lobachev-phd,
  author =	 {Oleg Lobachev},
  title =	 {Implementation and Evaluation of Algorithmic
                  Skeletons: Parallelisation of Computer Algebra
                  Algorithms},
  school =	 {Philipps-Universit{\"a}t Marburg},
  Xyear =	 {2011b},
  year =	 {2011},
  key =		 {Lobachev, 2011b},
  OPTtype =	 {},
  OPTaddress =	 {},
  OPTmonth =	 {},
  OLDnote =	 {To appear},
  OPTannote =	 {}
}

@inproceedings{Batcher:1968:SNA:1468075.1468121,
 author = {Batcher, K. E.},
 title = {Sorting Networks and Their Applications},
 booktitle = {Proceedings of the April 30--May 2, 1968, Spring Joint Computer Conference},
 series = {AFIPS'68 (Spring)},
 year = {1968},
 OPTlocation = {Atlantic City, New Jersey},
 pages = {307--314},
 numpages = {8},
 OPTurl = {http://doi.acm.org/10.1145/1468075.1468121},
 doi = {10.1145/1468075.1468121},
 acmid = {1468121},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
}

@article {CGF:CGF1598,
author = {Garanzha, Kirill and Loop, Charles},
title = {Fast Ray Sorting and Breadth-First Packet Traversal for {GPU} Ray Tracing},
journal = {Computer Graphics Forum},
volume = {29},
number = {2},
publisher = {Blackwell Publishing Ltd},
issn = {1467-8659},
OPTurl = {http://dx.doi.org/10.1111/j.1467-8659.2009.01598.x},
doi = {10.1111/j.1467-8659.2009.01598.x},
pages = {289--298},
OPTkeywords = {I.3.7 [Computer Graphics]: Three-Dimensional Graphics and Realism – Raytracing},
year = {2010},
}

@article{Kajiya:1986:RE:15886.15902,
 author = {Kajiya, James T.},
 title = {The Rendering Equation},
 journal = {SIGGRAPH Comput. Graph.},
 issue_date = {Aug. 1986},
 volume = 20,
 number = 4,
 OPTmonth = aug,
 year = 1986,
 issn = {0097-8930},
 pages = {143--150},
 numpages = 8,
 OPTurl = {http://doi.acm.org/10.1145/15886.15902},
 doi = {10.1145/15886.15902},
 acmid = 15902,
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
}

@book{kirk2012programming,
  title={Programming massively parallel processors: a hands-on approach},
  author={Kirk, David B and Wen-mei, W Hwu},
  year={2012},
  publisher={Newnes}
}

@inproceedings{Purcell:2003:PMP:844174.844181,
 author = {Purcell, Timothy J. and Donner, Craig and Cammarano, Mike and Jensen, Henrik Wann and Hanrahan, Pat},
 title = {Photon Mapping on Programmable Graphics Hardware},
 booktitle = {Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on Graphics Hardware},
 series = {HWWS'03},
 year = {2003},
 isbn = {1-58113-739-7},
 OPTlocation = {San Diego, California},
 pages = {41--50},
 numpages = {10},
 url = {http://dl.acm.org/citation.cfm?id=844174.844181},
 acmid = {844181},
 publisher = {Eurographics Association},
 OPTaddress = {Aire-la-Ville, Switzerland, Switzerland},
 keywords = {global illumination, photon mapping, programmable graphics hardware},
}
@article{Sintorn20081381,
title = "Fast parallel {GPU-sorting} using a hybrid algorithm ",
journal = "Journal of Parallel and Distributed Computing ",
volume = "68",
number = "10",
pages = "1381 - 1388",
year = "2008",
note = "General-Purpose Processing using Graphics Processing Units ",
issn = "0743-7315",
doi = "http://dx.doi.org/10.1016/j.jpdc.2008.05.012",
url = "http://www.sciencedirect.com/science/article/pii/S0743731508001196",
author = "Erik Sintorn and Ulf Assarsson",
keywords = "Parallelism",
keywords = "Sorting",
keywords = "GPU-algorithms "
}

@INPROCEEDINGS{1639284,
author={Greb, A. and Zachmann, G.},
booktitle={20\xth International Parallel and Distributed Processing Symposium},
title={{GPU-ABiSort}: optimal parallel sorting on stream architectures},
year={2006},
series={IPDPS 2006},
OPTmonth={April},
OPTpages={10 pp.-},
keywords={computational complexity;computer graphic equipment;coprocessors;parallel processing;sorting;adaptive bitonic sorting;linear stream memory accesses;optimal parallel sorting;programmable graphics hardware;stream processing architectures;time complexity;Computer architecture;Computer science;Graphics;Hardware;Parallel algorithms;Parallel architectures;Parallel programming;Programming profession;Scalability;Sorting},
doi={10.1109/IPDPS.2006.1639284},}

@article {CGF:CGF1996,
author = {Bauszat, Pablo and Eisemann, Martin and Magnor, Marcus},
title = {Guided Image Filtering for Interactive High-quality Global Illumination},
journal = {Computer Graphics Forum},
volume = {30},
number = {4},
publisher = {Blackwell Publishing Ltd},
issn = {1467-8659},
OPTurl = {http://dx.doi.org/10.1111/j.1467-8659.2011.01996.x},
doi = {10.1111/j.1467-8659.2011.01996.x},
pages = {1361--1368},
keywords = {Computer Graphics [I.3.7]: Raytracing, Computer Graphics [I.3.7]: Three-Dimensional Graphics and Realism, Computer Graphics [I.3.3]: Picture/Image Generation},
year = {2011},
}

@inproceedings{Wald:2002:IGI:581896.581899,
 author = {Wald, Ingo and Kollig, Thomas and Benthin, Carsten and Keller, Alexander and Slusallek, Philipp},
 title = {Interactive Global Illumination Using Fast Ray Tracing},
 booktitle = {Proceedings of the 13\xth Eurographics Workshop on Rendering},
 series = {EGRW'02},
 year = {2002},
 isbn = {1-58113-534-3},
 OPTlocation = {Pisa, Italy},
 pages = {15--24},
 numpages = {10},
 url = {http://dl.acm.org/citation.cfm?id=581896.581899},
 acmid = {581899},
 publisher = {Eurographics Association},
 OPTaddress = {Aire-la-Ville, Switzerland, Switzerland},
}
@article{Halstead:1985:MLC:4472.4478,
 author = {Halstead, Jr., Robert H.},
 title = {{MULTILISP}: A Language for Concurrent Symbolic Computation},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {Oct. 1985},
 volume = {7},
 number = {4},
 Xmonth = oct,
 year = {1985},
 issn = {0164-0925},
 pages = {501--538},
 numpages = {38},
 Xurl = {http://doi.acm.org/10.1145/4472.4478},
 doi = {10.1145/4472.4478},
 acmid = {4478},
 publisher = {ACM},
 Xaddress = {New York, NY, USA},
}

@book{gregory2012c++,
  title={{C++ AMP}: Accelerated Massive Parallelism with Microsoft  Visual C++},
  author={Gregory, Kate and Miller, Ade},
  year={2012},
  publisher={O'Reilly Media, Inc.}
}

@Manual{openacc,
  title = 	 {The OpenACC Application Programming Interface},
  key =		 {OpenACC},
  OPTauthor = 	 {},
  OPTorganization = {},
  OPTaddress = 	 {},
  edition =	 {2.0a},
  OPTmonth = 	 {},
  year =	 {2013},
  url = 	 {http://www.openacc.org/sites/default/files/OpenACC.2.0a_1.pdf},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{Zhang:2011:OED:1961296.1950408,
 author = {Zhang, Eddy Z. and Jiang, Yunlian and Guo, Ziyu and Tian, Kai and Shen, Xipeng},
 title = {On-the-fly Elimination of Dynamic Irregularities for {GPU} Computing},
 journal = {{SIGPLAN} Not.},
 issue_date = {March 2011},
 volume = {46},
 number = {3},
 OPTmonth = mar,
 year = {2011},
 issn = {0362-1340},
 pages = {369--380},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1961296.1950408},
 doi = {10.1145/1961296.1950408},
 acmid = {1950408},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {cpu-gpu pipelining, data transformation, gpgpu, memory coalescing, thread data remapping, thread divergence},
}
@inproceedings{Zhang:2010:SGA:1810085.1810104,
 author = {Zhang, Eddy Z. and Jiang, Yunlian and Guo, Ziyu and Shen, Xipeng},
 title = {Streamlining {GPU} Applications on the Fly: Thread Divergence Elimination Through Runtime Thread-data Remapping},
 booktitle = {Proceedings of the 24\xth ACM International Conference on Supercomputing},
 series = {ICS'10},
 year = {2010},
 isbn = {978-1-4503-0018-6},
 OPTlocation = {Tsukuba, Ibaraki, Japan},
 pages = {115--126},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1810085.1810104},
 doi = {10.1145/1810085.1810104},
 acmid = {1810104},
 publisher = {ACM},
 OPTaddress = {New York, NY, USA},
 keywords = {CPU-GPU pipelining, GPGPU, data transformation, thread divergence, thread-data remapping},
}

@article{technovit,
	Annote = {A technique for embedding human undecalcified tooth specimens in Technovit{\textregistered}9100 was developed, which permits immunohistological evaluation of pulp tissue in serial ground sections. Human molars were divided into 14-18 sections of about 23 µm thickness. Immunohistological double staining for S-100 and CD34 revealed unique associations of myelinated nerve fibre bundles with arterioles, which continued through the entire tooth pulp. These arterioles were not only accompanied by, but partially or totally enveloped in longitudinally orientated myelinated nerve fibre bundles. We speculate that this unique arrangement may mechanically support the arterioles and alleviate detection or regulation of their contraction state by sensory nerve cells.},
	Author = {Steiniger, B. S. and Bubel, S. and B{\"o}ckler, W. and Lampp, K. and Seiler, A. and Jablonski, B. and Guthe, M. and Stachniss, V.},
	Date-Added = {2014-07-16 16:50:21 +0000},
	Date-Modified = {2014-07-16 16:50:21 +0000},
	Isbn = {1422-6405},
	Journal = {Cells Tissues Organs},
	Journal1 = {Cells Tissues Organs},
	Number = {1},
	Pages = {57--65},
	Title = {Immunostaining of Pulpal Nerve Fibre Bundle/Arteriole Associations in Ground Serial Sections of Whole Human Teeth Embedded in {Technovit{\textregistered}9100}},
	Ty = {JOUR},
	optUrl = {http://www.karger.com/DOI/10.1159/000351608},
        doi = {10.1159/000351608},
	Volume = {198},
	Year = {2013},
	Bdsk-Url-1 = {http://www.karger.com/DOI/10.1159/000351608}}

@article {IMM:IMM12325,
author = {Steiniger, Birte S. and Wilhelmi, Verena and Seiler, Anja and Lampp, Katrin and Stachniss, Vitus},
title = {Heterogeneity of stromal cells in the human splenic white pulp. Fibroblastic reticulum cells, follicular dendritic cells and a third superficial stromal cell type},
longjournal = {Immunology},
journal = {Immunol.},
issn = {1365-2567},
OPTurl = {http://dx.doi.org/10.1111/imm.12325},
doi = {10.1111/imm.12325},
OPTpages = {n/a--n/a},
keywords = {human spleen, splenic white pulp, splenic stromal cells, immunohistology},
year = {2014},
}

@InProceedings{vcbm-old,
  author = 	 {Ch. Ulrich and O. Lobachev and B. S. Steiniger and M. Guthe},
  title = 	 {Imaging the vascular network of the human spleen from immunostained serial sections},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 {Visual Computing for Biology and Medicine},
  OPTpages = 	 {},
  year =	 {2014},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series =	 {VCBM'14},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  organization = {EG},
  OPTpublisher = {},
  OPTnote =	 {Submitted to VCBM 2014},
  OPTannote = 	 {}
}

@article{lsnr,
author = {Fong, D. and Saunders, M.},
title = {{LSMR}: An Iterative Algorithm for Sparse Least-Squares Problems},
longjournal = {SIAM Journal on Scientific Computing},
journal = {SIAM J.\ Sci.\ Comput.},
volume = {33},
number = {5},
pages = {2950--2971},
year = {2011},
doi = {10.1137/10079687X},
}

@MISC{eigenweb,
  author = {Ga\"{e}l Guennebaud and Beno\^{i}t Jacob and others},
  title = {Eigen v3},
  howpublished = {http://eigen.tuxfamily.org},
  year = {2010}
 }

@ARTICLE{elastix,
author={Klein, S. and Staring, M. and Murphy, K. and Viergever, M. A. and Pluim, J. P. W.},
longjournal={Medical Imaging, IEEE Transactions on},
journal={IEEE T.\ Med.\ Imaging},
title={{elastix}: A Toolbox for Intensity-Based Medical Image Registration},
year={2010},
OPTmonth={Jan},
volume={29},
number={1},
pages={196-205},
keywords={biomedical MRI;computerised tomography;image registration;medical computing;medical image processing;public domain software;automated data processing;command-line interface;computed tomography;elastix;intensity-based medical image registration;magnetic resonance imaging;scripting;Application software;Biomedical imaging;Cost function;Image processing;Image registration;Image segmentation;MONOS devices;Open source software;Optimization methods;Spatial resolution;elastix;image registration;medical imaging;open source;software;Diagnostic Imaging;Humans;Image Processing, Computer-Assisted;Models, Biological;Normal Distribution;Software},
doi={10.1109/TMI.2009.2035616},
ISSN={0278-0062},}

@inproceedings {vcbm,
booktitle = {Visual Computing for Biology and Medicine},
editor = {Ivan