Rudolf Čejka

Publications

• 2010

  ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav and ČEJKA Rudolf. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 5-11. ISBN 978-989-8425-25-6.
  Detail

• 2008

  ČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Faculty of Information Technology BUT, 2008.
  Detail

  ČEJKA Rudolf. Nekempujte v serverovně (recenze vzdálených konzol Raritan). CONNECT!, vol. 2008, no. 5, pp. 44-45. ISSN 1211-3085.
  Detail

  ČEJKA Rudolf. Zálohováním ke klidnějšímu spánku (recenze CA ARCserve Backup r12). CONNECT!, vol. 2008, no. 7, pp. 57-59. ISSN 1211-3085.
  Detail

• 2002

  ČEJKA Rudolf, DVOŘÁK Václav and STAROBA Jiří. Predicting performance of SMP clusters. Distributed and Parallel Systems - Cluster and Grid Computing. Boston/London: Kluwer Academic Publishers, 2002, pp. 38-45. ISBN 1-4020-7209-0.
  Detail

• 2001

  ČEJKA Rudolf and DVOŘÁK Václav. Evaluating Performance of Message-Passing Programs on SMP Clusters. In: Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí, 2001, pp. 115-120. ISBN 80-85988-57-7.
  Detail

  ČEJKA Rudolf. FreeBSD: Alternativa místo Linuxu. Invex, Brno, 2001.
  Detail

• 2000

  DVOŘÁK Václav and ČEJKA Rudolf. A Choice of SM/DM Parallel ANN Implementation for Embedded Applications. In: Proceedings of the 7th IEEE International Conference on ECBS. Edinburgh, Scotland: IEEE Computer Society Press, 2000, pp. 18-23. ISBN 0-7695-604-6.
  Detail

  ČEJKA Rudolf and DVOŘÁK Václav. CSP-based Modeling of Emerging Scalable Parallel Computers. In: Proceedings of the 34th Spring International Conference Modelling and Simulation of Systems MOSIS 2000, Vol. 1. Rožnov pod Radhoštěm, 2000, pp. 135-142. ISBN 80-85988-44-5.
  Detail

  DVOŘÁK Václav and ČEJKA Rudolf. Prototyping cluster-based distributed applications. Distributed and Parallel Systems - From Instruction Parallelism to Cluster Computing. The Kluwer International Series in Engineering and Computer Science. Boston: Kluwer Academic Publishers, 2000, pp. 229-232. ISBN 0-7923-7892-X.
  Detail

  ČEJKA Rudolf. Solution of Partial Differential Equations on Workstations. In: Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 2000, pp. 163-165. ISBN 80-7204-155-X.
  Detail

• 1999

  ČEJKA Rudolf. CSP-based Modeling of SM Architectures. In: Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999, pp. 75-76. ISBN 80-214-1155-4.
  Detail

  ČEJKA Rudolf and DVOŘÁK Václav. CSP-based Modeling of SM Architectures. In: Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1999, pp. 163-168. ISBN 80-88922-05-4.
  Detail

  DVOŘÁK Václav and ČEJKA Rudolf. Performance Prediction of Cluster Computing. In: Proceedings of the International Workshop Modelling and Simulation in Management, Informatics and Control MOSMIC'99. Sulov: Zilina University Publisher, 1999, pp. 229-233. ISBN 80-7100-635-1.
  Detail

  DVOŘÁK Václav and ČEJKA Rudolf. The CSP-Based Simulation of Interconnection Networks and Routing Algorithms. In: Proceedings of the 33rd Spring International Conference Modelling and Simulation of Systems MOSIS'99, Vol. 2. Rožnov pod Radhoštěm, 1999, pp. 43-50. ISBN 80-85988-33-X.
  Detail