@inproceedings(BBBC10,
 author       = "J. Barnat and P. Bauch and L. Brim and M. {\v C}e{\v s}ka",
 year         = "2010",
 title        = "{Employing Multiple CUDA Devices to Accelerate LTL Model Checking}",
 booktitle    = "Proceedings of the 16th International Conference on Parallel and Distributed Systems",
 publisher    = "IEEE Computer Society",
 address      = "Los Alamitos, CA, USA",
 pages        = "259--266",
 doi          = "10.1109/ICPADS.2010.82",
)
@inproceedings(BBBC11,
 author       = "J. Barnat and P. Bauch and L. Brim and M. {\v C}e{\v s}ka",
 year         = "2011",
 title        = "{Computing Strongly Connected Components in Parallel on CUDA}",
 booktitle    = "Proceedings of the 25th IEEE International Parallel \& Distributed Processing Symposium (IPDPS'11)",
 publisher    = "IEEE Computer Society",
 pages        = "541--552",
)
@inproceedings(BBCR10,
 author       = "J. Barnat and L. Brim and M. {\v C}e{\v s}ka and P. Ro{\v c}kai",
 year         = "2010",
 title        = "{DiVinE: Parallel Distributed Model Checker (Tool paper)}",
 booktitle    = "Proceedings of joint HiBi/PDMC workshop",
 series       = "HiBi/PDMC 2010",
 publisher    = "IEEE",
 pages        = "4--7",
)
@phdthesis(Bur91,
 author       = "S. M. Burns",
 year         = "1991",
 title        = "{Performance Analysis and Optimization of Asynchronous Circuits}",
 school       = "California Intitute of Technology, Pasadena",
)
@article(BHAB95,
 author       = "S. M. Burns and H. Hulgaard and T. Amon and G. Borriello",
 year         = "1995",
 title        = "{An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems}",
 journal      = "IEEE Transaction on Computers",
 volume       = "44",
 number       = "11",
 pages        = "1306--1317",
 doi          = "10.1109/12.475126",
)
@mastersthesis(Cha06,
 author       = "J. Chaloupka",
 year         = "2006",
 title        = "\textsl {Distributed Algorithms for the Minimum Mean Weight Cycle Problem}",
 school       = "Masaryk University, Faculty of Informatics, Brno",
)
@inproceedings(CBZ90,
 author       = "S. Chatterjee and G. E. Blelloch and M. Zagha",
 year         = "1990",
 title        = "{Scan Primitives for Vector Computers}",
 booktitle    = "Proceedings of the 2nd International Conference for High Performance Computing, Networking, Storage and Analysis (SC '90)",
 publisher    = "IEEE Computer Society",
 address      = "Los Alamitos, CA, USA",
 pages        = "666--675",
)
@article(CGGTW10,
 author       = "B. V. Cherkassky and L. Georgiadis and A. V. Goldberg and R. E. Tarjan and R. F. Werneck",
 year         = "2010",
 title        = "{Shortest Path Feasibility Algorithms: An Experimental Evaluation}",
 journal      = "Journal of Experimental Algorithmics",
 volume       = "14",
 pages        = "118--132",
)
@misc(CUDA,
 year         = "April 2011",
 title        = "{NVIDIA CUDA Compute Unified Device Architecture - Programming Guide Version 4.0}",
)
@article(DG97,
 author       = "A. Dasdan and R. K. Gupta",
 year         = "1997",
 title        = "{Faster Maximum and Minimum Mean Cycle Algorithms for System Performance Analysis}",
 journal      = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
 volume       = "17",
 pages        = "889--899",
 doi          = "10.1109/43.728912",
)
@inproceedings(das99,
 author       = "A. Dasdan and S. S. Irani and R. K. Gupta",
 year         = "1999",
 title        = "Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems",
 booktitle    = "Proceedings of the 36th annual ACM/IEEE Design Automation Conference",
 series       = "DAC '99",
 publisher    = "ACM",
 pages        = "37--42",
 doi          = "10.1145/309847.309862",
)
@incollection(HN07,
 author       = "P. Harish and P. Narayanan",
 year         = "2007",
 title        = "{Accelerating Large Graph Algorithms on the GPU Using CUDA}",
 booktitle    = "High Performance Computing (HiPC'07)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4873",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "197--208",
 doi          = "10.1007/978-3-540-77220-0\_21",
)
@article(Hil87,
 author       = "W. D. Hillis",
 year         = "1987",
 title        = "{The Connection Machine}",
 journal      = "Scientific American",
 volume       = "256",
 number       = "6",
 pages        = "108--115",
 doi          = "10.1038/scientificamerican0687-108",
)
@book(How60,
 author       = "R. A. Howard",
 year         = "1960",
 title        = "{Dynamic Programming and Markov Processes}",
 publisher    = "MIT Press",
 address      = "Cambridge, MA",
)
@article(IP95,
 author       = "K. Ito and K. K. Parhi",
 year         = "1995",
 title        = "{Determining the Minimum Iteration Period of an Algorithm}",
 journal      = "The Journal of VLSI Signal Processing",
 volume       = "11",
 number       = "3",
 pages        = "229--244",
 doi          = "10.1007/BF02107055",
)
@book(Kle75,
 author       = "L. Kleinrock",
 year         = "1975",
 title        = "{Queueing Systems, Volume 1: Theory}",
 publisher    = "Wiley-Interscience",
 address      = "New York",
)
@book(Law76,
 author       = "E. L. Lawler",
 year         = "1976",
 title        = "{Combinatorial Optimization: Networks and Matroids}",
 publisher    = "Holt, Reinhart, and Winston",
 address      = "New York, NY",
)
@article(LK06,
 author       = "R. Lu and C. Koh",
 year         = "2006",
 title        = "{Performance Analysis of Latency-Insensitive Systems}",
 journal      = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
 volume       = "25",
 number       = "3",
 pages        = "469--483",
 doi          = "10.1109/TCAD.2005.854636",
)
@article(MDG98,
 author       = "A. Mathur and A. Dasdan and R. K. Gupta",
 year         = "1998",
 title        = "{Rate Analysis for Embedded Systems}",
 journal      = "ACM Transaction on Design Automation of Electronic Systems",
 volume       = "3",
 number       = "3",
 pages        = "408--436",
 doi          = "10.1145/293625.293631",
)
@article(Mol82,
 author       = "M. K. Molloy",
 year         = "1982",
 title        = "{Performance Analysis Using Stochastic Petri Nets}",
 journal      = "IEEE Transactions on Computers",
 volume       = "31",
 number       = "9",
 pages        = "913--917",
 doi          = "10.1109/TC.1982.1676110",
)
@techreport(PN09,
 author       = "S. Patidar and P. J. Narayanan",
 year         = "2009",
 title        = "{\emph {Scalable Split and Gather Primitives for the GPU}}",
 type         = "Technical Report",
 number       = "IIT/TR/2009/99",
 institution  = "Centre for Visual Information Technology, Hyderabad, INDIA",
)
@article(RH80,
 author       = "C. V. Ramamoorthy and G. S. Ho",
 year         = "1980",
 title        = "{Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets}",
 journal      = "IEEE Transaction of Software Engineering",
 volume       = "6",
 number       = "5",
 pages        = "440--449",
 doi          = "10.1109/TSE.1980.230492",
)
@inproceedings(Tar71,
 author       = "R. Tarjan",
 year         = "1971",
 title        = "{Depth-First Search and Linear Graph Algorithms}",
 booktitle    = "Proceedings of the 12th Annual Symposium on Switching and Automata Theory",
 publisher    = "IEEE Computer Society",
 address      = "Los Alamitos, CA, USA",
 pages        = "114--121",
 doi          = "10.1109/SWAT.1971.10",
)