2010

• Employing Multiple CUDA Devices to Accelerate LTL Model Checking

  BARNAT Jiří BAUCH Petr BRIM Luboš ČEŠKA Milan

  Article in Proceedings

  Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), year: 2010

• Feedback-based Performance Tuning for Self-organizing Multimedia Retrieval Systems

  SEDMIDUBSKÝ Jan DOHNAL Vlastislav ZEZULA Pavel

  Article in Proceedings

  International Conference on Advances in Multimedia (MMEDIA 2010), year: 2010

• GPU work at FI MUNI and results

  MATELA Jiří FILIPOVIČ Jiří

  Appeared in Conference without Proceedings

  Year: 2010, type: Appeared in Conference without Proceedings

• GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000

  MATELA Jiří RUSŇÁK Vít HOLUB Petr

  Article in Proceedings

  MEMICS 2010 Proceedings, year: 2010

• MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  MATYSKA Luděk KOZUBEK Michal VOJNAR Tomáš ZEMČÍK Pavel ANTOŠ David

  Year: 2010, type:

• Neighbor-based Intrusion Detection for Wireless Sensor Networks

  STETSKO Andriy FOLKMAN Lukáš MATYÁŠ Václav

  Article in Proceedings

  ICWMC 2010: The Sixth International Conference on Wireless and Mobile Communications, year: 2010

• Neighbor-based Intrusion Detection for Wireless Sensor Networks

  STETSKO Andriy FOLKMAN Lukáš MATYÁŠ Václav

  Conference abstract

  Year: 2010, type: Conference abstract

• Nové koncepty IDS pro bezdrátové senzorové sítě

  STETSKO Andriy

  Article in Periodical

  DSM, year: 2010, volume: XIV, edition: 1

• On Building a Self-organizing Search System for Multimedia Retrieval

  SEDMIDUBSKÝ Jan DOHNAL Vlastislav ZEZULA Pavel

  Article in Proceedings

  International Workshop on Multimedia and Semantic Technologies (MUST 2010), year: 2010

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Article in Proceedings

  MEMICS 2010, year: 2010