text:
CASH} flow: The Computer Algebra SHell},
  booktitle = {IFL 2010 --- 22\nd International Symposium on Implementation and Application of Functional Languages},
  year      = {2010},
  note      = {Draft Proceedings},
}

@Article{Mayr1997,
  author    = {Mayr, Ernst W.},
  title     = {Some complexity results for polynomial ideals},
  year      = {1997},
  volume    = {13},
  number    = {3},
  pages     = {303--325},
  journal   = {Journal of complexity},
  publisher = {Elsevier},
}

@Article{Hey1990,
  author   = {Anthony J. G. Hey},
  title    = {Experiments in {MIMD} parallelism},
  year     = {1990},
  volume   = {6},
  number   = {3},
  pages    = {185-196},
  abstract = {The paper reviews the problems inhibiting the
                  widespread use of parallel processing by both
                  industry and software houses. The two key issues of
                  portability of code and of generality of parallel
                  architectures are discussed. An overview of useful
                  computational models and programming paradigms for
                  parallel machines is presented along with some
                  detailed case studies implemented on transputer
                  arrays. Valiant's results on optimally universal
                  parallel machines are reviewed along with the
                  prospects of building truly general-purpose parallel
                  computers. Some remarks on language and software
                  tool developments for parallel programming form the
                  conclusion to the paper.},
  journal  = {Future Generation Computer Systems},
  mynote   = {first mention of a farm, says ``A Survey of Algorithmic Skeleton Frameworks: High-Level Structured Parallel Programming Enablers'' by Horacio Gonzalez-Velez and Mario Leyton},
  xdoi     = {DOI: 10.1016/0167-739X(90)90018-9},
  xissn    = {0167-739X},
  xurl     = {http://www.sciencedirect.com/science/article/B6V06-4998VGC-1X/2/fe71f898ec869df2e181946b58bed135},
}

@InProceedings{Bird1988,
  author    = {Richard S. Bird},
  title     = {Lectures on Constructive Functional Programming},
  booktitle = {Constructive Methods in Computer Science},
  year      = {1988},
  editor    = {Manfred Broy},
  note      = {NATO ASI Series~F Volume~55. Also available as Technical Monograph PRG-69, from the Programming Research Group, Oxford University},
  publisher = s-v,
  pages     = {151--218},
}

@InCollection{Simon2010,
  author    = {Simon, D.},
  title     = {Selected applications of {LLL} in number theory},
  booktitle = {The {LLL} Algorithm},
  year      = {2010},
  editor    = {Phong Q. Nguyen and Brigitte Vall{\'e}e},
  series    = {Information Security and Cryptography},
  publisher = S-V,
  pages     = {265--282},
}

@Article{Dekel1981,
  author  = {Dekel, E. and Nassimi, D. and Sahni, S.},
  title   = {{Parallel matrix and graph algorithms}},
  year    = {1981},
  volume  = {10},
  pages   = {657},
  journal = {SIAM Journal on computing},
}

@Article{Agarwal2010,
  author    = {Agarwal, R. C. and Balle, S. M. and Gustavson, F. G. and Joshi, M. and Palkar, P.},
  title     = {A three-dimensional approach to parallel matrix multiplication},
  year      = {2010},
  volume    = {39},
  number    = {5},
  pages     = {575--582},
  journal   = {IBM Journal of Research and Development},
  publisher = {IBM},
}

@Article{Geijn1997,
  author    = {van de Geijn, R. A. and Watts, J.},
  title     = {{SUMMA}: Scalable universal matrix multiplication algorithm},
  year      = {1997},
  volume    = {9},
  number    = {4},
  pages     = {255--274},
  journal   = {Concurrency: Practice and Experience},
  publisher = {John Wiley \& Sons},
}

@Article{Grayson1996,
  author       = {Grayson, B. and Geijn, R.},
  title        = {A high performance parallel {Strassen} implementation},
  year         = {1996},
  volume       = {6},
  number       = {1},
  pages        = {3--12},
  badpublisher = {Citeseer},
  journal      = {Parallel Processing Letters},
  publusher    = {World Scientific Publishing Company},
}

@InProceedings{Luo1995,
  author     = {Luo, Qingshan and Drake, John B.},
  title      = {A scalable parallel {Strassen's} matrix multiplication algorithm for distributed-memory computers},
  booktitle  = {SAC'95: Proceedings of the 1995 ACM symposium on Applied computing},
  year       = {1995},
  publisher  = theacm,
  isbn       = {0-89791-658-1},
  pages      = {221--226},
  optaddress = {New York, NY, USA},
  xdoi       = {http://doi.acm.org/10.1145/315891.315965},
  xlocation  = {Nashville, Tennessee, United States},
}

@Article{Laderman1992,
  author   = {Julian Laderman and Victor Pan and Xuan-He Sha},
  title    = {On practical algorithms for accelerated matrix multiplication},
  year     = {1992},
  volume   = {162-164},
  pages    = {557--588},
  abstract = {We present several bilinear algorithms for the
                  acceleration of multiplication of n X n matrices
                  that are superior to both the classical and
                  Strassen's algorithm for moderate n (starting with n
                  = 20). The Bini-Lotti result on the weak stability
                  of bilinear algorithms applies to these
                  algorithms. We present them in two equivalent
                  versions, bilinear and trilinear. We also apply one
                  of these algorithms over finite fields (or rings) of
                  constants. Surprisingly, this enables us to decrease
                  the bilinear complexity of n X n matrix
                  multiplication (for 20 <= n <= 10^20) below the
                  current record upper bound for the same computation
                  over the infinite fields of complex, real, or
                  rational numbers.},
  journal  = {Linear Algebra and its Applications},
  xdoi     = {DOI: 10.1016/0024-3795(92)90393-O},
  xissn    = {0024-3795},
  xurl     = {http://www.sciencedirect.com/science/article/B6V0R-45GWNRB-4R/2/6765a8ba97ee062d17393157de8f0eba},
}

@InProceedings{Nguyen2005a,
  author     = {Nguyen, Duc Kien and Ivan {Lavall\`{e}e} and Marc Bui and Ha, Quoc Trung},
  title      = {A General Scalable Parallelizing of {Strassen's} Algorithm for Matrix Multiplication on Distributed Memory Computers},
  booktitle  = {ICIS'05 --- Fourth ACIS Intl.\ Conf.\ Computer and Information Science},
  year       = {2005},
  publisher  = {IEEE Computer Society},
  isbn       = {0-7695-2296-3},
  pages      = {294-299},
  oldtilte   = {Computer and Information Science, ACIS International Conference on},
  optaddress = {Los Alamitos, CA, USA},
  optvolume  = {0},
  xdoi       = {http://doi.ieeecomputersociety.org/10.1109/ICIS.2005.8},
}

@PhdThesis{Cannon1969,
  author = {Cannon, L. E.},
  title  = {A cellular computer to implement the {Kalman} filter algorithm},
  year   = {1969},
  school = {Montana State University},
}

@InCollection{Dieterle2010b,
  author      = {Dieterle, Mischa and Berthold, Jost and Loogen, Rita},
  title       = {A Skeleton for Distributed Work Pools in Eden},
  booktitle   = {Functional and Logic Programming},
  year        = {2010},
  editor      = {Blume, Matthias and Kobayashi, Naoki and Vidal, Germán},
  series      = {LNCS 6009},
  publisher   = s-v,
  pages       = {337--353},
  affiliation = {Fachbereich Mathematik und Informatik Philipps-Universität Marburg Hans Meerwein Straße D-35032 Marburg Germany},
  baddoinote  = {10.1007/978-3-642-12251-4_24},
  cutvolume   = {6009},
  xdoi        = {http://dx.doi.org/10.1007/978-3-642-12251-4_24},
}

@Article{Skillicorn1998,
  author    = {Skillicorn, D. B. and Talia, D.},
  title     = {Models and languages for parallel computation},
  year      = {1998},
  volume    = {30},
  number    = {2},
  pages     = {123--169},
  journal   = {ACM Computing Surveys},
  publisher = theacm,
}

@Article{Buchberger1987,
  author    = {Buchberger, B.},
  title     = {History and basic features of the critical-pair/completion procedure},
  year      = {1987},
  volume    = {3},
  number    = {1-2},
  pages     = {3--38},
  journal   = {Journal of Symbolic Computation},
  publisher = {Elsevier},
}

@Conference{Marlow2010,
  author       = {Marlow, S. and Maier, P. and Loidl, H. W. and Aswad, M. K. and Trinder, P.},
  title        = {Seq no more: better strategies for parallel {Haskell}},
  booktitle    = {Proceedings of the third ACM Haskell symposium on Haskell},
  year         = {2010},
  organization = theacm,
  pages        = {91--102},
}

@Conference{BORWEIN2002,
  author    = {BORWEIN, P. and HARE, K.G. and MEICHSNER, A.},
  title     = {Reverse symbolic computations, the identify function},
  booktitle = {Proceedings from the Maple Summer Workshop},
  year      = {2002},
}

@InProceedings{Kannan1984,
  author     = {Kannan, R. and Lenstra, A. K. and Lov\'{a}sz, L.},
  title      = {Polynomial factorization and nonrandomness of bits of algebraic and some transcendental numbers},
  booktitle  = {STOC'84 --- Proceedings of the sixteenth annual ACM symposium on Theory of computing},
  year       = {1984},
  publisher  = theacm,
  isbn       = {0-89791-133-4},
  pages      = {191--200},
  mynote     = {integer relation},
  optaddress = {New York, NY, USA},
  xdoi       = {http://doi.acm.org/10.1145/800057.808681},
}

@InCollection{Hastad1986,
  author         = {Hastad, J. and Helfrich, B. and Lagarias, J. and Schnorr, C.},
  title          = {Polynomial time algorithms for finding integer relations among real numbers},
  booktitle      = {STACS'86 --- 3\rd Annual Symposium on Theoretical Aspects of Computer Science},
  year           = {1986},
  editor         = {Monien, B. and Vidal-Naquet, G.},
  series         = {LNCS 210},
  publisher      = s-v,
  pages          = {105-118},
  optaffiliation = {MIT Department of Computer Science Cambridge Massachusetts Cambridge Massachusetts},
  optnote        = {10.1007/3-540-16078-7_69},
  optvolume      = {210},
  xdoi           = {http://dx.doi.org/10.1007/3-540-16078-7_69},
}

@Article{Ferguson1979,
  author    = {Ferguson, H. R. P. and Forcade, R. W.},
  title     = {Generalization of the {Euclidean} algorithm for real numbers to all dimensions higher than two},
  year      = {1979},
  volume    = {1},
  number    = {6},
  pages     = {912--914},
  journal   = {Bulletin (New Series) of the American Mathematical Society},
  publisher = theams,
  xissn     = {0273-0979},
}

@Article{Bailey2001,
  author    = {Bailey, D. H. and Broadhurst, D. J.},
  title     = {Parallel integer relation detection: Techniques and applications},
  year      = {2001},
  volume    = {70},
  number    = {236},
  pages     = {1719--1736},
  journal   = {Mathematics of Computation},
  publisher = theams,
  xissn     = {0025-5718},
}

@Article{Ferguson1999,
  author    = {Ferguson, H. R. P. and Bailey, D. H. and Arno, S.},
  title     = {Analysis of {PSLQ}, an integer relation finding algorithm},
  year      = {1999},
  volume    = {68},
  number    = {225},
  pages     = {351--369},
  issn      = {0025-5718},
  journal   = {Mathematics of Computation},
  publisher = theams,
}

@TechReport{Ferguson1991,
  author = {Helaman R. P. Ferguson and David H. Bailey},
  title  = {A Polynomial Time, Numerically Stable Integer Relation Algorithm},
  year   = {1991},
  number = {RNR-91-032},
}

@TechReport{Freundt2009,
  author = {S. Freundt and P. Horn and A. Konovalov and S. Linton and D. Roozemond},
  title  = {Symbolic Computation Software Composability Protocol (SCSCP) specification, Version 1.3},
  year   = {2009},
  url    = {http://www.symbolic-computation.org/scscp},
}

@Book{Ebbinghaus1992,
  author    = {Ebbinghaus, H.-D. and Hermes, H. and Hirzebruch, F. and Koecher, M. and Mainzer, K. and Neukirch, J. and Prestel, A. and Remmert, R. and Lamotke, K.},
  title     = {Zahlen},
  year      = {1992},
  edition   = {third},
  publisher = s-v,
  isbn      = {3540556540},
}

@Conference{Burton1981,
  author       = {Burton, F. W. and Sleep, M. R.},
  title        = {Executing functional programs on a virtual tree of processors},
  booktitle    = {Proceedings of the 1981 conference on functional programming languages and computer architecture},
  year         = {1981},
  organization = theacm,
  isbn         = {0897910605},
  pages        = {187--194},
}

@Conference{Knopp1996,
  author       = {Knopp, J. and Reich, M.},
  title        = {A Workpool Model for Parallel Computing},
  booktitle    = {Workshop on High-Level Programming Models and Supportive Environments},
  year         = {1996},
  organization = {IEEE Computer Press},
}

@Article{Cybenko1989,
  author    = {Cybenko, G.},
  title     = {Dynamic load balancing for distributed memory multiprocessors},
  year      = {1989},
  volume    = {7},
  number    = {2},
  pages     = {279--301},
  issn      = {0743-7315},
  journal   = {Journal of parallel and distributed computing},
  publisher = {Elsevier},
}

@Conference{Kesseler1995,
  author          = {Kesseler, Marco},
  title           = {Constructing skeletons in {Clean}: the bare bones},
  booktitle       = {HPFC'95 --- Proceedings of High Performance Functional Computing},
  year            = {1995},
  pages           = {182--192},
  optorganization = {Citeseer},
}

@Conference{Chitil2006,
  author          = {Chitil, O.},
  title           = {Promoting non-strict programming},
  booktitle       = {IFL 2006 --- Draft Proceedings of the 18\th International Symposium on Implementation and Application of Functional Languages},
  year            = {2006},
  publisher       = {Eotvos Lorand University},
  pages           = {512--516},
  optorganization = {Citeseer},
}

@Article{Wray1989,
  author                       = {Wray, S. C. and Fairbairn, J.},
  title                        = {NON-STRICT LANGUAGES --- PROGRAMMING AND IMPLEMENTATION},
  year                         = {1989},
  language                     = {English},
  volume                       = {32},
  number                       = {2},
  pages                        = {142--151},
  author-address               = {UNIV CAMBRIDGE,COMP LAB,CAMBRIDGE CB2 3QG,ENGLAND.},
  cited-reference-count        = {23},
  date-added                   = {2010-11-18 14:38:47 +0100},
  date-modified                = {2010-11-18 14:39:36 +0100},
  document-type                = {Article},
  isi                          = {ISI:A1989U144600006},
  isi-document-delivery-number = {U1446},
  iso-source-abbreviation      = {Comput. J.},
  journal                      = {Computer Journal},
  optaddress                   = {NEW YORK},
  optmonth                     = {Apr},
  page-count                   = {10},
  publication-type             = {J},
  publisher                    = {Cambridge Univ.\ Press},
  publisher-address            = {40 WEST 20TH STREET, NEW YORK, NY 10011-4211},
  read                         = {1},
  reprint-address              = {WRAY, SC, OLIVETTI RES LTD,24A TRUMPINGTON ST,CAMBRIDGE CB2 1QA,ENGLAND.},
  source                       = {COMPUT J},
  subject-category             = {Computer Science, Hardware & Architecture; Computer Science, Information Systems; Computer Science, Software Engineering},
  times-cited                  = {11},
  xissn                        = {0010-4620},
}

@Book{Ribenboim2004,
  author    = {Ribenboim, P.},
  title     = {The little book of bigger primes},
  year      = {2004},
  publisher = s-v,
  isbn      = {0387201696},
}

@Book{Yan2002,
  author    = {Yan, S. Y. and Hellman, M. E.},
  title     = {Number theory for computing},
  year      = {2002},
  publisher = s-v,
  isbn      = {3540430725},
}

@Book{Koblitz1994,
  author    = {Koblitz, N.},
  title     = {A course in Number Theory and Cryptography},
  year      = {1994},
  publisher = s-v,
  isbn      = {0387942939},
}

@Book{Stein2009,
  author    = {Stein, W.},
  title     = {Elementary number theory: primes, congruences, and secrets. A computational approach},
  year      = {2009},
  publisher = s-v,
  isbn      = {0387855246},
  xissn     = {0172-6056},
}

@Conference{Coutts2007,
  author       = {Coutts, D. and Leshchinskiy, R. and Stewart, D.},
  title        = {Stream fusion: From lists to streams to nothing at all},
  booktitle    = {ICFP 2007 --- Proceedings of the 12\th {ACM SIGPLAN} international conference on functional programming},
  year         = {2007},
  organization = theacm,
  pages        = {315--326},
}

@Article{Gustafson1988,
  author    = {John L. Gustafson},
  title     = {Reevaluating {Amdahl's} Law},
  year      = {1988},
  volume    = {31},
  pages     = {532--533},
  journal   = {Communications of the ACM},
  publisher = theacm,
}

@TechReport{Asanovic2006,
  author      = {Asanovic, Krste and Bodik, Ras and others},
  title       = {The Landscape of Parallel Computing Research: A View from {Berkeley}},
  institution = {EECS Department, University of California, Berkeley},
  year        = {2006},
  number      = {UCB/EECS-2006-183},
  fullauthor  = {Asanovic, Krste and Bodik, Ras and Catanzaro, Bryan Christopher and Gebis, Joseph James and Husbands, Parry and Keutzer, Kurt and Patterson, David A. and Plishker, William Lester and Shalf, John and Williams, Samuel Webb and Yelick, Katherine A.},
  optmonth    = {Dec},
  opturl      = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-183.html},
}
@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}
}

@InBook{Aldinucci2006,
  author    = {Aldinucci, M. and Coppola, M. and Vanneschi, M. and Zoccolo, C. and Danelutto, M.},
  title     = {Grid Computing: Software environments and Tools},
  year      = {2006},
  publisher = {Springer},
  chapter   = {{ASSIST} as a research framework for high-performance Grid programming environments},
  pages     = {230--256},
}

@InProceedings{Benoit2004,
  author    = {Anne Benoit and Murray I. Cole and Stephen Gilmore and Jane Hillston},
  title     = {Evaluating the performance of skeleton-based high level parallel programs},
  booktitle = {ICCS 2004 --- The International Conference on Computational Science, Part III},
  year      = {2004},
  series    = {LNCS 3038},
  publisher = s-v,
  pages     = {299--306},
}

@Article{Cole2002,
  author  = {Cole, M. I. and Hayashi, Y.},
  title   = {Static performance prediction of skeletal programs},
  year    = {2002},
  volume  = {17},
  number  = {1},
  pages   = {59--84},
  journal = {Parallel Algorithms and Applications},
}

@Article{Zavanella2001,
  author    = {Zavanella, A.},
  title     = {Skeletons, {BSP} and performance portability},
  year      = {2001},
  volume    = {11},
  number    = {4},
  pages     = {393--407},
  journal   = {Parallel Processing Letters},
  publusher = {World Scientific Publishing Company},
}

@Article{Bacci1999,
  author    = {Bacci, B. and Gorlatch, S. and Lengauer, C. and Pelagatti, S.},
  title     = {Skeletons and Transformations in an Integrated Parallel Programming Environment},
  year      = {1999},
  pages     = {760--760},
  journal   = {Parallel Computing Technologies},
  publisher = {Springer},
}

@Article{Geimer2010a,
  author    = {Geimer, M. and Wolf, F. and Wylie, B. J. N. and {\'A}brah{\'a}m, E. and Becker, D. and Mohr, B.},
  title     = {The {Scalasca} performance toolset architecture},
  year      = {2010},
  volume    = {22},
  number    = {6},
  journal   = {Concurrency and Computation: Practice and Experience},
  publisher = {John Wiley \& Sons},
}

@Article{Wheeler2009,
  author    = {Wheeler, K. B. and Thain, D.},
  title     = {Visualizing massively multithreaded applications with {ThreadScope}},
  year      = {2009},
  volume    = {22},
  number    = {1},
  pages     = {45--67},
  journal   = {Concurrency and Computation: Practice and Experience},
  publisher = {John Wiley \& Sons},
}

@Article{Valiant1990,
  author    = {Valiant, L. G.},
  title     = {A bridging model for parallel computation},
  year      = {1990},
  volume    = {33},
  number    = {8},
  pages     = {111},
  journal   = {Communications of the ACM},
  mycomment = {Source of BSP model},
  publisher = {ACM},
}

@Article{Culler1993,
  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.},
  title     = {{LogP}: Towards a realistic model of parallel computation},
  year      = {1993},
  volume    = {28},
  number    = {7},
  pages     = {12},
  journal   = {{SIGPLAN} Not.},
  publisher = {ACM},
}

@Article{Roda1999,
  author    = {Roda, J. L. and Rodr{\'\i}guez, C. and Morales, D. G. and Almeida, F.},
  title     = {Predicting the execution time of message passing models},
  year      = {1999},
  volume    = {11},
  number    = {9},
  pages     = {461--477},
  journal   = {Concurrency: Practice and Experience},
  publisher = {John Wiley \& Sons},
}

@Conference{Fortune1978,
  author       = {Fortune, S. and Wyllie, J.},
  title        = {Parallelism in random access machines},
  booktitle    = {Proceedings of the tenth annual ACM symposium on Theory of computing},
  year         = {1978},
  organization = {ACM},
  pages        = {114--118},
  mycomment    = {Origin of PRAM},
}

@Book{JaJa1992,
  author    = {J{\'a}J{\'a}, J.},
  title     = {An introduction to parallel algorithms},
  year      = {1992},
  publisher = awpubl,
}

@Article{Blelloch1996,
  author      = {Blelloch, G. E.},
  title       = {Programming Parallel Algorithms},
  year        = {1996},
  volume      = {39},
  number      = {3},
  pages       = {85--97},
  abstracturl = {http://www.cs.cmu.edu/\~{}scandal/cacm/cacm2.html},
  journal     = {Communications of the {ACM}},
  publisher   = theacm,
  xnote       = {\url{http://www.cs.cmu.edu/\~{}scandal/cacm.html}},
}

@Unpublished{Khirevich2010a,
  author = {Siarhei Khirevich},
  title  = {{LBM} and {RWPT} timings on {J\"ulich} {Blue} {Gene}},
  year   = {2010},
  note   = {Private communication},
  month  = {May},
}

@InCollection{Khirevich2010,
  author      = {Siarhei Khirevich and Anton Daneyko},
  title       = {Simulation of Fluid Flow and Mass Transport at Extreme Scale},
  booktitle   = {{J\"ulich} Blue Gene/P Extreme Scaling Workshop 2010},
  year        = {2010},
  editor      = {Bernd Mohr and Wolfgang Frings},
  publisher   = {{J\"ulich} Supercomputing Centre},
  institution = {{J\"ulich} Supercomputing Centre},
  optmonth    = {March},
}

@Article{Chen1998,
  author    = {Chen, S. and Doolen, G. D.},
  title     = {Lattice {Boltzmann} method for fluid flows},
  year      = {1998},
  volume    = {30},
  number    = {1},
  pages     = {329--364},
  journal   = {Annual Review of Fluid Mechanics},
  publisher = {Annual Reviews},
}

@Article{He1997,
  author    = {He, X. and Luo, L.S.},
  title     = {Theory of the lattice {Boltzmann} method: From the {Boltzmann} equation to the lattice {Boltzmann} equation},
  year      = {1997},
  volume    = {56},
  number    = {6},
  pages     = {6811--6817},
  journal   = {Physical Review E},
  publisher = {APS},
}

@Article{Bouzidi2001,
  author  = {Bouzidi, M. and Firdaouss, M. and Lallemand, P.},
  title   = {{Momentum transfer of a lattice-Boltzmann fluid with boundaries}},
  year    = {2001},
  volume  = {13},
  number  = {11},
  pages   = {3452--3459},
  journal = {Phys. Fluids},
}

@Article{Jarvis2006,
  author     = {Jarvis, S. A. and Spooner, D. P. and Lim Choi Keung, H. N. and Cao, J. and Saini, S. and Nudd, G. R.},
  title      = {Performance prediction and its use in parallel and distributed computing systems},
  year       = {2006},
  volume     = {22},
  number     = {7},
  pages      = {745--754},
  journal    = {Future Generation Computer Systems},
  mykeywords = {PACE, scheduler},
  publisher  = {Elsevier},
}

@Article{Kumar1994,
  author       = {Kumar, V. and Gupta, A.},
  title        = {Analyzing scalability of parallel algorithms and architectures},
  year         = {1994},
  volume       = {22},
  number       = {3},
  pages        = {379--391},
  journal      = {Journal of Parallel and Distributed Computing},
  publisher    = {Elsevier},
  xxxpublisher = {Citeseer},
}

@PhdThesis{Crovella1994,
  author = {Crovella, M. E.},
  title  = {Performance prediction and tuning of parallel programs},
  year   = {1994},
  school = {University of Rochester},
}

@TechReport{Sivasubramaniam1994,
  author      = {Sivasubramaniam, A. and Ramachandran, U. and Venkateswaran, H.},
  title       = {A comparative evaluation of techniques for studying parallel system performance},
  institution = {Technical Report GIT-CC-94/38, Georgia Institute of Technology},
  year        = {1994},
}

@Article{Cleveland1988,
  author              = {Cleveland, William S. and Devlin, Susan J.},
  title               = {Locally Weighted Regression: An Approach to Regression Analysis by Local Fitting},
  year                = {1988},
  volume              = {83},
  number              = {403},
  pages               = {596--610},
  issn                = {01621459},
  url                 = {http://www.jstor.org/stable/2289282},
  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 C<sub>p</sub> 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.},
  copyright           = {Copyright © 1988 American Statistical Association},
  journal             = {Journal of the American Statistical Association},
  jstor_articletype   = {primary_article},
  jstor_formatteddate = {Sep., 1988},
  publisher           = {American Statistical Association},
}

@Article{Cleveland1979,
  author              = {Cleveland, William S.},
  title               = {Robust Locally Weighted Regression and Smoothing Scatterplots},
  year                = {1979},
  volume              = {74},
  number              = {368},
  pages               = {829--836},
  issn                = {01621459},
  url                 = {http://www.jstor.org/stable/2286407},
  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, (x<sub>i</sub>,
                  y<sub>i</sub>), i = 1, â‹¯, n, in which the fitted
                  value at x<sub>k</sub> is the value of a polynomial
                  fit to the data using weighted least squares, where
                  the weight for (x<sub>i</sub>, y<sub>i</sub>) is
                  large if x<sub>i</sub> is close to x<sub>k</sub> 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.},
  copyright           = {Copyright © 1979 American Statistical Association},
  journal             = {Journal of the American Statistical Association},
  jstor_articletype   = {primary_article},
  jstor_formatteddate = {Dec., 1979},
  publisher           = {American Statistical Association},
}

@Article{Khirevich2009a,
  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},
  year    = {2009},
  volume  = {81},
  number  = {12},
  pages   = {4937-4945},
  doi     = {10.1021/ac900631d},
  journal = {Analytical Chemistry},
  xeprint = {http://pubs.acs.org/doi/pdf/10.1021/ac900631d},
  xnote   = {PMID: 19459621},
  xurl    = {http://pubs.acs.org/doi/abs/10.1021/ac900631d},
}

@Article{Khirevich2009,
  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},
  year    = {2009},
  volume  = {81},
  number  = {16},
  pages   = {7057-7066},
  doi     = {10.1021/ac901187d},
  journal = {Analytical Chemistry},
  xeprint = {http://pubs.acs.org/doi/pdf/10.1021/ac901187d},
  xnote   = {PMID: 20337386},
  xurl    = {http://pubs.acs.org/doi/abs/10.1021/ac901187d},
}

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

@Misc{1999a,
  title     = {Programming languages -- {C}},
  year      = {1999},
  key       = {ISO/IEC 9899:1999},
  optauthor = {ISO/IEC 9899:1999},
}

@Conference{Sasaki2002,
  author    = {Sasaki, T. and Takahashi, Y. and Sugimoto, T.},
  title     = {A Divide-and-Conquer Method for Integer-to-Rational Conversion},
  booktitle = {Symposium in Honor of Bruno Buchberger's 60th Birthday},
  year      = {2002},
  pages     = {231},
}

@Article{Sasaki1992,
  author    = {Sasaki, T. and Sasaki, M.},
  title     = {On integer-to-rational conversion algorithm},
  year      = {1992},
  volume    = {26},
  number    = {2},
  pages     = {19--21},
  journal   = {ACM SIGSAM Bulletin},
  publisher = theacm,
}

@Book{Guy2004,
  author    = {Guy, R. K.},
  title     = {Unsolved problems in number theory},
  year      = {2004},
  publisher = s-v,
  isbn      = {0387208607},
}

@Article{Huang2006,
  author    = {Huang, CH},
  title     = {A fully parallel mixed-radix conversion algorithm for residue number applications},
  year      = {2006},
  volume    = {100},
  number    = {4},
  pages     = {398--402},
  journal   = {IEEE Transactions on Computers},
  publisher = {IEEE},
  xissn     = {0018-9340},
}

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

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

@Article{Baker1975,
  author       = {Baker, Kirby A. and Pixley, Alden F.},
  title        = {Polynomial interpolation and the {Chinese} Remainder Theorem for algebraic systems},
  year         = {1975},
  volume       = {143},
  issue        = {2},
  pages        = {165--174},
  journal      = {Mathematische Zeitschrift},
  keyword      = {Mathematics and Statistics},
  publisher    = s-v,
  xaffiliation = {Department of Mathematics University of California 90024 Los Angeles California USA},
  xdoi         = {http://dx.doi.org/10.1007/BF01187059},
  xissn        = {0025-5874},
  xnote        = {10.1007/BF01187059},
}

@Article{Ore1952,
  author              = {Ore, Oystein},
  title               = {The General {Chinese} Remainder Theorem},
  year                = {1952},
  volume              = {59},
  number              = {6},
  pages               = {365--370},
  journal             = {The American Mathematical Monthly},
  jstor_articletype   = {research-article},
  jstor_formatteddate = {Jun. - Jul., 1952},
  publisher           = {Mathematical Association of America},
  xcopyright          = {Copyright © 1952 Mathematical Association of America},
  xissn               = {00029890},
  xlanguage           = {English},
  xurl                = {http://www.jstor.org/stable/2306804},
}

@Book{Eisenbud1995,
  author    = {Eisenbud, D.},
  title     = {Commutative algebra with a view toward algebraic geometry},
  year      = {1995},
  publisher = s-v,
  isbn      = {0387942696},
}

@Article{Limongelli1993,
  author    = {Limongelli, Carla},
  title     = {On an efficient algorithm for big rational number computations by parallel $p$-adics},
  year      = {1993},
  volume    = {15},
  pages     = {181--181},
  journal   = {Journal of Symbolic Computation},
  publisher = {Academic Press},
  xissn     = {0747-7171},
}

@Book{Hensel1908,
  author    = {Hensel, K.},
  title     = {Theorie der algebraischen Zahlen},
  year      = {1908},
  publisher = {BG Teubner},
}

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

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

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

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

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

@Book{Cohen2003,
  author    = {Joes S. Cohen},
  title     = {Computer algebra and symbolic computation},
  year      = {2003},
  publisher = {AK Peters},
}

@Book{Wilf2002,
  author    = {Wilf, Herbert S.},
  title     = {Algorithms and complexity},
  year      = {2002},
  edition   = {second},
  publisher = {AK Peters},
  isbn      = {1568811780},
}

@Article{Huang1998,
  author    = {Huang, X. and Pan, V. Y.},
  title     = {Fast rectangular matrix multiplication and applications},
  year      = {1998},
  volume    = {14},
  pages     = {257--299},
  journal   = {Journal of complexity},
  publisher = {Academic Press},
  xissn     = {0885-064X},
}

@Article{Pan1984,
  author    = {Pan, V. Y.},
  title     = {How can we speed up matrix multiplication?},
  year      = {1984},
  volume    = {26},
  number    = {3},
  pages     = {393--415},
  journal   = {SIAM review},
  publisher = {JSTOR},
  xissn     = {0036-1445},
}

@Article{Cantor1991,
  author    = {Cantor, D. G. and Kaltofen, E.},
  title     = {On fast multiplication of polynomials over arbitrary algebras},
  year      = {1991},
  volume    = {28},
  number    = {7},
  pages     = {693--701},
  journal   = {Acta Informatica},
  publisher = s-v,
  xissn     = {0001-5903},
}

@Article{Winograd1971,
  author  = {S. Winograd},
  title   = {On multiplication of 2 $\times$ 2 matrices},
  year    = {1971},
  volume  = {4},
  number  = {4},
  pages   = {381 - 388},
  journal = {Linear Algebra and its Applications},
  xdoi    = {10.1016/0024-3795(71)90009-7},
  xissn   = {0024-3795},
  xurl    = {http://www.sciencedirect.com/science/article/B6V0R-45D9TND-1F/2/1db8dbf3f9ec980c28e6b701a229f7c9},
}

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

@Article{Bailey1991,
  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},
  title         = {The {NAS} Parallel Benchmarks},
  year          = {1991},
  volume        = {5},
  number        = {3},
  pages         = {63--73},
  fullpublisher = {Sage Science Press, 2455 Teller Road, Thousand Oaks, CA, 91320, USA,},
  journal       = {International Journal of High Performance Computing Applications},
  publisher     = {Sage Science Press},
  xissn         = {1094-3420},
}

@Article{Strang1993,
  author  = {Strang, G.},
  title   = {{Wavelet} transforms versus {Fourier} transforms},
  year    = {1993},
  volume  = {28},
  number  = {2},
  pages   = {288--305},
  journal = {Bulletin of the American Mathematical Society},
}

@Article{Coppersmith1990,
  author    = {Coppersmith, D. and Winograd, S.},
  title     = {{Matrix multiplication via arithmetic progressions}},
  year      = {1990},
  volume    = {9},
  number    = {3},
  pages     = {251--280},
  journal   = {Journal of symbolic computation},
  publisher = {Elsevier},
  xissn     = {0747-7171},
}

@Conference{Coppersmith2008,
  author       = {Coppersmith, D. and Winograd, S.},
  title        = {On the asymptotic complexity of matrix multiplication},
  booktitle    = {SFCS'81 --- 22\nd Annual Symposium on Foundations of Computer Science},
  year         = {2008},
  organization = {IEEE},
  pages        = {82--90},
  xissn        = {0272-5428},
}

@Article{Li2002,
  author    = {Li, K. and Pan, Y. and Zheng, S. Q.},
  title     = {Fast and processor efficient parallel matrix multiplication algorithms on a linear array with a reconfigurable pipelined bus system},
  year      = {2002},
  volume    = {9},
  number    = {8},
  pages     = {705--720},
  issn      = {1045-9219},
  journal   = {IEEE Transactions on Parallel and Distributed Systems},
  publisher = {IEEE},
}

@Article{Hadamard1893,
  author  = {Hadamard, J. S.},
  title   = {R{\'e}solution d’une question relative aux d{\'e}terminants},
  year    = {1893},
  volume  = {17},
  number  = {1},
  pages   = {240--246},
  journal = {Bulletin des Sciences Math\'{e}matiques},
}

@Book{Kornerup2010,
  author    = {Kornerup, P. and Matula, D. W.},
  title     = {Finite Precision Number Systems and Arithmetic},
  year      = {2010},
  publisher = {Cambridge Univeristy Press},
  isbn      = {0521761352},
}

@Article{Gautier1999,
  author    = {Gautier, T. and Mannhart, N.},
  title     = {Parallelism in Aldor---The Communication Library $\Pi$it for Parallel, Distributed Computation},
  year      = {1999},
  pages     = {1466--1475},
  journal   = {Euro-Par'99 Parallel Processing},
  publisher = s-v,
}

@Book{Lyons2004,
  author    = {Lyons, R. G.},
  title     = {Understanding digital signal processing},
  year      = {2004},
  publisher = {Prentice Hall},
  isbn      = {0131089897},
}

@Conference{Gorlatch1996,
  author       = {Gorlatch, Sergei},
  title        = {Systematic extraction and implementation of divide-and-conquer parallelism},
  booktitle    = {Programming Languages: Implementations, Logics, and Programs},
  year         = {1996},
  organization = s-v,
  pages        = {274--288},
}

@Book{Borodin1975,
  author    = {Borodin, A. and Munro, I.},
  title     = {The computational complexity of algebraic and numeric problems},
  year      = {1975},
  series    = {Theory of Computation 1},
  publisher = {American Elsevier},
  xnumber   = {1},
  xvolume   = {16},
}

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

@Article{Geer2005,
  author    = {Geer, D.},
  title     = {{Chip makers turn to multicore processors}},
  year      = {2005},
  volume    = {38},
  number    = {5},
  pages     = {11--13},
  journal   = {Computer},
  publisher = {IEEE},
  xissn     = {0018-9162},
}

@Article{Moore1998,
  author    = {Moore, G. E.},
  title     = {Cramming more components onto integrated circuits},
  year      = {1998},
  volume    = {86},
  number    = {1},
  pages     = {82--85},
  note      = {Original publication was in April 19, 1965, in \emph{Electronics}},
  journal   = {Proceedings of the IEEE},
  publisher = {IEEE},
  xissn     = {0018-9219},
}

@Conference{Agarwal2007,
  author       = {Agarwal, A. and Levy, M.},
  title        = {The kill rule for multicore},
  booktitle    = {Proceedings of the 44\th annual Design Automation Conference},
  year         = {2007},
  organization = {ACM},
  pages        = {750--753},
}

@Article{Rivest1978,
  author    = {Rivest, R. L. and Shamir, A. and Adleman, L.},
  title     = {A method for obtaining digital signatures and public-key cryptosystems},
  year      = {1978},
  volume    = {21},
  issue     = {2},
  pages     = {120--126},
  acmid     = {359342},
  journal   = {Communications of the ACM},
  keywords  = {authentication, cryptography, digital signatures, electronic funds transfer, electronic mail, factorization, message-passing, prime number, privacy, public-key cryptosystems, security},
  numpages  = {7},
  publisher = {ACM},
  xaddress  = {New York, NY, USA},
  xdoi      = {http://doi.acm.org/10.1145/359340.359342},
  xissn     = {0001-0782},
  xmonth    = {February},
  xurl      = {http://doi.acm.org/10.1145/359340.359342},
}

@Article{Bove2009,
  author    = {Bove, A. and Dybjer, P. and Norell, U.},
  title     = {A brief overview of {Agda} -- a functional language with dependent types},
  year      = {2009},
  pages     = {73--78},
  journal   = {Theorem Proving in Higher Order Logics},
  publisher = s-v,
}

@Conference{Hinze2008,
  author    = {Hinze, R.},
  title     = {Functional pearl: streams and unique fixed points},
  booktitle = {ICFP'08 --- Proceedings of the 13\th {ACM SIGPLAN} International Conference on Functional Programming},
  year      = {2008},
  pages     = {189--200},
}

@Book{Grabmeier2003,
  author    = {Grabmeier, J. and Kaltofen, E. and Weispfenning, V.},
  title     = {Computer algebra handbook: foundations, applications, systems},
  year      = {2003},
  publisher = s-v,
  isbn      = {3540654666},
}

@PhdThesis{Nolan1953,
  author = {Nolan, J. F.},
  title  = {Analytical differentiation on a digital computer},
  year   = {1953},
  type   = {Master's Thesis},
  school = {Massachusetts Institute of Technology},
}

@PhdThesis{Kahrimanian1953,
  author = {Kahrimanian, H. G.},
  title  = {Analytical differentiation by a digital computer},
  year   = {1953},
  type   = {Master's Thesis},
  school = {Temple University},
}

@Conference{Watt2006,
  author          = {Watt, S. M.},
  title           = {Making computer algebra more symbolic},
  booktitle       = {In Proceedings of Transgressive Computing 2006: A conference in honor or {Jean Della Dora}},
  year            = {2006},
  badorganization = {Citeseer},
  xdoi            = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.5233},
}

@Article{Birch1963,
  author        = {Birch, B. J. and Swinnerton-Dyer, H. P. F.},
  title         = {Notes on elliptic curves {I}},
  year          = {1963},
  volume        = {1963},
  number        = {212},
  pages         = {7--25},
  fullpublisher = {Walter de Gruyter, Berlin/New York Berlin, New York},
  journal       = {Journal f{\"u}r die reine und angewandte {Mathematik}},
  publisher     = {Walter de Gruyter},
  xissn         = {0075-4102},
}

@Article{Quinn1990,
  author    = {Quinn, M. J. and Hatcher, P. J.},
  title     = {Data-parallel programming on multicomputers},
  year      = {1990},
  pages     = {69--76},
  issn      = {0740-7459},
  journal   = {IEEE Software},
  publisher = {IEEE Computer Society},
}

@Book{Skillicorn1994,
  author    = {Skillicorn, D. B.},
  title     = {Foundations of parallel programming},
  year      = {1994},
  publisher = {Cambridge University Press},
  isbn      = {0521455111},
}

@InCollection{Gava2008a,
  author    = {Gava, F.},
  title     = {ICCS 2008 --- Computational Science},
  year      = {2008},
  publisher = s-v,
  chapter   = {{BSP} functional programming: Examples of a cost based methodology},
  pages     = {375--385},
}

@InCollection{Gava2008,
  author      = {Gava, Frédéric},
  title       = {{BSP} Functional Programming: Examples of a Cost Based Methodology},
  booktitle   = {ICCS 2008 --- Computational Science},
  year        = {2008},
  editor      = {Bubak, Marian and van Albada, Geert and Dongarra, Jack and Sloot, Peter},
  series      = {LNCS 5101},
  publisher   = s-v,
  pages       = {375--385},
  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.},
  affiliation = {University of Paris-Est Laboratory of Algorithms, Complexity and Logic},
  badvolume   = {5101},
  raw_doi     = {10.1007/978-3-540-69384-0_43},
  xdoi        = {http://dx.doi.org/10.1007/978-3-540-69384-0_43},
}

@Misc{Barras2008,
  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},
  title     = {The {Coq} proof assistant reference manual},
  year      = {2008},
  publisher = {INRIA},
  xvolume   = {8},
}

@Book{Paulson1994,
  author    = {Paulson, L.C.},
  title     = {Isabelle: A generic theorem prover},
  year      = {1994},
  publisher = s-v,
  isbn      = {3540582444},
}

@Book{Rashid1994,
  author    = {R{\=a}shid, R.},
  title     = {The development of {Arabic} mathematics: between arithmetic and algebra},
  year      = {1994},
  publisher = s-v,
  isbn      = {0792325656},
}

@Article{Bauer2002a,
  author    = {Bauer, C. and Frink, A. and Kreckel, R.},
  title     = {Introduction to the {GiNaC} framework for symbolic computation within the {C++} programming language},
  year      = {2002},
  volume    = {33},
  number    = {1},
  pages     = {1--12},
  journal   = {Journal of Symbolic Computation},
  publisher = {Elsevier},
  xissn     = {0747-7171},
}

@Article{Blumofe1999,
  author    = {Blumofe, R. D. and Leiserson, C. E.},
  title     = {Scheduling multithreaded computations by work stealing},
  year      = {1999},
  volume    = {46},
  number    = {5},
  pages     = {720--748},
  journal   = {Journal of the ACM},
  publisher = theacm,
  xissn     = {0004-5411},
}

@Unpublished{Marlow2011,
  author = {Simon Marlow and Ryan Newton and Simon {Peyton Jones}},
  title  = {A monad for deterministic parallelism},
  year   = {2011},
  note   = {Submitted to ICFP'2011},
}

@Article{Bokhari1981,
  author    = {Bokhari, S. H.},
  title     = {On the mapping problem},
  year      = {1981},
  pages     = {207--214},
  journal   = {IEEE Transactions on Computers},
  publisher = {IEEE},
  xissn     = {0018-9340},
}

@Article{Tantawi1985,
  author    = {Tantawi, A.N. and Towsley, D.},
  title     = {Optimal static load balancing in distributed computer systems},
  year      = {1985},
  volume    = {32},
  number    = {2},
  pages     = {445--465},
  journal   = {Journal of the ACM},
  publisher = theacm,
  xissn     = {0004-5411},
}

@Misc{Astapov2011,
  author        = {Dmitry Astapov and Bernie Pope and others},
  title         = {Haskell-{MPI}: {Haskell} bindings to the {MPI} library},
  year          = {2011},
  howpublished  = {Website, \url{https://github.com/bjpop/haskell-mpi}},
  note          = {Retrieved 30.3.2011},
  bla           = {\marginpar{\includegraphics[width=1cm]{test}}},
  xhowpublished = {Website},
  xurl          = {https://github.com/bjpop/haskell-mpi},
}

@Article{Gardner1977,
  author  = {Gardner, M.},
  title   = {A new kind of cipher that would take millions of years to break},
  year    = {1977},
  volume  = {237},
  number  = {8},
  pages   = {120--124},
  journal = {Scientific American},
  mynote  = {Martin Gardner on RSA},
}

@Book{Crandall2005,
  author    = {Crandall, R. E. and Pomerance, C.},
  title     = {Prime numbers: a computational perspective},
  year      = {2005},
  edition   = {second},
  publisher = s-v,
  isbn      = {0387252827},
}

@Conference{Bosma1990,
  author       = {Bosma, W. and van der Hulst, M. P.},
  title        = {Faster primality testing},
  booktitle    = {Advances in Cryptology---EUROCRYPT’89},
  year         = {1990},
  organization = s-v,
  pages        = {652--656},
}

@InCollection{Wetzel1998,
  author    = {Wetzel, Susanne},
  title     = {An efficient parallel block-reduction algorithm},
  booktitle = {Algorithmic Number Theory},
  year      = {1998},
  publisher = s-v,
  pages     = {323--337},
  mynote    = {parallel LLL},
}

@Book{Lang2002,
  author    = {Lang, Serge},
  title     = {Algebra},
  year      = {2002},
  edition   = {third},
  series    = {GTM 221},
  publisher = s-v,
  isbn      = {038795385X},
}

@Book{Lang1978,
  author    = {Lang, Serge},
  title     = {Cyclotomic fields},
  year      = {1978},
  publisher = s-v,
  isbn      = {0387903070},
}

@InProceedings{Migotti1883,
  author    = {A. Migotti},
  title     = {Zur {Theorie} der {Kreisteilungsgleichung}},
  booktitle = {Sitzber.\ der Classe der Kaiserlichen Akademie der Wissenschaften},
  year      = {1883},
  volume    = {87},
  pages     = {7--14},
  address   = {Wien},
}

@PhdThesis{Bungers1934,
  author    = {Bungers, R.},
  title     = {{{\"U}ber die Koeffizienten von Kreisteilungspolynomen}},
  year      = {1934},
  publisher = {Dieterichsche Universit{\"a}ts-Buchdruckerei},
  school    = {Georg-August-Universit{\"a}t G{\"o}ttingen},
}

@InProceedings{Fuerer2007,
  author      = {F\"{u}rer, Martin},
  title       = {Faster integer multiplication},
  booktitle   = {Proceedings of the 39\th annual ACM symposium on Theory of computing},
  year        = {2007},
  series      = {STOC'07},
  publisher   = theacm,
  pages       = {57--66},
  acmid       = {1250800},
  keywords    = {FFT, complexity, computer arithmetic, discrete Fourier transform, integer multiplication},
  numpages    = {10},
  optaddress  = {New York, NY, USA},
  optlocation = {San Diego, California, USA},
  repeaturl   = {http://doi.acm.org/10.1145/1250790.1250800},
  xdoi        = {http://doi.acm.org/10.1145/1250790.1250800},
  xisbn       = {978-1-59593-631-8},
}

@Article{Collins1995,
  author    = {George E. Collins and Mark J. {Encarnaci\'{o}n}},
  title     = {Efficient Rational Number Reconstruction},
  year      = {1995},
  volume    = {20},
  number    = {3},
  pages     = {287--297},
  baddoi    = {DOI: 10.1006/jsco.1995.1051},
  journal   = {Journal of Symbolic Computation},
  mycomment = {rational reconstruction, EEA},
  xissn     = {0747-7171},
  xurl      = {http://www.sciencedirect.com/science/article/B6WM7-45R8HW4-Y/2/9de4022e9c20960ed655db18fb2d4f3b},
}

@Article{Chen2010,
  author   = {Liang Chen and Michael Monagan},
  title    = {Algorithms for solving linear systems over cyclotomic fields},
  year     = {2010},
  volume   = {45},
  number   = {9},
  pages    = {902--917},
  baddoi   = {DOI: 10.1016/j.jsc.2010.05.001},
  journal  = {Journal of Symbolic Computation},
  keywords = {Linear systems, Modular algorithms, Cyclotomic fields, Cyclotomic polynomials},
  xissn    = {0747-7171},
  xurl     = {http://www.sciencedirect.com/science/article/B6WM7-5025V9M-1/2/17f65123d5c57192281baf5928fdbfb4},
}

@InProceedings{Monagan2004,
  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},
  year        = {2004},
  series      = {ISSAC'04},
  publisher   = theacm,
  pages       = {243--249},
  acmid       = {1005321},
  badaddress  = {New York, NY, USA},
  badurl      = {http://doi.acm.org/10.1145/1005285.1005321},
  biglocation = {Santander, Spain},
  keywords    = {euclidean algorithm, modular algorithms, rational reconstruction},
  numpages    = {7},
  xdoi        = {http://doi.acm.org/10.1145/1005285.1005321},
  xisbn       = {1-58113-827-X},
}

@Article{Gondzio2003,
  author      = {Gondzio, Jacek and Sarkissian, Robert},
  title       = {Parallel interior-point solver for structured linear programs},
  year        = {2003},
  volume      = {96},
  issue       = {3},
  pages       = {561--584},
  doi         = {http://dx.doi.org/10.1007/s10107-003-0379-5},
  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},
  baddoi      = {10.1007/s10107-003-0379-5},
  journal     = {Mathematical Programming},
  keyword     = {Mathematics and Statistics},
  publisher   = s-v,
  xissn       = {0025-5610},
}

@InProceedings{Gentleman1966,
  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},
  year        = {1966},
  series      = {AFIPS'66 (Fall)},
  publisher   = theacm,
  pages       = {563--578},
  doi         = {http://doi.acm.org/10.1145/1464291.1464352},
  acmid       = {1464352},
  badurl      = {http://doi.acm.org/10.1145/1464291.1464352},
  numpages    = {16},
  optaddress  = {New York, NY, USA},
  optlocation = {San Francisco, California},
}

@Article{Hummel1992,
  author     = {Hummel, Susan Flynn and Schonberg, Edith and Flynn, Lawrence E.},
  title      = {Factoring: a method for scheduling parallel loops},
  year       = {1992},
  volume     = {35},
  issue      = {8},
  month      = {August},
  pages      = {90--101},
  doi        = {http://doi.acm.org/10.1145/135226.135232},
  acmid      = {135232},
  badurl     = {http://doi.acm.org/10.1145/135226.135232},
  journal    = {Communications of the ACM},
  keywords   = {chunking, dynamic scheduling, parallel loop scheduling, partitioning},
  numpages   = {12},
  optaddress = {New York, NY, USA},
  publisher  = theacm,
  xissn      = {0001-0782},
}

@InProceedings{Linton2010,
  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},
  year        = {2010},
  series      = {ISSAC'10},
  publisher   = theacm,
  pages       = {339--346},
  acmid       = {1837999},
  badurl      = {http://doi.acm.org/10.1145/1837934.1837999},
  keywords    = {OpenMath, SCSCP, coordination, interface, parallelism},
  numpages    = {8},
  optaddress  = {New York, NY, USA},
  optlocation = {Munich, Germany},
  xdoi        = {http://doi.acm.org/10.1145/1837934.1837999},
  xisbn       = {978-1-4503-0150-3},
}

@InProceedings{Moses1973,
  author      = {Moses, Joel and Yun, David Y. Y.},
  title       = {The {EZ GCD} algorithm},
  booktitle   = {Proceedings of the ACM annual conference},
  year        = {1973},
  series      = {ACM'73},
  publisher   = theacm,
  pages       = {159--166},
  doi         = {http://doi.acm.org/10.1145/800192.805698},
  acmid       = {805698},
  badurl      = {http://doi.acm.org/10.1145/800192.805698},
  mynotes     = {ezgcd},
  numpages    = {8},
  optaddress  = {New York, NY, USA},
  optlocation = {Atlanta, Georgia, United States},
}

@Article{Chamberlain2007,
  author   = {Chamberlain, B. L. and Callahan, D. and Zima, H. P.},
  title    = {Parallel Programmability and the Chapel Language},
  year     = {2007},
  volume   = {21},
  number   = {3},
  pages    = {291--312},
  eprint   = {http://hpc.sagepub.com/content/21/3/291.full.pdf+html},
  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.},
  baddoi   = {10.1177/1094342007078442},
  journal  = {International Journal of High Performance Computing Applications},
  xurl     = {http://hpc.sagepub.com/content/21/3/291.abstract},
}

@InProceedings{Charles2005,
  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},
  year         = {2005},
  series       = {OOPSLA'05},
  publisher    = theacm,
  location     = {San Diego, CA, USA},
  pages        = {519--538},
  acmid        = {1094852},
  dublicateurl = {http://doi.acm.org/10.1145/1094811.1094852},
  keywords     = {Java, X10, atomic blocks, clocks, data distribution, multithreading, non-uniform cluster computing (NUCC), partitioned global address space (PGAS), places, productivity, scalability},
  numpages     = {20},
  optaddress   = {New York, NY, USA},
  xdoi         = {http://doi.acm.org/10.1145/1094811.1094852},
  xisbn        = {1-59593-031-0},
}

@Article{Haller2009,
  author   = {Philipp Haller and Martin Odersky},
  title    = {Scala Actors: Unifying thread-based and event-based programming},
  year     = {2009},
  volume   = {410},
  number   = {2-3},
  pages    = {202--220},
  note     = {Distributed Computing Techniques},
  baddoi   = {DOI: 10.1016/j.tcs.2008.09.019},
  journal  = {Theoretical Computer Science},
  keywords = {Concurrent programming, Actors, Threads, Events},
  xissn    = {0304-3975},
  xurl     = {http://www.sciencedirect.com/science/article/B6V1G-4TG9J07-4/2/6d025aa3d5748c89ad1e3dc1c1400bc3},
}

@PhdThesis{Agha1985,
  author = {Agha, Gul Abdulnabi},
  title  = {{ACTORS}: A Model of Concurrent Computation in Distributed Systems},
  year   = {1985},
  url    = {http://hdl.handle.net/1721.1/6952},
  school = {University of Michigan},
}

@Article{Hoare1978,
  author       = {Hoare, C. A. R.},
  title        = {Communicating sequential processes},
  year         = {1978},
  volume       = {21},
  issue        = {8},
  pages        = {666--677},
  doi          = {http://doi.acm.org/10.1145/359576.359585},
  acmid        = {359585},
  dublicateurl = {http://doi.acm.org/10.1145/359576.359585},
  journal      = {Communications of the ACM},
  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},
  numpages     = {12},
  optaddress   = {New York, NY, USA},
  optmonth     = {August},
  publisher    = theacm,
  xissn        = {0001-0782},
}

@Article{Brown2008,
  author  = {Brown, N. C. C.},
  title   = {Communicating {Haskell} Processes: Composable explicit concurrency using monads},
  year    = {2008},
  pages   = {67--83},
  journal = {Communicating Process Architectures},
}

@Article{Scholz1995,
  author       = {Scholz, E.},
  title        = {Four Concurrency Primitives for {Haskell}},
  year         = {1995},
  badpublisher = {Citeseer},
}

@Misc{Group2011,
  author       = {Eden Group},
  title        = {Eden Skeleton Library},
  year         = {2011},
  howpublished = {Software package},
  note         = {Retrieved 15.6.2011},
  url          = {http://www.mathematik.uni-marburg.de/~eden/doc/edenskel-1.0.1.1/index.html},
  key          = {Eden Skeletons, 2011},
}

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

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

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

@Article{Kirkpatrick1983,
  author   = {Kirkpatrick, S. and Gelatt, C. D. and Vecchi, M. P.},
  title    = {Optimization by Simulated Annealing},
  year     = {1983},
  volume   = {220},
  number   = {4598},
  pages    = {671--680},
  doi      = {10.1126/science.220.4598.671},
  eprint   = {http://www.sciencemag.org/content/220/4598/671.full.pdf},
  url      = {http://www.sciencemag.org/content/220/4598/671.abstract},
  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.},
  journal  = {Science},
}

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

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

@Book{Werling2011,
  author     = {Werling, Stefan Bruno},
  title      = {Deflektometrie zur automatischen Sichtpr{\"u}fung und Rekonstruktion spiegelnder Oberfl{\"a}chen},
  year       = {2011},
  publisher  = {KIT},
  url        = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000023287},
  longseries = {Automatische Sichtpr{\"u}fung und Bildverarbeitung},
  longvolume = {3},
}

@InProceedings{Halper2000,
  author    = {Halper, N. and Olivier, P.},
  title     = {Camplan: A camera planning agent},
  booktitle = {Smart Graphics 2000 AAAI Spring Symposium},
  year      = {2000},
  pages     = {92--100},
}

@InProceedings{Ke2005,
  author       = {Ke, Q. and Kanade, T.},
  title        = {Quasiconvex optimization for robust geometric reconstruction},
  booktitle    = {10\xth IEEE International Conference on Computer Vision},
  year         = {2005},
  volume       = {2},
  series       = {ICCV},
  organization = {IEEE},
  pages        = {986--993},
  longseries   = {ICCV 2005},
}

@Article{Kammel2008,
  author      = {Kammel, S. and Le{\'o}n, F. P.},
  title       = {Deflectometric measurement of specular surfaces},
  year        = {2008},
  volume      = {57},
  number      = {4},
  pages       = {763--769},
  fullauthor  = {Sören Kammel and Fernando Puente León},
  journal     = {IEEE Trans. Instrum. Meas.},
  longjournal = {IEEE Transactions on Instrumentation and Measurement},
  publisher   = {IEEE},
}

@Article{Denkena2002,
  author      = {Denkena, B. and Ahlers, H. and Berg, F. and Wolf, T. and T{\"o}nshoff, H. K.},
  title       = {Fast inspection of larger sized curved surfaces by stripe projection},
  year        = {2002},
  volume      = {51},
  number      = {1},
  pages       = {499--502},
  journal     = {CIRP Ann. Manuf. Technol.},
  longjournal = {CIRP Annals---Manufacturing Technology},
  publisher   = {Elsevier},
}

@InProceedings{Knauer2004,
author = {Knauer, Markus C. and Kaminski, Jurgen and Hausler, Gerd},
title = {Phase measuring deflectometry: a new approach to measure specular free-form surfaces},
volume = {5457},
number = {},
pages = {366--376},
abstract = {We present a new method to measure specular free-form surfaces within seconds. We call the measuring principle `Phase Measuring Deflectometry' (PMD). With a stereo based enhancement of PMD we are able to measure both the height and the slope of the surface.  The basic principle is to project sinusoidal fringe patterns onto a screen located remotely from the surface under test and to observe the fringe patterns reflected via the surface. Any slope variations of the surface lead to distortions of the patterns. Using well-known phase-shift algorithms, we can precisely measure these distortions and thus calculate the surface normal in each pixel. We will deduce the method's diffraction-theoretical limits and explain how to reach them. A major challenge is the necessary calibration. We solved this task by combining various photogrammetric methods. We reach a repeatability of the local slope down to a few arc seconds and an absolute accuracy of a few arc minutes. One important field of application is the measurement of the local curvature of progressive eyeglass lenses. We will present experimental results and compare these results with the theoretical limits.},
year = {2004},
doi = {10.1117/12.545704},
URL = { http://dx.doi.org/10.1117/12.545704},
eprint = {},
  booktitle = {Proceedings of SPIE},
}

@InProceedings{Hoefer2010,
  author          = {H{\"{o}}fer, Sebastian},
  title           = {Developments in the Field of Deflectometry},
  booktitle       = {Proceedings of the 2010 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory},
  year            = {2010},
  organization    = {KIT Scientific Publishing},
  pages           = {201--2012},
  longinstitution = {Vision and Fusion Laboratory, Institute for Anthropomatics, Karlsruhe Instute of Technology},
}

@Article{Sanderson1988,
  author      = {Sanderson, A.C. and Weiss, L.E. and Nayar, S.K.},
  title       = {Structured highlight inspection of specular surfaces},
  year        = {1988},
  volume      = {10},
  number      = {1},
  pages       = {44--55},
  issn        = {0162-8828},
  doi         = {10.1109/34.3866},
  journal     = {IEEE Trans. Pattern Anal. Mach. Intell.},
  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;},
  longjournal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
  optmonth    = {jan},
}

@Article{Zhang2000,
  author      = {Zhang, Z.},
  title       = {A flexible new technique for camera calibration},
  year        = {2000},
  volume      = {22},
  number      = {11},
  pages       = {1330--1334},
  issn        = {0162-8828},
  doi         = {10.1109/34.888718},
  journal     = {IEEE Trans. Pattern Anal. Mach. Intell.},
  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;},
  longjournal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
  optmonth    = {nov},
}

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

@InCollection{Balzer2010a,
  author        = {Balzer, Jonathan and H{\"o}fer, Sebastian and Werling, Stefan and Beyerer, J{\"u}rgen},
  title         = {Optimization on Shape Curves with Application to Specular Stereo},
  booktitle     = {Pattern Recognition},
  year          = {2010},
  editor        = {Goesele, Michael and Roth, Stefan and Kuijper, Arjan and Schiele, Bernt and Schindler, Konrad},
  series        = {LNCS 6376},
  publisher     = s-v,
  isbn          = {978-3-642-15985-5},
  pages         = {41-50},
  doi           = {http://dx.doi.org/10.1007/978-3-642-15986-2_5},
  affiliation   = {Geometric Modeling and Scientific Visualization Center, King Abdullah University of Science and Technology (KAUST), Thuwal, 23955-6900 Kingdom of Saudi Arabia},
  keyword       = {Computer Science},
  longpublisher = {Springer Berlin / Heidelberg},
  longseries    = {Lecture Notes in Computer Science},
  longvolume    = {6376},
  optnote       = {10.1007/978-3-642-15986-2_5},
}

@InCollection{Balzer2007a,
  author       = {Balzer, J. and Dibbelt, J. and Beyerer, J.},
  title        = {{\"U}ber die {Eindeutigkeit} der stereo-regularisierten deflektometrischen {Oberfl{\"a}chenrekonstruktion}},
  booktitle    = {Bildverarbeitung in der Mess- und Automatisierungstechnik},
  year         = {2007},
  editor       = {Heizmann, M.},
  series       = {VDI-Berichte},
  number       = {1981},
  publisher    = {VDI Verlag},
  location     = {Tagung Regensburg, 27. und 28. November 2007},
  pages        = {91--100},
  url          = {http://www.scientificcommons.org/26427730},
  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.},
  address      = {D{\"u}sseldorf},
  keywords     = {Deflektometrie, spekulares Stereo, Eindeutigkeit, Regularisierung, 3D-Rekonstruktion},
  optpublisher = {Fraunhofer Publica},
}

@Book{Spitzer2001,
  author     = {Spitzer, F.},
  title      = {Principles of random walk},
  year       = {2001},
  publisher  = s-v,
  longseries = {GTM},
  longvolume = {34},
}

@Article{Chandrasekhar1943,
  author    = {Chandrasekhar, S.},
  title     = {Stochastic Problems in Physics and Astronomy},
  year      = {1943},
  volume    = {15},
  issue     = {1},
  pages     = {1--89},
  doi       = {10.1103/RevModPhys.15.1},
  url       = {http://link.aps.org/doi/10.1103/RevModPhys.15.1},
  journal   = {Rev. Mod. Phys.},
  optmonth  = {Jan},
  publisher = {American Physical Society},
}

@Article{Shiller1985,
  author      = {Robert J. Shiller and Pierre Perron},
  title       = {Testing the random walk hypothesis: Power versus frequency of observation},
  year        = {1985},
  volume      = {18},
  number      = {4},
  pages       = {381--386},
  issn        = {0165-1765},
  doi         = {10.1016/0165-1765(85)90058-8},
  url         = {http://www.sciencedirect.com/science/article/pii/0165176585900588},
  journal     = {Econ. Lett.},
  longjournal = {Economics Letters},
}

@Article{Pearson1905,
  author  = {Pearson, K.},
  title   = {The problem of the random walk},
  year    = {1905},
  volume  = {72},
  number  = {1865},
  pages   = {294},
  journal = {Nature},
}

@Book{Kampen2007,
  author    = {N. G. van Kampen},
  title     = {Stochastic processes in physics and chemistry},
  year      = {2007},
  publisher = {North Holland},
}

@Article{Turk2001,
  author    = {Turk, M.},
  title     = {A random walk through eigenspace},
  year      = {2001},
  volume    = {84},
  number    = {12},
  pages     = {1586--1595},
  note      = {Special Issue on Machine Vision Applications},
  journal   = {IEICE Transactions on Information and Systems E series D},
  publisher = {Institute of Information \& Electronics},
}

@Article{Grady2006,
  author      = {Grady, L.},
  title       = {Random walks for image segmentation},
  year        = {2006},
  volume      = {28},
  number      = {11},
  pages       = {1768--1783},
  journal     = {IEEE Trans. Pattern Anal. Mach. Intell.},
  longjournal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
  publisher   = {IEEE},
}

@Article{Bovet1988,
  author      = {Pierre Bovet and Simon Benhamou},
  title       = {Spatial analysis of animals' movements using a correlated random walk model},
  year        = {1988},
  volume      = {131},
  number      = {4},
  pages       = {419--433},
  issn        = {0022-5193},
  doi         = {10.1016/S0022-5193(88)80038-9},
  url         = {http://www.sciencedirect.com/science/article/pii/S0022519388800389},
  journal     = {J. Theor. Biol.},
  longjournal = {Journal of Theoretical Biology},
}

@InProceedings{Meila2001,
  author        = {Marina Meila and Jianbo Shi},
  title         = {Learning Segmentation with Random Walk},
  booktitle     = {Proc.\ NIPS'01},
  year          = {2001},
  longbooktitle = {Neural Information Processing Systems},
  longseries    = {NIPS 2001},
}

@Article{Longuet-Higgins1981,
  author    = {Longuet-Higgins, H. C.},
  title     = {A computer algorithm for reconstructing a scene from two projections},
  year      = {1981},
  volume    = {293},
  number    = {5828},
  pages     = {133--135},
  url       = {http://www.nature.com/doifinder/10.1038/293133a0},
  journal   = {Nature},
  publisher = {Morgan Kaufmann},
}

@Article{Olague2002,
  author      = {Gustavo Olague and Roger Mohr},
  title       = {Optimal camera placement for accurate reconstruction},
  year        = {2002},
  volume      = {35},
  number      = {4},
  pages       = {927--944},
  issn        = {0031-3203},
  doi         = {10.1016/S0031-3203(01)00076-0},
  url         = {http://www.sciencedirect.com/science/article/pii/S0031320301000760},
  journal     = {Pattern Recognit.},
  keywords    = {Camera network design, Uncertainty analysis, Global optimization, Covariance matrix, Genetic algorithms},
  longjournal = {Pattern Recognition},
}

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

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

@Article{Mark2003,
  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},
  year       = {2003},
  volume     = {22},
  number     = {3},
  month      = jul,
  pages      = {896--907},
  issn       = {0730-0301},
  doi        = {10.1145/882262.882362},
  url        = {http://doi.acm.org/10.1145/882262.882362},
  acmid      = {882362},
  address    = {New York, NY, USA},
  issue_date = {July 2003},
  journal    = {ACM Trans. Graph.},
  numpages   = {12},
  publisher  = {ACM},
}

@Book{Zhao2009,
  author        = {Zhao, J. and Cheung, S. and Nguyen, T.},
  title         = {Optimal visual sensor network configuration},
  year          = {2009},
  publisher     = {AP},
  longpublisher = {Academic Press},
}

@Manual{Losch2012,
  author    = {Losch, C. and Losch, P. and Kurz, R. and K{\"u}hn, T.},
  title     = {Cinema {4D}},
  year      = {2012},
  publisher = {Maxon Computer},
  address   = {Friedrichsdorf, Germany},
}

@InProceedings{Levoy2000,
  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},
  booktitle     = {Proc.\ SIGGRAPH'00},
  year          = {2000},
  publisher     = {ACM},
  isbn          = {1-58113-208-5},
  pages         = {131--144},
  doi           = {10.1145/344779.344849},
  url           = {http://dx.doi.org/10.1145/344779.344849},
  acmid         = {344849},
  keywords      = {3D scanning, cultural heritage, graphics systems, mesh generation, range images, rangefinding, reflectance and shading models, sensor fusion},
  longbooktitle = {Proceedings of the 27\xth Annual Conference on Computer Graphics and Interactive Techniques},
  longpublisher = {ACM Press/Addison-Wesley Publishing Co.},
  longseries    = {SIGGRAPH'00},
  numpages      = {14},
  optaddress    = {New York, NY, USA},
}

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

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

@InProceedings{Balzer,
  author        = {Balzer, J. and H{\"o}fer, S. and Beyerer, J.},
  title         = {Multiview specular stereo reconstruction of large mirror surfaces},
  booktitle     = {Proc. CVPR'11},
  publisher     = {IEEE},
  pages         = {2537--2544},
  doi           = {10.1109/CVPR.2011.5995346},
  issn          = {1063-6919},
  keywords      = {calibration;image restoration;interferometry;mirrors;shape recognition;stereo image processing;calibrated scene;deflectometry;image distortion;image reconstruction;mirror objects;multiview specular stereo approach;shape recovery;visual impression;Cameras;Image reconstruction;Mirrors;Optical imaging;Shape;Stereo image processing;Surface reconstruction},
  longbooktitle = {IEEE Conference on Computer Vision and Pattern Recognition},
  longseries    = {CVPR 2011},
  optyear       = {June},
}

@InProceedings{Hong2009,
  author        = {Deokhwa Hong and Heechan Park and Hyungsuck Cho},
  title         = {Design of a multi-screen deflectometer for shape measurement of solder joints on a {PCB}},
  booktitle     = {Proc.\ ISIE'09},
  year          = {2009},
  publisher     = {IEEE},
  pages         = {127--132},
  doi           = {10.1109/ISIE.2009.5213206},
  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},
  longbooktitle = {IEEE International Symposium on Industrial Electronics},
  longseries    = {ISIE 2009},
}

@Article{Zheng2000,
  author      = {Jiang Yu Zheng and Murata, A.},
  title       = {Acquiring a complete {3D} model from specular motion under the illumination of circular-shaped light sources},
  year        = {2000},
  volume      = {22},
  number      = {8},
  pages       = {913-920},
  issn        = {0162-8828},
  doi         = {10.1109/34.868691},
  journal     = {IEEE Trans. Pattern Anal. Mach. Intell.},
  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},
  longjournal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
  optmonth    = {Aug},
}

@Article{Ihrke2010,
  author      = {Ihrke, Ivo and Kutulakos, Kiriakos N. and Lensch, Hendrik P. A. and Magnor, Marcus and Heidrich, Wolfgang},
  title       = {Transparent and Specular Object Reconstruction},
  year        = {2010},
  volume      = {29},
  number      = {8},
  pages       = {2400--2426},
  issn        = {1467-8659},
  doi         = {10.1111/j.1467-8659.2010.01753.x},
  journal     = {Comput. Graph. Forum},
  keywords    = {range scanning, transparent, specular, and volumetric objects, I.4.8 Scene Analysis, Range Data, Shape I.2.10 Vision and Scene Understanding, 3D Scene Analysis},
  longjournal = {Computer Graphics Forum},
  opturl      = {http://dx.doi.org/10.1111/j.1467-8659.2010.01753.x},
  publisher   = {Blackwell Publishing Ltd},
}

@Article{Schultz1994,
  author      = {Schultz, H.},
  title       = {Retrieving shape information from multiple images of a specular surface},
  year        = {1994},
  volume      = {16},
  number      = {2},
  month       = {Feb},
  pages       = {195--201},
  issn        = {0162-8828},
  doi         = {10.1109/34.273732},
  journal     = {IEEE T. Pattern. Anal.},
  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},
  longjournal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
}

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

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

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

@TECHREPORT{erdem04camlayout-,
  author = {Ugur Murat Erdem and Stan Sclaroff},
  title = {Automated Camera Layout to Satisfy Task-Specific and Floorplan-Specific
	Coverage Requirements},
  longinstitution = {Computer Science Department, Boston University},
  institution = {Boston University},
  year = {2004},
  owner = {Martin},
  timestamp = {2012.04.29}
}

@article{erdem04camlayout,
  newid=erdem2006automated,
  title={Automated camera layout to satisfy task-specific and floor plan-specific coverage requirements},
  author={Erdem, U{\u{g}}ur Murat and Sclaroff, Stan},
  longjournal={Computer Vision and Image Understanding},
  journal = {Comput. Vis. Image Und.},
  volume={103},
  number={3},
  pages={156--169},
  year={2006},
  publisher={Elsevier}
}

@ARTICLE{fleishman00camplace,
  author = {Shachar Fleishman and Daniel Cohen-Or and Dani Lischinski},
  title = {Automatic Camera Placement for Image-Based Modelling},
  longjournal = {Computer Graphics Forum},
  journal = {Comput. Graph. Forum},
  year = {2000},
  volume = {5},
  pages = {231-239},
  owner = {Martin},
  timestamp = {2012.04.29}
}

@ARTICLE{guthe03textureatlas,
  author = {Michael Guthe and Reinhard Klein},
  title = {Automatic texture atlas generation from trimmed NURBS models},
  journal = {Computer Graphics Forum},
  year = {2003},
  volume = {22},
  pages = {253-261},
  number = {3},
  medium = {gedruckt},
  readstatus = {gelesen}
}

@TECHREPORT{hoefer10developments-,
  author = {Sebastian H�fer},
  title = {Developments in the Field of Deflectometry},
  institution = {Vision and Fusion Laboratory, Institute for Anthropomatics, Karlsruhe
	Instute of Technology},
  year = {2010},
  owner = {Martin},
  timestamp = {2012.04.29}
}

@ARTICLE{kammel08deflectometry-,
  author = {S�ren Kammel and Fernando Puente Le�n},
  title = {Deflectometric Measurement of Specular Surface},
  journal = {IEEE Transactions on Instrumentation and Measurement},
  year = {2008},
  volume = {57},
  pages = {763-769},
  owner = {Martin},
  timestamp = {2012.04.27}
}

@INPROCEEDINGS{knauer04phasedeflecto,
  author = {Markus C. Knauer and J\"{u}rgen Kaminski and Gerd H\"{a}usler},
  title = {Phase Measuring Deflectometry: A new approach to specular free-form
	surfaces},
  longbooktitle = {Optical Metrology in Production Engineering},
  booktitle = {P. Soc. Photo-Opt. Ins.},
  year = {2004},
  owner = {Martin},
  timestamp = {2012.04.29}
}

@ARTICLE{murray07secmonitor,
  author = {Alan T. Murray and Kamyoung Kim},
  title = {Coverage optimization to support security monitoring},
  longjournal = {Computers, Environment and Urban Systems},
  journal = {Comput. Environ. Urban.},
  year = {2007},
  volume = {31},
  pages = {133-147},
  owner = {Martin},
  timestamp = {2012.04.29}
}

@INPROCEEDINGS{piccardi04backgroundsubtraction,
  author = {Massimo Piccardi},
  title = {Background subtraction techniques: a review},
  optbooktitle = {Proc. of IEEE International Conference on Systems, Man and Cybernetics, 2004},
  optseries = {IEEE Sys. Man. Cybern.},
  booktitle = {Proc. Sys. Man. Cybern.},
  year = {2004},
  optvolume={4},
  pages={3099--3104},
  organization={IEEE},
}

@INPROCEEDINGS{faugeras98stereo,
  author = {O.D. Faugeras and R. Keriven},
  title = {Complete dense stereovision using level set methods},
  OLDbooktitle = {European Conference on Computer Vision},
  booktitle = {Computer Vision},
  series = {ECCV'98},
  year = {1998},
  pages={379--393},
}

@article{qian1997binocular,
  title={Binocular disparity review and the perception of depth},
  author={Qian, Ning},
  journal={Neuron},
  volume={18},
  number={3},
  pages={359--368},
  year={1997},
  publisher={Elsevier}
}

@Article{Saalfeld2012,
  author        = {Saalfeld, Stephan and Fetter, Richard and Cardona, Albert and Tomancak, Pavel},
  title         = {Elastic volume reconstruction from series of ultra-thin microscopy sections},
  year          = {2012},
  volume        = {9},
  number        = {7},
  pages         = {717--720},
  issn          = {15487091},
  doi           = {10.1038/nmeth.2072},
  added-at      = {2013-03-20T17:10:26.000+0100},
  biburl        = {http://www.bibsonomy.org/bibtex/2be107e540e66cf18d6f142b30d3e761f/alex_ruff},
  comment       = {10.1038/nmeth.2072},
  description   = {Elastic volume reconstruction from series of ultra-thin microscopy sections : Nature Methods : Nature Publishing Group},
  fulljournal   = {Nature Methods},
  interhash     = {bb2358a34b93f04a0aae849d87cfafd

license: MIT

repository: Parrows/Parrows

license_type: permissive

repo_name: Parrows/Parrows

branch_name: refs/heads/master

extension: bib