@TechReport{Dongarra94,
 author = {Jack Dongarra and Michael Kolatis},
 title  = {{LAPACK} Working Note 71: {IBM} {RS}/6000-550 \& -590 Performance for Selected Routines in {ESSL}/{LAPACK}/{NAG}/{IMSL}},
 institution = {Department of Computer Science, University of Tennessee},
 number = {UT-CS-94-231},
 month  = {apr},
 year   = {1994},
 url    =  {ftp://cs.utk.edu/pub/TechReports/1994/ut-cs-94-231.ps.Z},
 note   = {Tue, 22 May 101 17:44:55 GMT}
}
@ARTICLE{Owen2001a,
 AUTHOR = {S.J.~Owen and S.~Saigal},
 TITLE  = {Formation of Pyramid Elements for Hexahedra to Tetrahedra Transitions},
 JOURNAL = {Computer Methods in Applied Mechanics and Engineering},
 VOLUME  = {190},
 PAGES   = {4505-4518},
 ANNOTE  = {MESH-Layer:Owen2001a.pdf},
 YEAR    = {2001}
}
@Article{you93,
author  = {You, J. and Cohen, H.A.},
title   = {Classification And Segmentation Of Rotated And Scaled Textured Images Using Texture ``Tuned'' Masks},
journal = {Pattern Recognition},
volume  = {26},
pages   = {245-258},
year    = {1993}
}
@InProceedings{Paper11:CAV:2002,
 author = {Tomohiro Yoneda and Tomoya Kitai and Chris Myers},
 title  = {Automatic Derivation of Timing Constraints by Failure Analysis},
 booktitle = {Computer Aided Verification},
 pages  = {195--208},
 year   = {2002},
 abstract = { This work proposes a technique to automatically
  obtain timing constraints for a given timed circuit to
  operate correctly. A designated set of delay parameters
  of a circuit are first set to sufficiently large
  bounds, and verification runs followed by failure
  analysis are repeated. Each verification run performs
  timed state space enumeration under the given delay
  bounds, and produces a failure trace if it exists. The
  failure trace is analyzed, and sufficient timing
  constraints to prevent the failure is obtained. Then,
  the delay bounds are tightened according to the timing
  constraints by using a ILP (Integer Linear Programming)
  solver. This process terminates when either some delay
  bounds under which no failure is detected are found or
  no new delay bounds to prevent the failures can be
  obtained. The experimental results using a naive
  implementation show that the proposed method can
  efficiently handle asynchronous benchmark circuits and
  nontrivial GasP circuits.}
}
@inproceedings{LMAdams_1996a,
 author   = {L. M. Adams},
 title    = {A multigrid algorithm for immersed interface problems},
 booktitle = {Seventh Copper Mountain Conference on Multigrid Methods},
 volume    = {CP 3339},
 editor    = {N. D. Melson and T. A. Manteuffel and S. F. McCormick and
 C. C. Douglas},
 publisher = {NASA},
 address   = {Hampton, VA},
 year      = {1996},
 pages     = {1--14}
 }
@Manual{mpich-user, 
 title = {User's Guide for \texttt{mpich}, a Portable Implementation of {MPI}},
 author = {William D. Gropp and Ewing Lusk},
 note   = {ANL-96/6},
 organization = {Mathematics and Computer Science Division, Argonne National Laboratory},
 year    = {1996}
}
@BOOK { lamport:1994,
 AUTHOR = {Leslie Lamport},
 TITLE  = {{\LaTeX{}} User's Guide and Reference Manual, Second Edition},
 PUBLISHER = {Addison-Wesley},
 YEAR   = {1994},
 ADDRESS = {Reading, MassAchusetts}
 }

@Book{USA1996,
 editor = {Committee on Government Reform and Oversight},
 title  = {Effectiveness of the National Drug Control Strategy and the Status of the Drug War},
 publisher = {Congress. House},
 year   = {1996},
 address = {United States. Washington, GPO}
}
@Article{Frank1995,
 author = {Frank, Andre Gunder},
 title  = {The World Economic System in Asia Before European Hegemony},
 journal = {Historian},
 volume = {56},
 number = {2},
 year   =  {1995},
 pages  = {259--276}
}
@article{Pan96,
 author = {Haihua Pan},
 title  = {Imperfective Aspect Zhe, Agent Deletion, and Locative Inversion in Mandarin Chinese},
 journal = {Natural Language and Linguistic Theory},
 volume  = {14},
 number  = {2},
 pages   = {409-432},
 year    = {1996}
}
@Article{Brock:1995sz,
 author  = {Brock, Raymond and others},
 collaboration = {CTEQ},
 title   = {Handbook of perturbative QCD: Version 1.0},
 journal = {Rev. Mod. Phys.},
 volume  = {67},
 year    = {1995},
 pages   = {157-248}
}
@Article{ieee-ec:hurford:2001,
 author  = {R. Hurford},
 title   = {Random Boolean nets and features of language},
 journal = {IEEE Transactions on Evolutionary Computation},
 year    =  {2001},
 type    =  {Paper},
 volume  = {5},
 issue   = {2},
 month   = {April},
 pages   = {111-116}
}
@Book{ Tisserand1997,
 editor  = {Tisserand, R. and Balacs, T.},
 title   = {Essential Oil Safety: A Guide for Health Professionals},
 publisher = {Churchill Livingstone},
 year    = {1995},
 address = {New York, NY}
}
@article{306616,
 author  = {Hsinchun Chen and Andrea L. Houston and Robin R. Sewell and Bruce R. Schatz},
 title   = {Internet browsing and searching: user evaluations of category map and concept space techniques},
 journal = {Journal of the American Society for Information Science},
 volume  = {49},
 number  = {7},
 year    = {1998},
 issn    = {0002-8231},
 pages   = {582--603},
 doi     = {http://dx.doi.org/10.1002/(SICI)1097-4571(1998)49:7},
 publisher = {John Wiley \& Sons, Inc.}
 }
@inproceedings{803928,
 author = {Hamilton Richards, Jr. and Charles Wright, Jr.},
 title  = {Introduction to the SYMBOL 2R programming language},
 booktitle = {Proceedings of the ACM-IEEE symposium on High-level-language computer architecture},
 year   = {1973},
 pages  = {27--33},
 location = {College Park, Maryland, United States}
 }
@Proceedings{Dwoyer:1989:PEI,
 editor  = {D. L. Dwoyer and M. Y. Hussaini and R. G. Voigt},
 title   = {Proceedings of the Eleventh International Conference
 on Numerical Methods in Fluid Dynamics, held in
 {Williamsburg, Virginia, June 27-July 1, 1988}},
 number  = {323},
 publisher = {Spring{\-}er-Ver{\-}lag},
 address = {Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/
 etc.},
 pages   = {xiii + 622},
 year    = {1989},
 ISBN    = {0-387-51048-6 (New York), 3-540-51048-6 (Berlin)},
 LCCN    = {QA911 .I541 1988},
 bibdate = {Tue May 02 17:30:58 1995},
 series  = {Lecture Notes in Physics}
}
@Article{Baciu:1995:AFM,
 author  = {G. Baciu and R. K. W. Tsang},
 title   = {Advancing Front Meshing for Radiosity Solutions},
 journal = {Lecture Notes in Computer Science},
 volume  = {1024},
 pages   = {283--??},
 year    = {1995},
 coden   = {LNCSD9},
 ISSN    = {0302-9743},
 bibdate = {Sat May 11 13:45:32 MDT 1996}
}
@InProceedings{chen:1998:hdsGP,
 author = {Chen},
 title  = {Hedging Derivative Securities with Genetic Programming},
 booktitle = {Application of Machine Learning and Data Mining in
 Finance: Workshop at ECML-98},
 year   = {1998},
 address = {Dorint-Parkhotel, Chemnitz, Germany},
 month   = {apr},
 keywords = {genetic algorithms, genetic programming},
 notes   = {ECML-98 workshop 6
            http://www.tu-chemnitz.de/informatik/ecml98/ws6_ag.txt}
}
@InProceedings{Hayati90,
 author = {S. Hayati and T. Lee and K. Tso and P. Backes},
 title  = {A Testbed for a Unified Teleoperated-Autonomous
 Dual-Arm Robotic System},
 booktitle = {RandAconf},
 pages  = {1090--1095},
 year   = {1990}
}
@Article{Wong:2000:VBM,
 author = {Helena T. F. Wong and Horace H. S. Ip},
 title = {Virtual brush: a model-based synthesis of {Chinese}
 calligraphy},
 journal = {Computers and Graphics},
 volume = {24},
 number = {1},
 pages = {99--113},
 month = {feb},
 year  = {2000},
 coden = {COGRD2},
 ISSN  = {0097-8493},
 bibdate = {Sat Oct 21 14:18:12 MDT 2000},
 url   =  {http://www.elsevier.nl/gej-ng/10/13/20/47/27/36/abstract.html;
 http://www.elsevier.nl/gej-ng/10/13/20/47/27/36/article.pdf}
}

